Changes between Version 49 and Version 50 of AADL


Ignore:
Timestamp:
04/23/16 07:33:53 (8 years ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • AADL

    v49 v50  
    55== AADL ==
    66The Architecture Analysis and Design Language has been standardized by the [http://www.sae.org SAE], avionics systems division, under number AS 5506. The last version of the standard (revision B) has been issued in September 2012. The AADL is a textual and graphical language that can be used to design and analyze the software and hardware architecture of performance-critical real-time systems. An AADL model describes a system as a hierarchy of components with their interfaces and their interconnections. More information can be found on ([http://www.aadl.info the AADL standardization committee website]) and ([http://www.openaadl.org the AADL resource pages]) [[BR]] [[Image(wiki:AADL:img2.png)]]      [[Image(wiki:AADL:img1.png)]]
    7 
    8 
    97
    108== AADL components ==
    … …  
    2523The AADl standard comes with a set of extensions that enlarge the scope of the language for more particular usages. Some of these Annexes have already been published and others are still being studied by the AADL committee.
    2624
    27  * Error Model Annex (revision in progress)
     25 * Error Model Annex
    2826 * Behaviour Annex
    2927 * Data Modeling Annex
    30  * Code Generation Annex (revision in progress)
     28 * Code Generation Annex
    3129 * ARINC 653 Annex
    32  * [attachment:wiki:WikiStart:MARTE2AADL.exe UML profile through MARTE]
    3330
    3431== Verifiable Model Based Engineering ==
    … …  
    5451All these tools can either import or export AADL models, which enables the realization of complete cost-effective tool-chain.[[BR]][[BR]]
    5552
     53== AADL examples ==
     54
    5655[[BR]] [wiki:AADL#AADL Back to the top of the page].