First Public Release

This is the first public release of the HARDENS demonstrator and associated artifacts.

This release was made, live, on 22 January 2023, at the end of Joe Kiniry's invited talk "Reflections on Transition" at Dagstuhl Seminar 23041, whose focus was on Integrated Rigorous Analysis in Cyber-Physical Systems Engineering.

Final deliverable to NRC.

This is the final submission to the NRC, which includes the HARDENS final report.

Task 2 Deliverable

This release addresses requirements from Task 2 of the HARDENS project for the NRC:

"[Galois] shall perform preliminary V&V and testing of the design using model-based
engineering and testing methods. The deliverable will be the artifacts as described in the
proposal."

Task 1 Deliverable

This release satisfies requirements from Task 1 of the HARDENS project for the NRC:

"[Galois] shall implement [the system] using both: (1) highly integrated computer-based engineering development processes, and (2) MBSE. All the modules of the simple protection system would be modeled functionally, and one FPGA-based circuit card would be modeled/designed in detail. The deliverable will be the model-based design itself."