Article précédent
Modélisation et analyse de systèmes embarqués ou temps-réel avec le profil UML MARTERECHERCHE ET INNOVATION | Réf : IN176 v1
Auteur(s) : Quentin ENARD
Date de publication : 10 févr. 2014
Article suivant
OS embarquésCet article fait partie de l’offre Technologies logicielles Architectures des systèmes
L'accès à une base complète d'articles actualisée et mise à jour en permanence
Des services
et outils pratiques
100 % web consultable
sur tous les supports numériques
Quitter la lecture facile
Le projet de création d’entreprise iQSpot a été retenu en tant que lauréat du concours OSEO dans la catégorie « En émergence » en mai 2013. Ce projet vise le marché des bâtiments intelligents et ambitionne de fournir une plateforme de gestion de bâtiments intégrant un grand nombre de technologies de capteurs et actionneurs tout en fonctionnant en mode SaS (Software as a Service), permettant ainsi d’offrir un catalogue d’applications en perpétuelle évolution.
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 en vue 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.
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.
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.
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
Software Engineering, Dependability, Design language, Model Driven Engineering, Software Architecture, Domain Specific Language, Code generation, Error handling
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
Vous êtes abonné à cette offre ?
Connectez-vous !
Vous souhaitez découvrir cette offre ?
Cet article est inclus dans l'offre :
TECHNOLOGIES LOGICIELLES ARCHITECTURES DES SYSTÈMES
Quentin ENARD : Docteur en informatique de l'université Bordeaux I - Développeur chez iQSpot (co-fondateur), Bordeaux, France
(1) - AVIZIENIS (A.), LAPRIE (J.-C.), RANDELL (B.), LANDWEHR (C.) - Basic concepts and taxonomy of dependable and secure computing. - IEEE Transactions on Dependable and Secure Computing (2004).
(2) - CACHO (N.), FILHO (F.C.), GARCIA (A.F.), FIGUEIREDO (E.) - EJFlow : taming exceptional control flows in aspect-oriented programming. - AOSD'08 : Proceedings of the 7th International Conference on Aspect-Oriented Software Development (2008).
(3) - FABRE (J.-C.), PÉRENNOU (T.) - FRIENDS – a flexible architecture for implementing fault tolerant and secure distributed applications. - EDCC'96 : Proceedings of the 2nd European Dependable Computing Conference on Dependable Computing, p. 3-20 (1996).
(4) - FEILER (P.H.) - The architecture analysis and design language (AADL) : an introduction. - Technical report, DTIC Document (2006).
(5) - DION (B.) - Correct-by-construction methods for the development of safety-critical applications. - SAE Transactions (2004).
...
AUTOSAR, AUTomotive Open System Architecture http://www.autosar.org/(page consultée le 30 juillet 2013)
Parrot, AR Drone http://ardrone2.parrot.com (page consultée le 30 juillet 2013)
HAUT DE PAGE
ED-12C - 2012 - Software Considerations in Airborne Systems and Equipment Certification - -
RTCA/DO-178C - 2011 - Software Considerations in Airborne Systems and Equipment Certification - -
HAUT DE PAGELes avantages et services compris dans votre offre
Accès illimité aux
articles en HTML
Enrichis et mis à jour pendant
toute la durée de la souscription
Téléchargement des articles
au format PDF
Pour un usage en toute liberté
Consultation sur tous
les supports numériques
Des contenus optimisés pour
ordinateurs, tablettes et mobiles
détails de l'offre
| Licence annuelle monoposte | Licence pluriannuelle et/ou multiposte | |
|---|---|---|
| Droit d'accès | ||
| Accès HTML aux articles | Illimité | Illimité |
| Téléchargement des versions pdf | 5 / jour | > 5 / jour (2) |
| Consultation sur tous les supports | Oui | Oui |
| Les services | ||
| Questions aux experts (1) | 4 / an | > 4 / an (2) |
| Articles découverte | 5 / an | > 5 / an (2) |
| Dictionnaire technique multilingue | Oui | Oui |
| Archives | Oui | Oui |
| Impression à la demande | 45 € / exemplaire | 45 € / exemplaire |
| Infos mise à jour | Oui | Oui |
| AJOUTER AU PANIER | DEMANDER UN DEVIS |
(1) Non disponible pour les lycées, les établissements d’enseignement supérieur et autres organismes de formation. (2) Sur devis
