Version 4 (modified by pdissaux, 10 years ago) ( diff )



No image "LoupeAADL.jpg" attached to wiki

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.

No image "LoupeAADL.jpg" attached to wiki

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 (8)

Note: See TracWiki for help on using the wiki.