ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 31/7 - 2012  - pp.897-916  - doi:10.3166/tsi.31.897-916
TITRE
Approche UML/SysML pour la spécification logicielle de systèmes embarqués aéronautiques. Travaux et retours d’expérience

TITLE
UML/SysML approach for software specification of aeronautic embedded systems. Works and feedback

RÉSUMÉ

Dans le monde aéronautique, le besoin de certification pour les logiciels embarqués implique la définition d’exigences de sûreté de fonctionnement ainsi que la définition d’une spécification non ambiguë en amont du processus de développement. La conception de tels logiciels est de plus en plus difficile et, dans un contexte d’entreprise étendue comme celui d’aujourd’hui, il est parfois difficile de communiquer entre les différents acteurs du projet. Dans un de nos projets logiciels de systèmes embarqués, l’ingénierie dirigée par les modèles nous a permis de surmonter ces problèmes en assurant un haut niveau de qualité. Nous décrivons dans cet article notre expérience d’utilisation d’un sous-ensemble d’UML/SysML permettant la modélisation de comportements synchrones locaux, couplé à l’outil TOPCASED afin de tirer un profit substantiel d’une telle modélisation. Nous présentons également les retours d’expériences récoltés auprès des différentes équipes du projet.



ABSTRACT

In the aeronautics field, the need of certification for the critical embedded software implies the definition of high safety requirements and non-ambiguous specification upstream the process of software development. The design of such software is more and more difficult and in a context of extended enterprise, it can be difficult to communicate between all the different actors. In one of our software project of embedded system, the model driven engineering allowed us to deal with these difficulties while ensuring the expected level of quality. We present here a description of our experience using a subset of the UML/SysML language which allows the modelling of local synchronous behaviors, with the help of the TOPCASED framework in order to derive the substancial benefits of the modelling. We also present feedbacks of the project teams about the use of such approach in this kind of project.



AUTEUR(S)
Anthony FERNANDES PIRES, Stéphane DUPRAT, Cédrik BESSEYRE

MOTS-CLÉS
UML, SysML, TOPCASED, aspect synchrone, logiciel embarqué, aéronautique.

KEYWORDS
UML, SysML, TOPCASED, synchronous aspect, embedded software, aeronautic.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (624 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier