Latest news from the project are shown below.
The paper "The CONCERTO methodology for model-based development of avionics software" by Andrea Baldovin, Alessandro Zovi, Geoffrey Nelissen and Stefano Puri has been accepted for the 20th International Conference on Reliable Software Technologies (AdaEurope), to be held on June 2015 in Madrid, Spain.
The paper presents the CONCERTO methodology and toolset, as applied to the avionics use case in its multicore configuration, to support the end-to-end system development process from system modelling to analysis and validation, prior to code generation and deployment.
You need to be a member of CONCERTO Project to add comments!
Replies