Abstract Fault Tree Analysis (FTA) is a well-established and well-understood technique,
widely used for dependability evaluation of a wide range of systems. Although many …

Abstract Model-based engineering (MBE) has been touted as a new and substantively
different approach to software development, characterized by higher levels of abstraction …

AADL is a standard for modeling embedded systems that is widely used in avionics and
other safety-critical applications. However, AADL lacks a formal semantics, and this severely …

Cyber-physical systems are becoming more and more complex, thereby increasing the cost
and time to ensure safety. They range from highly complex but finite state to infinite state …

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

Formal methods have become a recommended practice in safety-critical software
engineering. To be formally verified, a system should be specified with a specific formalism …

ADAPT is a tool that aims at easing the task of evaluating dependability measures in the
context of modern model driven engineering processes based on AADL (Architecture …

Abstract The Architecture and Analysis Definition Language (AADL) is an industry standard
modeling language distinguished by its emphasis on strong semantics for modeling real …

This article deals with real-time critical systems modelling and verification. Real-time
scheduling theory provides algebraic methods and algorithms in order to make timing …

In the automotive domain, several loosely-coupled architecture description languages
(ADLs) compete to provide a set of abstract modeling and analysis services on top of the …