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é par CRSNG/ NSERC Funded
Statut/ Status
In progress
Début du projet/ Start
MAR-15-2010
Mise à jour/ Update
APR-14-2010
No.
5.5
Chercheur principal et leader industriel/
Principal Investigator and Industrial Leader
Participant
Organisation/Organization
Merlo, Ettore
École Polytechnique
de Montréal
Labrèche, Pierre
CMC
Partenaires/ Partners
Organisation/Organization
Carleton University
École Polytechnique
de Montréal
CAE inc.
CMC Électronique inc.
Mannarino Systems &
Software
Nombre
d'étudiants impliqués sur ce projet : /
Number of students
Bac/ Undergraduate
0
Maîtrise/ Master
0
Doctorat/ Doctorate
0
Post-Doc
0
Description du projet/ Project 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.
