In order to predicate the schedulability of real-time embedded system in the model design stage, a new schedulability analysis method for embedded system models using Architecture Analysis and Design Language (AADL) is presented in this paper. Through ...
The development of safety-critical real-time embedded systems (RTESs) is a difficult task. Indeed, in addition to functional requirements, these systems must guarantee timing constraints. Model-driven engineering (MDE) promotes a rise in the level ...
Safety-critical systems are widely used in different domains and lead to an increasing complexity. Such systems rely on specific services such space and time isolation as in the ARINC653 avionics standard. Their criticality requires a carefully driven ...
IEEE Computer Society
United States