The Architecture Analysis & Design Language (AADL): An Introduction

By P. Feiler, D. Gluch, J. Hudak. 2006

731 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Contracts for System Design (2018, methodology): “, in the Autosar2 standard in the automotive sector, and the ARINC3 standard in the avionic domain), model-based development (supported by important frameworks and tools such as SysML4 [208] and/or AADL [211] for architecture modeling, and Modelica [133] and MatlabSimulink [168] for system modeling)”
Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems (2012, methodology): “MBD-inspired design languages and tools such as SysML 6 [33] and/or AADL [35] for system level modeling , Catia and Modelica [18] for physical system modeling, Matlab-Simulink [23] for control-law design, and UML 7 [7], [31] Scade [6] and TargetLink for detailed software design, depend on design lay”
An overview of fault tree analysis and its application in model based dependability analysis (2017, neutral): “It provides a standard set of component abstractions, such as ‘thread’, ‘thread group’, ‘process’, ‘data’, and ‘subprogram’ for software components; ‘processor’, ‘memory’, ‘device’ and ‘bus’ for hardware components; and ‘system’ as a composite component (Feiler, Gluch, & Hudak, 2006).”