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. |