Version 6 (modified by pdissaux, 8 years ago) (diff)

--

nocollapse)?

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.

Loupe AADL

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

No image "inspector2.jpg" attached to inspector

Attachments (6)