[aadl]: New AADL tool: "AADL Inspector"

[Pierre Dissaux]

Dear AADL users,

Ellidiss is happy to announce that a preliminary version of our new AADL 
tool "AADL Inspector" will be demonstrated at our booth at the ERTS 
conference in Toulouse, France, next week (http://www.erts2010.org/)

AADL Inspector 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

Technology:
----------------
- Logical Model Processing (LMP)
    * Formal definition of model transformations
    * Based on Boolean Logics (prolog language)
    * Tool based development methodology
- Light weight and flexible distribution:
    * Less than 15 Mb standalone tool
    (requires JRE for the simulator)
    * Available on Windows and Linux
    * Direct coupling with Stood for AADL
    * « Plug and Check » for customized rules

Pierre Dissaux
Ellidiss
www.ellidiss.com