Abstract Architecture Analysis and Design Language (AADL) is an architecture description
language standard for embedded real-time systems widely used in the avionics and …

Designing reconfigurable yet critical embedded and complex systems (ie systems
composed of different subsystems) requires making these systems adaptable while …

Software systems are becoming increasingly important in safety-critical areas. Designing
safe software requires a significant emphasis on hazards in the early design phase of …

We present a unified framework for the specification and analysis of mode-change protocols
used in multi-mode real-time systems. We propose a highly expressive formalism, called …

Among the key characteristics of cyber-physical systems are the ability to adapt to changes
during operation, the multidimensional complexity of multi-functionality and the underlying …

This paper seeks to model the Integrated Modular Avionics (IMA) using Architectural
Analysis and Design Language (AADL). In particular, the mechanism to describe the …

The modeling method of agents and service-oriented architecture (SOA) in avionics systems
describes agents and SOA in avionics systems with models. To our knowledge, however …

The analysis and verification of an AADL model usually requires its transformation into the
meta-model of this model-checker or that schedulability analysis tool. However, one …

AADL is an aerospace standard for model-driven design of complex real-time embedded
systems. Currently, behavioral properties of AADL models can be specified inside the …

Real-time systems are computer systems that are required not only to produce the correct
output values, as a reaction to the system inputs, but also to produce these values at the …