Contribution à la considération du comportement des plates-formes d'exécution logicielles temps réel - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2014

Contribution to the Consideration of the Behavior of Real-Time Software Execution Platforms

Contribution à la considération du comportement des plates-formes d'exécution logicielles temps réel

Résumé

Both design and development of Real-Time Embedded Systems (RTES) are very complex because of the wide range of execution platforms. These systems must also meet non-functional requirements such as time constraints. Model Driven Engineering (MDE) is particularly suitable for handling the diversity of implementation targets. Therefore, several RTES development suites leverage MDE by automatically generating platform-specificcode from high-level design models. Such tools may also take non-functional requirements into account by integrating verification activities. These activities typically rely on the generation of formal models from the same high-level design descriptions used for code generation. However, the consideration of the behavior of software execution platforms stays a major problem. On the one hand, code generators often reveal a lack of consideration genericity, on the other hand, the generation of formal models partly overlooks mecanisms of these platforms. How can the behavior both generically and formally be considered ? The presented work is part of a tool suite during a multiplatform deployment phase. The adopted strategy relies on the composition of a deployed application model with a model of the behavior of the targeted platform, within a MDE. Behavior is formally translated with classical Time Petri Nets (TPNs). A formalization is then proposed to compose a global TPN regardless of the considered platform. As an illustration, we finally give a generation example of TPNs describing an application deployed on two different platforms (OSEK/VDX and VxWORKS ).
La conception et le développement des systèmes temps réels embarqués (SETRs) sont très complexes du fait d’un grand nombre de plates-formes d’exécution. Ces systèmes doivent aussi répondre à des exigences non-fonctionnelles telles que les contraintes temporelles. L’Ingénierie Dirigée par les Modèles (IDM) répond à la diversité de mise en oeuvre de tels systèmes. Plusieurs suites de développement tirent ainsi profit de l’IDM pour générer automatiquement du code spécifique à une plate-forme à partir de descriptions de conception haut niveau des SETRs. De tels outils considèrent alors des exigences non-fonctionnelles en générant des modèles formels pour intégrer des activités de vérification. Cependant, la considération du comportement des plates-formes d’exécution logicielles demeure un problème majeur. D’un côté, les générateurs de code manquent bien souvent de généricité de considération, de l’autre, la génération de modèles formels s’abstrait en partie des mécanismes de ces plates-formes. Est-il alors possible de considérer à la fois génériquement et formellement ce comportement ? Ce travail s’intègre dans une suite d’outils durant une phase de déploiement multiplates-formes. La stratégie adoptée repose sur la composition d’un modèle d’application déployée avec celui du comportement de la plate-forme visée, dans une IDM. Le comportement est traduit formellement avec les classiques réseaux de Petri temporels (ou Time Petri Net (TPNs)). Une formalisation est alors proposée pour composer un TPN global indépendamment de la plate-forme considérée. À titre d’exemple, la génération de TPNs d’une application exécutée sur deux plates-formes différentes (OSEK/VDX et VxWORKS ) est enfin donnée.
Fichier principal
Vignette du fichier
LELIONNAIS_memoire.pdf (5.32 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-01093814 , version 1 (11-12-2014)

Identifiants

  • HAL Id : tel-01093814 , version 1

Citer

Cédrick Lelionnais. Contribution à la considération du comportement des plates-formes d'exécution logicielles temps réel. Génie logiciel [cs.SE]. Ecole Centrale de Nantes (ECN), 2014. Français. ⟨NNT : ⟩. ⟨tel-01093814⟩
258 Consultations
208 Téléchargements

Partager

Gmail Facebook X LinkedIn More