TRANSFORM - Design transformation for correct-by-construction design methodology
|Coordinator||SAAB Aktiebolag - SAAB AB|
|Funding from Vinnova||SEK 3 500 000|
|Project duration||November 2019 - October 2022|
|Venture||National Aeronautical Research Program 7|
|Call||Research project in aviation technology - spring 2019|
Purpose and goal
Aeronautics industry needs efficient system and software development methodologies. Current design flows do not have a clear path from the functional specification down to the final implementation and cannot provide real-time guarantees. This project aims at establishing a transformation-based refinement flow as part of a correct-by-construction design methodology, which enables to transform an abstract, formal and executable system model by stepwise application of formal transformation rules into a physical implementation on a networked avionics platform.
Expected results and effects
The project will deliver and evaluate a transformational system refinement flow. The project expects to: 1) Establish a methodology for transformational system refinement. 2) Develop a formal method, to specify requirements on applications and system model components, and design transformations by means of formal contracts. 3) Develop a set of formal design transformation rules, which enables the stepwise formal refinement from an abstract system model into a physical implementation. 4) Demonstrate and evaluate the methodology with selected industry-relevant use cases.
Planned approach and implementation
This project strengthens the activities in the cluster Software Intensive Systems (SIS), and contributes to the desired development methodology for avionic systems. Furthermore, it reuses and further develops tools and methodologies from the NFFP7 project CORRECT. The evaluation aims at demonstrating the strong potential of the approach by conducting a full transformational refinement from an executable high-level system model into a physical implementation as proof-of-concept.