Changes between Version 45 and Version 46 of AADL


Ignore:
Timestamp:
11/02/13 09:36:55 (11 years ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • AADL

    v45 v46  
    44= AADL =
    55== AADL ==
    6 The Architecture Analysis and Design Language ([http://www.aadl.info AADL]) has been standardized by the [http://www.sae.org SAE], avionics systems division, under number AS 5506. last version of the standards has been issued in January 2009. 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.[[BR]] [[Image(wiki:AADL:img2.png)]]      [[Image(wiki:AADL:img1.png)]]
     6The Architecture Analysis and Design Language ([http://www.aadl.info AADL]) 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.[[BR]] [[Image(wiki:AADL:img2.png)]]      [[Image(wiki:AADL:img1.png)]]
    77
    88
    … …  
    2525The 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.
    2626
    27  * AADL meta-model and XMI interchange.
    28  * [attachment:wiki:WikiStart:MARTE2AADL.swf UML profile through MARTE]
    29  * Error Model Annex
     27 * Error Model Annex (revision in progress)
    3028 * Behaviour Annex
    3129 * Data Modeling Annex
    32  * Code Generation Annex
     30 * Code Generation Annex (revision in progress)
    3331 * ARINC 653 Annex
     32 * [attachment:wiki:WikiStart:MARTE2AADL.swf UML profile through MARTE]
    3433
    3534== Verifiable Model Based Engineering ==
    … …  
    3736
    3837 * Schedulability Analysis
     38 * Run-Time Simulation at System level
    3939 * Latency Analysis
    4040 * Safety Analysis
    … …  
    4343
    4444== AADL tool chains ==
    45 Since the first release of AADL in 2004, many modeling and verification tools have been developed. Ellidiss has become a leader in this area. Main available AADL tools are:
     45Since the first release of AADL in 2004, many modeling and verification tools have been developed. Ellidiss has become a leader in this area and provides '''commercially supported''' solutions for industrial projects. Main available AADL tools are:
    4646
     47 * [wiki:stood STOOD]: (Commercial) all-in-one tool, graphical editor, analysis tools, code and documentation generation, developed by Ellidiss.
     48 * [wiki:stood STOOD]: (Commercial) light weight AADL Model Processing framework, including static analysis, schedulability analysis and a run-time simulator, developed by Ellidiss.
    4749 * [http://www.aadl.info OSATE]: (Open Source) Eclipse plugin, textual editor and analysis tools, developed by the Software Engineering Institute.
    4850 * [wiki:adele ADELE]: (Open Source) Eclipse plugin for TOPCASED, graphical editor and code generation, developed by Ellidiss.
    49  * [wiki:stood STOOD]: (Commercial) Standalone tool, graphical editor, analysis tools, code and documentation generation, developed by Ellidiss.
    50  * [http://ocarina.enst.fr OCARINA]: (Open Source) Standalone tool, verification and code generation, developed by Telecom Paristech.
     51 * [http://www.openaadl.org/ocarina.html]: (Open Source) Standalone tool, verification and code generation, developed by Telecom ParisTech and ISAE.
    5152 * [http://beru.univ-brest.fr/~singhoff/cheddar/index-fr.html Cheddar]: (Open Source) Standalone tool, real-time performance analysis, developed by the University of Brest.
    5253