Changes between Version 48 and Version 49 of inspector

Timestamp:

06/01/23 15:49:01 (11 months ago)

Author:

pdissaux

Comment:

--

inspector

@@ -14 +14 @@
 
 The current version of AADL Inspector (v1.9) encompasses the following features:
- * Import of [wiki:AADL AADL] textual specifications (individual files or projects)
+ * [wiki:AADL AADL] support
+  * AADL Project browser
   * Syntactic analysis (aadlrev)
-  * AADL v2.2 (AS-5506C)
+  * AADL v2.3 (AS-5506D)
   * AADL Behavior Annex v2.0 (AS-5506/2A Annex D)
   * AADL Error Model Annex v2.0 (AS-5506/1A Annex E)
   * AADL ARINC 653 Annex (AS-5506/1A Annex A)
-  * AADL FACE 3.0^TM^ Annex (AS-5506/4 Annex F)
-  * AADL v1, v2.0 and v2.1 upwards compatibility
+  * AADL FACE^TM^ Annex (AS-5506/4 Annex F)
   * Converts older AADL models into v2.2 (with a few restrictions on property associations)
- * Import of UML/MARTE, SysML or Capella models (experimental)
- * Import of AADL libraries from !GitHub
+  * Import of AADL libraries from !GitHub
+ * Models import/export (powered by LAMP)
+  * SysML v1 import 
+  * FACE 3.0 import
+  * Capella Physical Architecture import
+  * Generic XML/XMI/CSV import
+  * HOOD/SIF export
  * AADL template models:
   * Multi tasks (Real-Time Scheduling)
@@ -30 +35 @@
   * Multi processors (Network Communication)
   * Multi cores (Partitioned Scheduling)
+  * LAMP annex (Custom Model Processing)
  * Static rules analysis plugins
   * Turnkey integration of [http://www.openaadl.org/ocarina.html OCARINA] syntactic and semantic analysers
   * Customizable AADL rules checkers with [wiki:LMP LMP]
   * Declarative model metrics
-  * Automatic detection of the root system
+  * Root system inference
   * Automatic elaboration of the instance model 
+ * AADL reverse engineering
+  * AADL instance model graphical editor
+  * Round-trip engineering with [wiki:STOOD Stood for AADL]
  * Assurance cases online verification
   * Logical AADL Model Processing ([wiki:lamp LAMP]) online prolog engine
@@ -41 +50 @@
   * LAMP Annexes in AADL packages (verification rules)
   * LAMP Annexes in AADL components (verification goals)
- * Schedulability analysis
-  * Turnkey integration of the [http://beru.univ-brest.fr/~singhoff/cheddar/ CHEDDAR v3] analysis kernel
-  * AADL to Cheddar model transformation
-  * Enhanced output format for post-processing
-  * VCD (Value Change Dump) file output of the scheduling static simulation
+ * Timing analysis
+  * Schedulability analysis
+   * Turnkey integration of the [http://beru.univ-brest.fr/~singhoff/cheddar/ CHEDDAR v3] analysis kernel
+   * AADL to Cheddar model transformation
+   * Enhanced output format for post-processing
+   * VCD (Value Change Dump) file output of the scheduling static simulation
+  * Dynamic simulation
+   * Turnkey integration of the MARZHIN v2 Multi-Agents simulation engine, developed in collaboration with [http://www.virtualys.fr Virtualys].
+   * Emulation of the AADL run-time (multi-core, multi-processor and multi-partition architectures)
+   * Display of dynamic time-lines for Processors, Buses, Processes, Threads and Shared Data
+   * Asynchronous user interaction: in and out events and data
+   * Simulation scenarios (input ports) and probes (output ports)
+   * VCD (Value Change Dump) file output of the simulation trace
   * Response time analysis
- * Safety analysis
+  * Scheduling Aware end to end Flow Latency Analysis (SAFLA)
+ * Safety & Security analysis
   * Generation of Open PSA file from EMV2
   * Fault Tree Analysis with Arbre Analiste
- * Dynamic simulation
-  * Turnkey integration of the MARZIN v2 Multi-Agents simulation engine, developed in collaboration with [http://www.virtualys.fr Virtualys].
-  * Emulation of the AADL run-time (multi-core, multi-processor and multi-partition architectures)
-  * Display of dynamic time-lines for Processors, Buses, Processes, Threads and Shared Data
-  * Asynchronous user interaction: in and out events and data
-  * Simulation scenarios (input ports) and probes (output ports)
-  * VCD (Value Change Dump) file output of the simulation trace
+  * Customizable security rules checker
  * Model Properties spreadsheet
   * Extracts main RT properties from all the Thread instances
   * Software to Hardware allocation
-  * Separate configuration files
  * PDF documentation generator
  * Ada and C code generators (Ocarina)
@@ -67 +78 @@
   * Scripting language for plugins definition
   * Command line options
- * Powered by [wiki:LMP LMP] (Logic Model Processing)
-  * AADL and XML/XMI parsing 
-  * Model query language
-  * Model constraints language
-  * Model transformation language
 
 [[Image(AI1.9.PNG, link=)]]