| | 29 | == AADL tool chains == |
| | 30 | 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: |
| | 31 | * OSATE: (Open Oource) Eclipse plugin, textual editor and analysis tools, developed by the Software Engineering Institute. |
| | 32 | * ADELE: (Open Source) Eclipse plugin for TOPCASED, graphical editor and code generation, developed by Ellidiss. |
| | 33 | * STOOD: (Commercial) Standalone tool, graphical editor, analysis tools, code and documentation generation, developed by Ellidiss. |
| | 34 | * OCARINA: (Open Source) Standalone tool, verification and code generation, developed by Telecom Paristech. |
| | 35 | * Cheddar: (Open Source) Standalone tool, real-time performance analysis, developed by the University of Brest. |
| | 36 | All these tools can either import or export AADL models, which enables the realization of complete cost-effective tool-chain. |
