A System Dependability Modeling Framework Using AADL and GSPNs
نویسندگان
چکیده
For efficiency and cost control reasons, system designers’ will is to use an integrated set of methods and tools to describe specifications and design, and also to perform dependability analyses. The SAE (Society of Automotive Engineers) AADL (Architecture Analysis and Design Language) has proved to be efficient for architectural modeling. We present a modeling framework allowing the generation of dependability-oriented analytical models from AADL models, to facilitate the evaluation of dependability measures, such as reliability or availability. We propose a stepwise approach for system dependability modeling using AADL. The AADL dependability model is transformed into a GSPN (Generalized Stochastic Petri Net) by applying model transformation rules that can be automated. The resulting GSPN can be processed by existing tools. The modeling approach is illustrated on a subsystem of the French Air Traffic Control System.
منابع مشابه
A System Performance in Presence of Faults Modeling Framework Using AADL and GSPNs
The increasing complexity of new-generation systems which take into account interactions between hardware and software components, particularly the fault-tolerant systems, raises major preoccupations in various critical application domains.These preoccupations concern principally the modeling and analysis requirements of these systems.Thus, designers are interested in the verification of critic...
متن کاملAn architecture-based dependability modeling framework using AADL
For efficiency reasons, the software system designers’ will is to use an integrated set of methods and tools to describe specifications and designs, and also to perform analyses such as dependability, schedulability and performance. AADL (Architecture Analysis and Design Language) has proved to be efficient for software architecture modeling. In addition, AADL was designed to accommodate severa...
متن کاملModélisation de la sreté de fonctionnement basée sur le langage AADL et les RdPSG
For efficiency reasons, system designers’ will is to use an integrated set of methods and tools to describe specifications, and also to perform dependability analyses. AADL (Architecture Analysis and Design Language) has proved its capacity for architectural modeling. This paper presents a modeling framework allowing the generation of dependability-oriented analytical models from AADL models, t...
متن کاملSoftware Dependability Modeling Using AADL (Architecture Analysis and Design Language)
In traditional development processes, each type of analysis is generally based on a dedicated model, which requires substantial amount of training to be used effectively. Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the dependability of an application. This...
متن کاملModeling Wireless Sensor Network Architectures using AADL
Recent technological advances have enhanced the possibilities of large-scale development and commercial deployment of diverse applications using wireless sensor networks. As this development effort expands, it becomes increasingly important to build tools and formal methodologies that ease large-scale deployments of such networks. In this paper, we advocate the use of an architecture descriptio...
متن کامل