The CONCERTO methodology for model-based development of avionics software

Andrea Baldovin, Alessandro Zovi, Geoffrey Nelissen, Stefano Puri

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Abstract

The development of high-integrity real-time systems, including their certification, is a demanding endeavour in terms of time, skills and effort involved. This is particularly true in application domains such as the avionics, where composable design is to be had to allow subdividing monolithic systems into components of smaller complexity, to be outsourced to developers subcontracted down the supply chain. Moreover, the increasing demand for computational power and the consequent interest in multicore HW architectures complicates system deployment. For these reasons, appropriate methodologies and tools need to be devised to help the industrial stakeholders master the overall system design complexity, while keeping manufacturing costs affordable. In this paper we present some elements of the CONCERTO platform, a toolset to support the end-to-end system development process from system modelling to analysis and validation, prior to code generation and deployment. The approach taken by CONCERTO is demonstrated for an illustrative avionics setup, however it is general enough to be applied to a number of industrial domains including the space, telecom and automotive. We finally reason about the benefits to an industrial user by comparing to similar initiatives in the research landscape.

Original languageEnglish
Title of host publicationReliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, Proceedings
EditorsJuan Antonio de la Puente, Tullio Vardanega
PublisherSpringer
Pages131-145
Number of pages15
ISBN (Print)9783319195834
DOIs
Publication statusPublished - 1 Jan 2015
Externally publishedYes
Event20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015 - Madrid, Spain
Duration: 22 Jun 201526 Jun 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9111
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015
CountrySpain
CityMadrid
Period22/06/1526/06/15

Keywords

  • ARINC 653
  • CONCERTO
  • IMA
  • Model-based engineering
  • Partitioned multicore

Fingerprint

Dive into the research topics of 'The CONCERTO methodology for model-based development of avionics software'. Together they form a unique fingerprint.

Cite this