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



No image "LoupeAADL.jpg" attached to WikiStart

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

Note: See TracWiki for help on using the wiki.