| Version 3 (modified by , 13 years ago) ( diff ) |
|---|
AADL Inspector is a new product that is being developed by Ellidiss Technology. Its aim is to provide a light weight and extensible tool to perform static and dynamic analysis of AADL architectures. The first version of AADL Inspector will encompass the following features:
- Import of AADL textual specifications
- AADL v2
- AADL Behavior Annex
- AADL v1 compatibility
- Static rules analysis
- AADL Legality rules
- AADL Consistency rules
- AADL Naming rules
- Architectural metrics
- Project specific rules
- Schedulability analysis
- Integration of CHEDDAR
- Dynamic simulation
- Multi-Agents simulation engine
- Complies with the AADL run-time
Attachments (9)
-
LoupeAADL.jpg
(115.4 KB
) - added by 13 years ago.
Loupe AADL
- AI1.8.PNG (258.9 KB ) - added by 3 years ago.
- AI1.8-overview.png (124.8 KB ) - added by 3 years ago.
-
arbre_analyste-2.3.2-win32.zip
(24.2 MB
) - added by 2 years ago.
please refer to: https://www.arbre-analyste.fr/en.html
- inspector9brochure.pdf (1.1 MB ) - added by 11 months ago.
- AI1.9-overview.png (275.1 KB ) - added by 11 months ago.
- AI1.9.PNG (219.6 KB ) - added by 11 months ago.
- AI User Manual.pdf (2.4 MB ) - added by 11 months ago.
- AADLInspector1.9QuickStart.pdf (1.4 MB ) - added by 11 months ago.
Note:
See TracWiki
for help on using the wiki.
