Changes between Version 38 and Version 39 of inspector

Timestamp:

04/13/17 09:15:19 (7 years ago)

Author:

pdissaux

Comment:

--

inspector

@@ -13 +13 @@
 
 The current version of AADL Inspector (v1.6) encompasses the following features:
- * Import of AADL textual specifications (individual files or projects)
+ * Import of [wiki:AADL AADL] textual specifications (individual files or projects)
   * Syntactic analysis (aadlrev)
   * AADL v2.2 (AS-5506C)
@@ -25 +25 @@
  * Real-Time and Deployment wizards
  * Static rules analysis
-  * Turnkey integration of OCARINA syntactic and semantic analysers
-  * Customizable AADL rules checkers with LMP
+  * 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
   * Automatic elaboration of the instance model 
  * Schedulability analysis
-  * Turnkey integration of the CHEDDAR v3 analysis kernel
+  * 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
@@ -37 +37 @@
   * Response time analysis
  * Dynamic simulation
-  * Turnkey integration of the MARZIN v2 Multi-Agents simulation engine
+  * 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
@@ -53 +53 @@
   * Scripting language for plugins definition
   * Command line options
- * Powered by LMP (Logic Model Processing)
+ * Powered by [wiki:LMP LMP] (Logic Model Processing)
   * AADL and XML/XMI parsing 
   * Model query language