Changes between Version 9 and Version 10 of AADL


Ignore:
Timestamp:
07/29/09 09:19:05 (15 years ago)
Author:
alan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • AADL

    v9 v10  
    66= AADL =
    77== The AADL ==
    8 The Architecture Analysis and Design Language (AADL) has been standardized bye the 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 systel as a hierarchy of components with their interfaces and their interconnections.
     8The Architecture Analysis and Design Language (AADL) has been standardized by the 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.
    99
    1010== AADL components ==
    … …  
    4545Since 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:
    4646
    47  * OSATE: (Open Oource) Eclipse plugin, textual editor and analysis tools, developed by the Software Engineering Institute.
    48  * ADELE: (Open Source) Eclipse plugin for TOPCASED, graphical editor and code generation, developed by Ellidiss.
    49  * STOOD: (Commercial) Standalone tool, graphical editor, analysis tools, code and documentation generation, developed by Ellidiss.
    50  * OCARINA: (Open Source) Standalone tool, verification and code generation, developed by Telecom Paristech.
    51  * Cheddar: (Open Source) Standalone tool, real-time performance analysis, developed by the University of Brest.
     47 * [http://www.aadl.info OSATE]: (Open Source) Eclipse plugin, textual editor and analysis tools, developed by the Software Engineering Institute.
     48 * [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://beru.univ-brest.fr/~singhoff/cheddar/index-fr.html Cheddar]: (Open Source) Standalone tool, real-time performance analysis, developed by the University of Brest.
    5252
    5353All these tools can either import or export AADL models, which enables the realization of complete cost-effective tool-chain.