Changes between Version 13 and Version 14 of inspector

Timestamp:

11/02/13 10:28:52 (10 years ago)

Author:

pdissaux

Comment:

--

inspector

@@ -7 +7 @@
 [[Image(LoupeAADL.jpg)]]
 
-The new version of AADL Inspector (v1.1) encompasses the following features:
+The new version of AADL Inspector (v1.2) 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 Error Model Annex (AS-5506/1 Annex E + draft 0.95 of AS-5506/3 Annex E)
   * 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)
@@ -19 +20 @@
   * AADL Legality rules (chapters 4.1, 4.2, 4.3 and 4.4)
   * AADL Consistency rules (chapter 4.5)
-  * Architectural metrics
+  * Architectural metrics: Declarative and Instance models
   * customization capabilities (to support AADL subsets and project specific rules)
  * Schedulability analysis
@@ -26 +27 @@
   * Enhanced output format for post-processing
  * Dynamic simulation
-  * Integration of the MARZIN Multi-Agents simulation engine
-  * Emulation of the AADL run-time (currently restricted to mono-processor architectures)
+  * Integration of the MARZIN v2 Multi-Agents simulation engine
+  * Emulation of the AADL run-time (multi-processors and multi-partitions architectures)
   * Display of dynamic time-lines for Threads and Shared Data
  * Real Time Properties editor