Changes between Version 41 and Version 42 of inspector

Timestamp:

11/03/18 16:09:08 (5 years ago)

Author:

pdissaux

Comment:

--

inspector

@@ -23 +23 @@
  * Import of UML/MARTE, SysML or Capella models (experimental)
  * Import of AADL libraries from !GitHub
- * Real-Time and Deployment wizards
- * Static rules analysis
+ * AADL template models:
+  * Multi tasks (Real-Time Scheduling)
+  * Multi partitions (Time and Space Partitioning)
+  * Multi processors (Network Communication)
+  * Multi cores (Partitioned Scheduling)
+ * 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]
@@ -30 +34 @@
   * Automatic detection of the root system
   * Automatic elaboration of the instance model 
+ * Assurance cases online verification
+  * Logical AADL Model Processing (LAMP) online prolog engine
+  * Predefined libraries to access AADL model entities
+  * 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
@@ -36 +45 @@
   * VCD (Value Change Dump) file output of the scheduling static simulation
   * Response time analysis
+ * Safety 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].