Approche UML/SysML pour la spécification logicielle de systèmes embarqués aéronautiques

摘要

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.%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 allowedrnus 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 UMUSysML language which allows the modelling of local synchronous behaviors, with the help of the TOP CASED 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.