Model transformation for analyzing dependability of AADL model by using HiP-HOPS (original) (raw)

Automatic Generation of Fault Trees from AADL Models

1 Safety-critical systems, such as avionics systems and medical devices, are developed with stringent safety re-quirements. System safety analysis provides assurance that the system satisfies these safety constraints. Traditionally, safety analyses are performed manually based on various informal requirements and design documents. Much recent work has investigated automating system safety analyses using formal error models linked to system specifications. This integrated methodology holds promise in making the safety analysis process more formal, automated, consistent, and most importantly in helping tightly integrate the safety and systems engineering processes. This paper extends our soon to appear publication [10] which describes our pro-totype tool for automatically generating static fault trees based on architectural AADL models that can be input into a commercial fault tree analysis tool, CAFTA. This paper adds more related work and further discusses the couplings among model ...

Formal verification and validation of aadl models

2010

Safety-critical systems are increasingly difficult to comprehend due to their rising complexity. Methodologies, tools and modeling formalisms have been developed to overcome this. Component-based design is an important paradigm that is shared by many of them. It helps to master the overall complexity while in addition allowing for reusability.

A model-based method for system reliability analysis

System reliability is an important non-functional requirement whose satisfaction is even crucial for mission critical systems. However, the increase in both system complexity and accuracy required in the reliability analyses often makes inadequate traditional techniques which are mainly based on statistical and probabilistic tools and on the hierarchical decomposition of the system in terms of its components. Moreover, the integration of classical techniques in typical system development processes, and especially in the design phases, is quite difficult and thus their use is often postponed to the later development stages (e.g. system verification) with the possible risk of having to revise even basic design choices and with a consequent increase in both completion time and development cost. To address these issues, the paper proposes a Model-Based method for system reliability analysis which combines in a unified framework the benefits of popular OMG modeling languages (UML, SysML)...