Architecture analysis design language

Feiler, P.H. Lewis, B.A. Vestal, S., "The SAE Architecture Analysis Design Language (AADL) A Standard for Engineering Performance Critical Systems," Computer-Aided Control Systems Design, 2006 IEEE International Symposium on, pp.l206-1211, 4-6 Oct. 2006... 

Feiler, P.H., Gluch, D.P., and Hudak, J.J., "The architecture analysis design language (AADL) An introduction," Technical Report CMU/SEI-2006-TN-011, Software Engineering Institute, 2006... 

For automation of hazard analyses such as FMEA/FTA, use of architecture analysis design language (AADL) is quite common. Modeling language AADL is standardized by SAE (2008 version). Major uses of AADL includes, but not limited to, the... 

Architecture analysis design language in safety automation. 

The Architecture Analysis Design Language (AADL) focuses on the modeling of systems that have to fulfill requirements regarding the demand of space, energy and memory. Therefore it supports the estimation of performance, reliability, and schedulability (Feiler et al., 2006, SAE Aerospace, 2004). 

Feiler, R, Gluch, D. Hudak, J. 2006. The Architecture Analysis Design Language (AADL) An Introduction. Carnegie Mellon University. 

SAE AEROSPACE 2004. Architecture Analysis Design Language (AADL). SAE Aerospace. 

Feiler, P., Rugina, A. Dependability Modeling with the Architecture Analysis Design Language. Technical Report CMU/SEI-2007-TN-043, Carnegie Mellon University (2007)... 

ROOM [Selic94] is one of the few 00 methods that can be said to be based on an architecture definition (graphical) language. Shlaer and Mellor [Shlaer92] have long advocated a translation-based approach to architecture You define the translation patterns and rales and generate the design from the analysis models. 

Feiler, P.H. J. Hansson, "Flow Latency Analysis with the Architecture Analysis and Design Language (AADL)," Technical Note CMU/SEI-2007-TN-010, Software Engineering Institute, 2007... 

Rugina, A. (2005). System Dependability Evaluation using AADL (Architecture Analysis and Design Language). LAAS-CNRS. 

Architecture Analysis and Design Language (AADL) V2. SAE Draft Standard AS5506 V2, International Society of Automotive Engineers (March 2008)... 

AADL [3] (Architecture Analysis and Design Language) is a rich and complete ADL for embedded real-time systems, with an emphasis on critical avionics systems. Many work in the literature apply the transformation model alternative for AADL formal verification they transform various AADL subsets into different specification formalisms and they focus on behavioral analysis by checking general properties like deadlock with model-checking. 

Hecht, M., Lam, A., Vogl, C. A tool set for integrated software and hardware dependability analysis using the architecture analysis and design language (AADL) and error model annex. In ICECCS, pp. 361-366 (2011)... 

In this paper, we propose and investigate formal concepts that aim to overcome this bias. They support the construction of FMEA tables solely based on the system model and the failure modes, i.e., without requiring the set of effects as input. More concretely, given a system specification in the Architecture Analysis and Design Language (AADL), we show how to derive relations that characterize the effects of failures based on the state transition system of that specification. We also demonstrate the benefits and limitations of these concepts on a satellite case study. 

To start architectural synthesis, an initial data flow analysis is required. It is also this process which resolves the very different nature of current designer interface languages (Vhdl, HardwareC, Silage,. ..). By standardization on the result of this analysis, the input alternatives become available for all the synthesis projects. 

---