Résumé
Développer des applications logicielles sûres de fonctionnement est une tâche particulièrement complexe qui nécessite d'assurer le respect d'exigences de sûreté tout au long du processus de développement. Cet article relate les travaux de l'équipe de recherche Phoenix de l'INRIA Bordeaux afin de faciliter ces développements. Ces travaux se concentrent sur le développement d'une suite d'outils, nommée « DiaSuite », qui s'appuie sur un langage de conception pour guider le développement grâce à la génération de support dédié à chaque étape, de l'implémentation au déploiement, en passant par les tests. Le respect des exigences de sûreté est alors facilité grâce à l'intégration dans DiaSuite des aspects de sûreté de fonctionnement tels que le traitement des erreurs.
Abstract
The development of dependable software applications is a complex task that requires to fullfill dependability requirements through the whole development process. This paper presents the research of the Phoenix research group from INRIA Bordeaux – Sud-Ouest to ease these developments. This research focuses on the development of a tool suite, namely DiaSuite, that leverage a design language to guide the development process by generating dedicated support at each stage, from programming to deployment through tests. Then, DiaSuite makes easier to fulfill the dependability requirements thanks to the integration of dependability concerns such as error Handling.
Mots-clés
Génie logiciel, sûreté de fonctionnement, langage de conception, ingénierie dirigée par les modèles, architecture logicielle, langage dédié, génération de code, traitement des erreurs
Keywords
Software Engineering, Dependability, Design language, Model Driven Engineering, Software Architecture, Domain Specific Language, Code generation, Error handling
Points clés
Domaine : Génie logiciel, sûreté de fonctionnement
Degré de diffusion de la technologie : Émergence | Croissance | Maturité
Technologies impliquées : Langages de conception, génération de code, exceptions
Domaines d'application : Aéronautique, automobile, immotique, assistance à la personne...
Principaux acteurs français :
Pôles de compétitivité : Aerospace Valley, Cap Digital
Centres de compétence :
Industriels : Thales, Airbus, Renault, Orange, Bouygues, Schneider...
Autres acteurs dans le monde : Boeing, NASA, BMW, Siemens...
Contact : quentin.enard@iqspot.fr/ phoenix.inria.fr