Version 11 (modified by 11 years ago) ( diff ) | ,
---|
AADL Inspector
AADL Inspector is a model processing framework for AADL. Its aim is to provide a light weight and extensible tool to perform static and dynamic analysis of AADL architectures, and to easily connect any AADL compliant verification tool or code generator.
The new version of AADL Inspector (v1.1) encompasses the following features:
- Import of AADL textual specifications (individual files or projects)
- syntactic analysis (aadlrev)
- AADL v2.1 (AS-5506B)
- AADL Behavior Annex (AS-5506/2 Annex D + errata)
- AADL v1 and v2.0 upwards compatibility
- converts legacy AADL 1.0 and 2.0 architectures into 2.1 (with a few restrictions on property associations)
- Static rules analysis
- full traceability with the standard document definitions
- AADL Naming rules (chapters 4.1, 4.2, 4.3 and 4.4)
- AADL Legality rules (chapters 4.1, 4.2, 4.3 and 4.4)
- AADL Consistency rules (chapter 4.5)
- Architectural metrics
- customization capabilities (to support AADL subsets and project specific rules)
- Schedulability analysis
- Integration of the CHEDDAR v3 analysis kernel
- AADL to Cheddar model transformation
- Enhanced output format for post-processing
- Dynamic simulation
- Integration of the MARZIN Multi-Agents simulation engine
- Emulation of the AADL run-time (currently restricted to mono-processor architectures)
- Display of dynamic time-lines for Threads and Shared Data
- Real Time Properties editor
- Extracts main RT properties from all the Thread instances
- Spreadsheet editor for easy modification
- Inserts changes into the textual declarative model
- Command line options for batch processing
Attachments (9)
-
LoupeAADL.jpg
(115.4 KB
) - added by 12 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 10 months ago.
- AI1.9-overview.png (275.1 KB ) - added by 10 months ago.
- AI1.9.PNG (219.6 KB ) - added by 10 months ago.
- AI User Manual.pdf (2.4 MB ) - added by 10 months ago.
- AADLInspector1.9QuickStart.pdf (1.4 MB ) - added by 10 months ago.
Note:
See TracWiki
for help on using the wiki.