TRANSFORM - Design transformation for correct-by-construction design methodology

Reference number
Coordinator SAAB Aktiebolag - SAAB AB
Funding from Vinnova SEK 3 500 000
Project duration November 2019 - October 2022
Status Ongoing
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.

The project description has been provided by the project members themselves and the text has not been looked at by our editors.

Last updated 4 July 2019

Reference number 2019-02743

Page statistics