Transformation de modèles hétérogènes dans le contexte de la certification selon DO-178C

L’Ingénierie Dirigée par les Modèles (IDM) est parmi les technologies prenant de l’ampleur dans l’industrie du développement de logiciels embarqués critiques. L’IDM permet de réduire les coûts et les durées de développement tout en améliorant l’étape de vérification. Dans ce mémoire nous nous intéressons aux pratiques d’utilisation de différents formalismes de modélisation (e.g., UML et Stateflow ) pour la vérification dans le cadre de la certification DO-178C pour les systèmes avioniques. Ce mémoire propose une approche générique de transformation de formalismes de machines à états en un formalisme de machine à états finies étendues (EFSM). Cette approche à base de règles de transformation favorise la réutilisation et couvre l’ensemble des formalismes de machines à états. L’approche peut être implémentée en utilisant les différents outils et technologies de l’IDM. L’approche se base sur des directives émanant des pratiques dans le secteur avionique. Ce mémoire applique l’approche proposée à deux langages utilisés dans l’industrie : les machines à états UML et Stateflow. Nous avons implémenté l’approche pour les deux langages dans l’outil Eclipse à travers deux plug-ins. Ces plug-ins ont ensuite été utilisés pour transformer des machines représentant des systèmes aéronautiques réels. Un étude de cas à été mis en place

An Example of Cloning Graph Transformation Rules for Programming

Graphical notations are already popular for the design of software, as witnessed by the success of the Uniform Modeling Languages (UML). In this paper, we advocate the use of graphs and graph transformation for programming graph-based systems. Our case study, the flattening of hierarchical statecharts, reveals that cloning, a recently proposed transformation concept, makes graph transformation rules (in the double-pushout approach) more expressive. Thus programming becomes easier, and gets along with simpler control conditions in particular