Correct by construction design methodology

Purpose and goal

Current design flows for software-intensive systems do not have a clear path from the functional specification down to the final implementation and cannot provide real-time guarantees. The situation becomes even more difficult in the future where many applications share the same computation nodes and network in a distributed hierarchical network-based system. The project aims to overcome the present situation by creating a full correct-by-construction design flow, including design space exploration, down to the final generation of software.

Expected results and effects

The project will define a correct-by-construction design methodology for future avionics applications. The project expects to: 1) Extend the ForSyDe modeling libraries for future avionics applications. 2) Develop a proof-concept-tool for software synthesis. 3) Demonstrate the potential of the methodology with selected industry relevant use cases and available system-on-chip technology. 4) Evaluate the methodology for industrial use and the feasibility to upscale the methodology and tools to larger systems-of-systems.

Planned approach and implementation

This project is one of three defined projects in cluster Software Intensive Systems jointly addressing computing power, resilience, security, reliability and design cost, from different perspectives. The other two projects will be a support for this project. Furthermore, we intend to demonstrate the benefit in future aircraft architectures based on three areas: avionic functions, demanding sensor functions (today not included e.g. counter-measure system and radar), and a new area for future autonomy functions, that are foreseen to have extensive data processing needs.