IDL

Ingénierie Du Logiciel

  • Full Screen
  • Wide Screen
  • Narrow Screen
  • Increase font size
  • Default font size
  • Decrease font size

Séminaire MOCS 22/05/2014

Imprimer PDF

Intervenant : Asma MAHIAOUI, Doctorante, Lab-STICC/MOCS/UBO & CEA.
Date & Lieu : Jeudi 22 mai 2014, 14h-16h, Salle 117-A, 1er étage, Bâtiment LC, site AES, UBO.
Titre :  
Techniques d’analyse et d’optimisation pour la synthèse architecturale de systèmes temps réel embarqués distribués.


Résumé : 

Dans le cadre industriel et académique, les méthodologies de développement logiciel exploitent de plus en plus le concept de modèle afin d’appréhender la complexité des systèmes temps réel critiques. En particulier, celles-ci définissent une étape dans laquelle un modèle fonctionnel, conçu comme un graphe de blocs fonctionnels communiquant via des échanges de signaux de données, est déployé sur un modèle de plateforme d’exécution matérielle et un modèle de plateforme d’exécution logicielle composé de tâches et de messages. Cette étape appelée étape de déploiement, permet d’établir une architecture opérationnelle du système nécessitant une validation des propriétés temporelles du système.

Dans le contexte des systèmes temps réel dirigés par les évènements, la vérification des propriétés temporelles est réalisée à l’aide de l’analyse d’ordonnançabilité basée sur l’analyse des temps de réponse. Chaque choix de déploiement effectué a un impact essentiel sur la validité et la qualité du système. Néanmoins, les méthodologies existantes n’offrent pas de support permettant de guider le concepteur d’applications durant l’exploration de l’espace des architectures possibles. L’objectif de ces travaux de thèse consiste à mettre en place des techniques d’analyse et de synthèse automatiques permettant de guider le concepteur vers une architecture opérationnelle valide et optimisée par rapport aux performances du système.

You are here: