The Architecture Analysis Design Language Aadl
Download The Architecture Analysis Design Language Aadl PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get The Architecture Analysis Design Language Aadl book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
ARCHITECTURE ANALYSIS & DESIGN LANGUAGE (AADL)
Author: AS-2C Architecture Analysis and Design Language
language: en
Publisher:
Release Date: 2004
This standard defines a language for describing both the software architecture and the execution platform architectures of performance-critical, embedded, real-time systems; the language is known as the SAE Architecture Analysis & Design Language (AADL). An architecture model defined in AADL describes the properties and interfaces of components. Components fall into two major categories: those that represent the execution platform and those representing the application. The former is typified by processors, buses, and memory, the latter by application software modules. The model describes how these components interact and are integrated to form complete systems. It describes both functional interfaces and aspects critical for performance of individual components and assemblies of components. The changes to the runtime architecture are modeled as operational modes and mode transitions.The language is applicable to systems that are: real-time, resource-constrained, safety-critical systems, and those that may include specialized device hardware.This standard defines the core AADL that is designed to be extensible. While the core language provides a number of modeling concepts with precise semantics including the mapping to execution platforms and the specification of execution time behavior, it is not possible to foresee all possible architecture analyses. Extensions to accommodate new analyses and unique hardware attributes take the form of new properties and analysis specific notations that can be associated with components. Users or tool vendors may define extension sets. Extension sets may be proposed for inclusion in this standard. Such extensions will be defined as part of a new Annex appended to the standard.This standard does not specify how the detailed design or implementation details of software and hardware components are to be specified. Those details can be specified by a variety of software programming and hardware description languages. The standard specifies relevant characteristics of the detailed design and implementation descriptions, such as source text written in a programming language or hardware description language, from an external (black box) perspective. These relevant characteristics are specified as AADL component properties, and as rules of conformance between the properties and the described components.This standard does not prescribe any particular system integration technologies, such as operating system or middleware application program interfaces or bus technologies or topologies. However, specific system architecture topologies, such as the ARINC 653 RTOS, can be modeled through software and execution platform components. The AADL can be used to describe a variety of hardware architectures and software infrastructures. Integration technologies can be used to implement a specified system. The standard specifies rules of conformance between AADL system architecture specifications and physical systems implemented from those specifications.The standard was not designed around a particular set of tools. It is anticipated that systems and software tools will be provided to support the use of the AADL.
The Architecture Analysis & Design Language (AADL)
Abstract: "In November 2004, the Society of Automotive Engineers (SAE) released the aerospace standard AS5506, named the Architecture Analysis & Design Language (AADL). The AADL is a modeling language that supports early and repeated analyses of a system's architecture with respect to performance-critical properties through an extendable notation, a tool framework, and precisely defined semantics. The language employs formal modeling concepts for the description and analysis of application system architectures in terms of distinct components and their interactions. It includes abstractions of software, computational hardware, and system components for (a) specifying and analyzing real-time embedded and high dependability systems, complex systems of systems, and specialized performance capability systems and (b) mapping of software onto computational hardware elements. The AADL is especially effective for model-based analysis and specification of complex real-time embedded systems. This techinical note is an introduction to the concepts, language structure, and application of the AADL."
Architecture Description Languages
Author: Pierre Dissaux
language: en
Publisher: Springer Science & Business Media
Release Date: 2005-03-10
Architecture Description Languages is an essential reference for both academic and professional researchers in the field of system engineering and design. The papers presented in this volume were selected from the workshop of the same name that was held as part of the World Computer Congress 2004 Conference, held in Toulouse, France in August 2004. This collection presents significant research and innovative developments and applications from both academic researchers and industry practitioners on topics ranging from Semantics to Tool and Development Environments. The aim of an ADL is to formally describe software and hardware architectures. Usually, an ADL describes components, their interfaces, their structures, their interactions (structure of data flow and control flow) and the mappings to hardware systems. A major goal of such description is to allow analysis with respect to several aspects like timing, safety, reliability. The papers in this state-of-the-art volume cover such topics of interest as components, connectors, composition; semantics and formalization; verification, simulation and test; tools and development environments; standardization; industrial projects. To encourage closer interaction between academic and industrial networking research communities, the workshop welcomed academic research papers as well as industrial contributions, and both are included here. Which makes this collection important not only for ADL experts and researchers, but also for all teachers and administrators interested in ADL.