Safety lifecycle development process modeling for embedded systems - example of railway domain
SERENE'12 Proceedings of the 4th international conference on Software Engineering for Resilient Systems
Towards tool support for pattern-based secure and dependable systems development
Proceedings of the workshop on ACadeMics Tooling with Eclipse
| Hi-index | 0.00 |
The complexity in embedded systems is increasing steadily due to richer functionalities offered by more powerful hardware to attain market demands. Model Driven Engineering(MDE) is a promising approach for handling this complexity by using models which help to capture several concerns of these systems. In this paper we analyze the modeling of embedded systems that have restrictions on memory, autonomy, and/or computation processing which refer to RCES (Resources-Constrained Embedded Systems). In particular we study existing works including those from standards and industry such as MARTE, SysML and AADL. The first step is to encompass the different concepts introduced in these works to capture computations and resources. This yields a homogeneous formalism to model RCES and we will propose this formalism as a meta-model. In the same way we propose a modeling framework based on a model library as reusable and composable models for RCES. Finally we are evaluating the feasibility of our approach to an industrial control system that has constraints on software and hardware resources.