Changes between Version 55 and Version 56 of AADL


Ignore:
Timestamp:
04/13/17 09:22:47 (9 years ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • AADL

    v55 v56  
    3838Since 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:
    3939
    40  * [wiki:stood STOOD]: (Commercial) all-in-one tool, graphical editor, analysis tools, code and documentation generation, developed by Ellidiss.
    41  * [wiki:inspector AADL INSPECTOR]: (Commercial) light weight AADL Model Processing framework, including static analysis, schedulability analysis and a run-time simulator, developed by Ellidiss.
    42  * [http://www.aadl.info OSATE]: (Open Source) Eclipse plugin, textual editor and analysis tools, developed by the Software Engineering Institute.
    43  * [wiki:adele ADELE]: (Open Source) Eclipse plugin for TOPCASED, graphical editor and code generation, developed by Ellidiss.
    44  * [http://www.openaadl.org/ocarina.html OCARINA]: (Open Source) Standalone tool, verification and code generation, developed by Telecom ParisTech and ISAE.
    45  * [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.
     40 * [wiki:stood Stood]: (Commercial) all-in-one tool, graphical editor, analysis tools, code and documentation generation, developed by Ellidiss.
     41 * [wiki:inspector AADL Inspector]: (Commercial) light weight AADL Model Processing framework, including static analysis, schedulability analysis and a run-time simulator, developed by Ellidiss.
     42 * [wiki:aadlparser AADL Prolog API]: (Commercial) an extensive and formal API to process AADL models with the prolog language.
     43 * [http://osate.org OSATE]: (Open Source) Eclipse plugin, textual editor and analysis tools, developed by the Software Engineering Institute.
     44 * [http://www.openaadl.org/ocarina.html Ocarina]: (Open Source) Standalone tool, verification and code generation, developed by Telecom ParisTech and ISAE.
     45 * [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.
    4646
    4747All these tools can either import or export AADL models, which enables the realization of complete cost-effective tool-chain.[[BR]][[BR]]