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.
