| | 1 | AADL Inspector is a new product that is being developed by Ellidiss Technology. |
| | 2 | Its aim is to provide a light weight and extensible tool to perform static and dynamic analysis of AADL architectures. |
| | 3 | The first version of AADL Inspector will encompass the following features: |
| | 4 | * Import of AADL textual specifications |
| | 5 | * AADL v2 |
| | 6 | * AADL Behavior Annex |
| | 7 | * AADL v1 compatibility |
| | 8 | * Static rules analysis |
| | 9 | * AADL Legality rules |
| | 10 | * AADL Consistency rules |
| | 11 | * AADL Naming rules |
| | 12 | * Architectural metrics |
| | 13 | * Project specific rules |
| | 14 | * Schedulability analysis |
| | 15 | * Integration of CHEDDAR |
| | 16 | * Dynamic simulation |
| | 17 | * Multi-Agents simulation engine |
| | 18 | * Complies with the AADL run-time |
