The CONCERTO methodology for model-based development of avionics software

Andrea Baldovin, Alessandro Zovi, Geoffrey Nelissen, Stefano Puri

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

Samenvatting

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.

Originele taal-2Engels
TitelReliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, Proceedings
RedacteurenJuan Antonio de la Puente, Tullio Vardanega
UitgeverijSpringer
Pagina's131-145
Aantal pagina's15
ISBN van geprinte versie9783319195834
DOI's
StatusGepubliceerd - 1 jan 2015
Extern gepubliceerdJa
Evenement20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015 - Madrid, Spanje
Duur: 22 jun 201526 jun 2015

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9111
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Congres

Congres20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015
Land/RegioSpanje
StadMadrid
Periode22/06/1526/06/15

Vingerafdruk

Duik in de onderzoeksthema's van 'The CONCERTO methodology for model-based development of avionics software'. Samen vormen ze een unieke vingerafdruk.

Citeer dit