4 | | AADL Inspector is a model processing framework for AADL. |
5 | | Its aim is to provide an easy to use and extensible tool to perform static and dynamic analysis of AADL architectures, and to easily connect any AADL compliant verification tool or code generator. |
| 4 | AADL Inspector is a model processing framework for Critical Software Architecture Models. |
| 5 | Based on the most recent version of the SAE-AS5506 (AADL) standard, it embeds a set of timing analysis, simulation and code generation tools. |
| 6 | The tool also provides customizable input model converters for UML profiles or Domain Specific Modelling Languages. |