Méthodes formelles
pour le développement par modélisation de
logiciels certifiés d'avionique
Exploring Formal
Methods in Model-Driven Development of
Certified Avionics Software
Valeur totale/Total
value
$571,650
Années/Years
3
Financé/Funded
Statut/Status
In preparation
Début du projet/Start
SEP-01-2009
Mise à jour/Update
JAN-06-2010
No.
5.5
Chercheur
principal et leader industriel/Principal
Investigator and Industrial Leader
Merlo,
Ettore
École
Polytechnique de
Montréal
Labrèche,
Pierre
CMC
Électronique inc.
Partenaires/Partners
Carleton
University
École
Polytechnique de
Montréal
CAE inc.
CMC
Électronique inc.
Mannarino
Systems & Software
Description
Model-driven
development (MDD) is a reality in modern
software development, yet the constraints on
software certification under DO-178B pose
research challenges when applying formal
methods. We seek to reduce the costs of
certified avionics software using MDD and
formal methods.
Objectifs/Objectives
The work proposed
in this document aims to provide better
methodologies and tools for applying
modeldriven development (MDD) to produce and
maintain high-integrity, avionics software,
which meets the criteria for certification.
This approach has an economic goal of
significantly reducing the costs involved
during the development and maintenance of
this kind of software. Specifically, we are
seeking easier, cheaper and more effective
ways of using models in an avionics
model-driven software development,
specifically focusing on (i) the formal
verification of software from models, (ii)
the generation of tests from models, and
(iii) strategies to integrate legacy
software and environments into model-driven
development.
