Changes between Version 30 and Version 31 of inspector

Timestamp:

04/04/17 08:04:08 (7 years ago)

Author:

pdissaux

Comment:

--

inspector

@@ -5 +5 @@
 Its 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.
 
-Download the last version of the [attachment:wiki:inspector:inspector6brochure.pdf brochure], 
+Download the last version of the [attachment:wiki:inspector:inspector7brochure.pdf brochure], 
 the [attachment:wiki:inspector:AIUserManual.pdf user manual] 
 or a trial version of the product for 
-[attachment:wiki:inspector:AADLInspectorWindows1-5.exe Windows] 
-[attachment:wiki:inspector:AADLInspectorLinux32b1-5.tar.gz Linux 32b] 
-[attachment:wiki:inspector:AADLInspectorLinux64b1-5.tar.gz Linux 64b] 
+[attachment:wiki:inspector:AADLInspector1-6Windows.exe Windows] 
+[attachment:wiki:inspector:AADLInspector1-6Linux32.tar.gz Linux 32b] 
+[attachment:wiki:inspector:AADLInspector1-6Linux64.tar.gz Linux 64b] 
 
 
 [[Image(LoupeAADL.jpg)]]
 
-The new version of AADL Inspector (v1.4) encompasses the following features:
+The current version of AADL Inspector (v1.6) encompasses the following features:
  * Import of AADL textual specifications (individual files or projects)
   * syntactic analysis (aadlrev)
-  * AADL v2.1 (AS-5506B)
+  * AADL v2.2 (AS-5506C)
   * AADL Behavior Annex (AS-5506/2 Annex D + errata)
   * AADL Error Model Annex (AS-5506/1 Annex E + draft of AS-5506/3 Annex E)
   * AADL ARINC 653 Annex (AS-5506/2 Annex F)
   * 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)
- * Import of UML/MARTE models
+  * converts legacy AADL 1.0 and 2.0 architectures into 2.2 (with a few restrictions on property associations)
+ * Import of UML/MARTE, SysML or Capella models (experimental)
  * Import of AADL libraries from !GitHub
  * Real-Time and Deployment wizards