… We present a graphical toolset for verifying AADL models, which are gaining widespread
acceptance in aerospace, automobile and avionics industries for comprehensively specifying …

… of one notation, AADL to support VDE. AADL is a generic modeling framework for designing
… on the behavioral analysis of AADL by means of Petri Net models, as an application of VDE. …

… an analysis model so that the properties can be verified using a model checker toolbox. The
… insure some properties of the AADL models using the Uppaal model checker. We show the …

… In order to model probabilistic faults, their propagation and … of operation, we adopt the recent
AADL Error Model Annex [9]. … extended AADL that provides the interpretation of these model …

… Within this project, a specification language entitled SLIM (System-Level Integrated Modeling
Language) is developed which is inspired by AADL and thus follows the component-based …

… model and verify safety-critical systems. This paper presents the transformation of the AADL
model into Event-B, which captures most AADL … current real-time systems models. Then, we …

… ECPS Verifier performs the model transformation from an architectural model in AADL to a …
of AADL components designed in the OSATE tool to represent the architectural model and the …

… of AADL models, this paper presents a methodology for translating AADL to TASM. Our
main contribution is to formally define the translation rules from an adequate subset of AADL (…

… Nets models from an architecture described using AADL. We consider the semantics of
interacting entities defined by AADL, and show how to build corresponding Petri Nets models. …

… be considered as a (first) formal interpretation of AADL and its Error Model Annex. We currently
are bringing our results to the AADL standardisation body. The first version of the formal …