AADL-Based safety analysis using formal methods applied to aircraft digital systems

Stewart, Danielle; Liu, Jing; Cofer, Darren; Heimdahl, Mats P. E.; Whalen, Michael W.; Peterson, Michael R.

doi:10.1016/j.ress.2021.107649

Cited by 21 publications

(3 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Section: Aadl and Their Behavior Annex: An Overviewmentioning

confidence: 99%

“…In a recent paper, Stzwart et al. 2 propose a new extension of AADL. It is named a “safety annex” that supports the modeling of system behavior under failure conditions.…”

Section: Related Workmentioning

confidence: 99%

“…An AADL architecture model describes a system in terms of the hierarchy of components and their interconnections, where each component can either represent a logical entity (e.g., application software functions, data) or a physical entity (e.g., buses, processors, memory) 2 . In addition, AADL has a rich syntax; textual and graphical, which allows a complete description of the system (For more details, the reader can refer to Ref.…”

Section: Backgroundsmentioning

confidence: 99%

See 2 more Smart Citations

Improving consistency of AADL models: A composition approach

Hamdane

Harous

Kerkouche

et al. 2023

Systems Engineering

View full text Add to dashboard Cite

AADL—architecture analysis and design language—has proven to be important in developing real‐time embedded systems. However, its formalization capability is still limited, which makes it difficult to produce a consistent model; particularly, in the case where several models are combined together. Therefore, using formal verification is an effective way to meet the consistency requirements of the AADL model. This paper proposes a model‐based engineering approach that uses timed automata (TA) formalism to aggregate multiple AADL models into a single composite model. Based on the set of input AADL models, the proposed approach creates a consistent composed model as well as support model checking verification. The effectiveness of this contribution is evaluated through two case studies; a multicamera surveillance system and a drone system.

show abstract

Section: Aadl and Their Behavior Annex: An Overviewmentioning

confidence: 99%

“…In a recent paper, Stzwart et al. 2 propose a new extension of AADL. It is named a “safety annex” that supports the modeling of system behavior under failure conditions.…”

Section: Related Workmentioning

confidence: 99%

Section: Backgroundsmentioning

confidence: 99%

See 1 more Smart Citation