Logo du GET

Projet AMIGOS

(Analysis and Modeling of Operating Systems)

Logo de l'ENST          Logo de l'ENST-Bretagne




Résumé

Face à l’explosion en complexité des systèmes embarqués communicants, les méthodes de modélisation ont tenté de s’adapter en prenant en compte un maximum de contraintes, à la fois au niveau applicatif et matériel. Les systèmes d’exploitation, qui jouent un rôle grandissant dans ces applications, sont pourtant communément oubliés dans ces actions de modélisation, les réduisant dans le meilleur des cas à une modélisation des tâches logicielles qu’ils gèrent. Fort de nos travaux dans le domaine des langages de modélisation et sémantiques formelles pour les applications embarquées, nous proposons d’étudier l’intégration des contraintes des systèmes d’exploitation dans les modélisation UML des systèmes embarqués. A court terme, ces travaux déboucheront sur la définition d’un nouveau profil UML ayant une sémantique formelle, et prenant en compte les aspects logiques et temporels des systèmes d’exploitation. A plus long terme, un environnement logiciel support à ce profil sera développéet mis en oeuvre sur des projets avec nos partenaires industriels.

Due to the increasing complexity of communicating embedded systems, modeling techniques have evolved to take into account new constraints, both at hardware and application levels. Nevertheless, the important role operating systems now play in these applications is commonly underestimated at the modeling step. Their role is indeed often limited to a description of tasks they manage. In this project, we propose to integrate operating systems’ constraints into a UML-based modeling environment particularly customized for embedded system. This integration takes advantage of our past research work on modeling and formal validation techniques for embedded systems. Our short term goal is to define a new formal UML profile taking explicitly into account logical and temporal characteristics of operating systems. A long-term perspective of this project is to develop a software toolkit supporting this new profile, and to perform industrial experiments out of this new profile and toolkit.


(c) Ludovic Apvrille, 2006.