Face à la complexité des applications logicielles multitâches, une approche prometteuse est l'automatisation des développements. En pratique, cela se concrétise par des générateurs capables de produire les implantations propres aux plates-formes logicielles d’exécution multitâche. Ces générateurs sont figés autour d'heuristiques d'implantations propres à chaque plate-forme visée. En vue d'obtenir des solutions plus flexibles, cette étude a pour objectif d'externaliser les formalismes propres aux plates-formes d'exécution dans des modèles explicites. Ces modèles sont alors utilisés en entrée des ingénieries ce qui permet de capitaliser et de réutiliser les générateurs. Pour y parvenir, cette étude définit un motif générique pour la modélisat...
Le développement de systèmes logiciels implique l'intégration de différents langages pour modéliser ...
Nous nous intéressons à la définition d une plate-forme industrielle favorisant une meilleure intégr...
Cette thèse appartient au domaine des méthodes formelles. Nous nous concentrons sur leur application...
Les préoccupations inhérentes au domaine de l embarqué et du temps réel, telle que la maîtrise du te...
Given the complexity of multitasked software, linked to very pressing economic and competitive conte...
Face à la complexité des logiciels multitâches, liée aux contextes économique et concurrentiel très ...
23 pagesNational audienceOne foundation of the model driven engineering (MDE) is to separate the mod...
Le développement de systèmes logiciels implique l'intégration de différents langages pour modéliser ...
With the emergence of the Internet and proliferation of new technologies, the design and programming...
De nos jours, les entreprises font souvent face à des problèmes de gestion, maintenance, évolution o...
Both design and development of Real-Time Embedded Systems (RTES) are very complex because of the wid...
L'Ingénierie Dirigée par les Modèles (IDM) place les modèles au cœur des processus de d'ingénierie l...
Au début des années 1980, l'idée d'accéder à de nouveaux savoirs par voie d'assemblage de modèles de...
L'ingénierie des modèles (IDM) a depuis très largement démontré sa pertinence dans les développement...
Cette thèse s'inscrit dans le cadre de la définition d'une approche de modélisation qui permet de fa...
Le développement de systèmes logiciels implique l'intégration de différents langages pour modéliser ...
Nous nous intéressons à la définition d une plate-forme industrielle favorisant une meilleure intégr...
Cette thèse appartient au domaine des méthodes formelles. Nous nous concentrons sur leur application...
Les préoccupations inhérentes au domaine de l embarqué et du temps réel, telle que la maîtrise du te...
Given the complexity of multitasked software, linked to very pressing economic and competitive conte...
Face à la complexité des logiciels multitâches, liée aux contextes économique et concurrentiel très ...
23 pagesNational audienceOne foundation of the model driven engineering (MDE) is to separate the mod...
Le développement de systèmes logiciels implique l'intégration de différents langages pour modéliser ...
With the emergence of the Internet and proliferation of new technologies, the design and programming...
De nos jours, les entreprises font souvent face à des problèmes de gestion, maintenance, évolution o...
Both design and development of Real-Time Embedded Systems (RTES) are very complex because of the wid...
L'Ingénierie Dirigée par les Modèles (IDM) place les modèles au cœur des processus de d'ingénierie l...
Au début des années 1980, l'idée d'accéder à de nouveaux savoirs par voie d'assemblage de modèles de...
L'ingénierie des modèles (IDM) a depuis très largement démontré sa pertinence dans les développement...
Cette thèse s'inscrit dans le cadre de la définition d'une approche de modélisation qui permet de fa...
Le développement de systèmes logiciels implique l'intégration de différents langages pour modéliser ...
Nous nous intéressons à la définition d une plate-forme industrielle favorisant une meilleure intégr...
Cette thèse appartient au domaine des méthodes formelles. Nous nous concentrons sur leur application...