Changes between Version 15 and Version 16 of inspector


Ignore:
Timestamp:
03/19/14 12:51:51 (10 years ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • inspector

    v15 v16  
    33
    44AADL Inspector is a model processing framework for AADL.
    5 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.
     5Its aim is to provide an easy to use and extensible tool to perform static and dynamic analysis of AADL architectures, and to easily connect any AADL compliant verification tool or code generator.
    66
    77[[Image(LoupeAADL.jpg)]]
    88
    9 The new version of AADL Inspector (v1.2) encompasses the following features:
     9The new version of AADL Inspector (v1.3) encompasses the following features:
    1010 * Import of AADL textual specifications (individual files or projects)
    1111  * syntactic analysis (aadlrev)
    1212  * AADL v2.1 (AS-5506B)
    1313  * AADL Behavior Annex (AS-5506/2 Annex D + errata)
    14   * AADL Error Model Annex (AS-5506/1 Annex E + draft 0.95 of AS-5506/3 Annex E)
     14  * AADL Error Model Annex (AS-5506/1 Annex E + draft 0.97 of AS-5506/3 Annex E)
    1515  * AADL v1 and v2.0 upwards compatibility
    1616  * converts legacy AADL 1.0 and 2.0 architectures into 2.1 (with a few restrictions on property associations)
     17 * Import of UML/MARTE models
     18 * Import of AADL libraries fom GitHub
     19 * Real-Time and Deployment wizards
    1720 * Static rules analysis
    1821  * full traceability with the standard document definitions