Changes between Version 46 and Version 47 of AADL


Ignore:
Timestamp:
11/02/13 09:40:12 (11 years ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • AADL

    v46 v47  
    4646
    4747 * [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.
     48 * [wiki:inspector AADL INSPECTOR]: (Commercial) light weight AADL Model Processing framework, including static analysis, schedulability analysis and a run-time simulator, developed by Ellidiss.
    4949 * [http://www.aadl.info OSATE]: (Open Source) Eclipse plugin, textual editor and analysis tools, developed by the Software Engineering Institute.
    5050 * [wiki:adele ADELE]: (Open Source) Eclipse plugin for TOPCASED, graphical editor and code generation, developed by Ellidiss.
    51  * [http://www.openaadl.org/ocarina.html]: (Open Source) Standalone tool, verification and code generation, developed by Telecom ParisTech and ISAE.
    52  * [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.
     51 * [http://www.openaadl.org/ocarina.html OCARINA]: (Open Source) Standalone tool, verification and code generation, developed by Telecom ParisTech and ISAE.
     52 * [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.
    5353
    5454All these tools can either import or export AADL models, which enables the realization of complete cost-effective tool-chain.[[BR]][[BR]]