Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Thèmes de recherche > Thème 7 - Sûreté de développement du logiciel > Equipe MACAO > Evénements

Soutenance de thèse de Adel Ziani à l’IRIT (Université Paul Sabatier) - 19 septembre 2013 - 14h30

Composition du jury


- M. Jean-Michel Bruel, Professeur, Directeur de thèse, Univ. Toulouse 2 Le Mirail
- M. Brahim Hamid, Maître de Conférences, Co-encadrant de thèse, Univ. Toulouse 2 Le Mirail
- M. Franck Barbier, Professeur des Universités, Rapporteur, Univ. de Pau
- M. Ferhat Khendek, Professeur des Universités, Rapporteur, Univ. Concordia / Montréal
- M. Mohamed Kaâniche, Directeur de Recherche, Examinateur , LAAS-CNRS / Toulouse
- M. Vincent Chapurlat , Professeur des Universités, Examinateur, Ecoles des Mines d’Alès

Keywords

Resource-Constrained Embedded Systems, Model-Driven Engineering, Model-based repository, Security and Dependability patterns, MDE tool-chain

Abstract

Non-functional requirements such as Security and Dependability (S&D) become more and more important as well as more and more difficult to achieve, particularly in embedded systems development. Such systems come with a large number of common characteristics, including real-time and temperature constraints, security and dependability as well as efficiency requirements. In particular, the development of Resource-Constrained Embedded Systems (RCES) has to address constraints regarding memory, computational processing power and/or energy consumption. In this work, we propose a modeling environment which associates model-driven paradigms and a model-based repository, to support the design and the packaging of S&D patterns, resource models and their property models. The approach is based on a set of modeling languages coupled with a model-repository, search and instantiation engines towards specific development environments. These modeling languages allow to specify patterns, resources and a set of property models. These property models will allow to govern the use of patterns and their analysis for reuse. In addition, we propose a specification and generation process of repositories. As part of the assistance for the development of S&D applications, we have implemented a tool-chain based on the Eclipse platform to support the different activities around the repository, including the analysis activities. The proposed solutions were evaluated in the TERESA project through a case study from the railway domain.