Changes between Version 6 and Version 7 of inspector

Timestamp:

05/18/13 08:33:51 (11 years ago)

Author:

pdissaux

Comment:

--

inspector

@@ -3 +3 @@
 [[TracNav(TracNav/TOC|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.
+AADL Inspector is a model processing framework for AADL.
+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.
 
 [[Image(LoupeAADL.jpg)]]
 
-The first version of AADL Inspector will encompass the following features:
- * Import of AADL textual specifications
-  * AADL v2
-  * AADL Behavior Annex
-  * AADL v1 compatibility
+The new version of AADL Inspector (v1.1) encompasses the following features:
+ * Import of AADL textual specifications (individual files or projects)
+  * syntactic analysis (aadlrev)
+  * AADL v2.1 (AS-5506B)
+  * AADL Behavior Annex (AS-5506/2 Annex D + errata)
+  * AADL v1 and v2.0 upwards compatibility
+  * converts legacy AADL 1.0 and 2.0 architectures into 2.1 (with a few restrictions on property associations)
  * Static rules analysis
-  * AADL Legality rules
-  * AADL Consistency rules
-  * AADL Naming rules
+  * full traceability with the standard document definitions
+  * AADL Naming rules (chapters 4.1, 4.2, 4.3 and 4.4)
+  * AADL Legality rules (chapters 4.1, 4.2, 4.3 and 4.4)
+  * AADL Consistency rules (chapter 4.5)
   * Architectural metrics
-  * Project specific rules
+  * customization capabilities (to support AADL subsets and project specific rules)
  * Schedulability analysis
-  * Integration of CHEDDAR
+  * Integration of the CHEDDAR v3 analysis kernel
+  * AADL to Cheddar model transformation
+  * Enhanced output format for post-processing
  * Dynamic simulation
-  * Multi-Agents simulation engine
-  * Complies with the AADL run-time
+  * Integration of the MARZIN Multi-Agents simulation engine
+  * Emulation of the AADL run-time (currently restricted to mono-processor architectures)
+  * Display of dynamic time-lines for Threads and Shared Data
+ * Real Time Properties editor
+  * Extracts main RT properties from all the Thread instances
+  * Spreadsheet editor for easy modification
+  * Inserts changes into the textual declarative model
 
 [[Image(inspector2.jpg)]]