Skip to Main content Skip to Navigation
Theses

Modeling of Secure Dependable (S&D) applications based on patterns for Resource-Constrained Embedded Systems (RCES)

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 paradigm 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 suite of 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.
Document type :
Theses
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00929836
Contributor : Abes Star :  Contact
Submitted on : Tuesday, January 14, 2014 - 9:17:27 AM
Last modification on : Saturday, August 15, 2020 - 3:22:37 AM
Long-term archiving on: : Tuesday, April 15, 2014 - 4:20:19 PM

File

Ziani_Adel.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00929836, version 1

Collections

Citation

Adel Ziani. Modeling of Secure Dependable (S&D) applications based on patterns for Resource-Constrained Embedded Systems (RCES). Other [cs.OH]. Université Toulouse le Mirail - Toulouse II, 2013. English. ⟨NNT : 2013TOU20074⟩. ⟨tel-00929836⟩

Share

Metrics

Record views

585

Files downloads

608