Changes between Version 41 and Version 42 of inspector


Ignore:
Timestamp:
Nov 3, 2018 5:09:08 PM (22 months ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • inspector

    v41 v42  
    2323 * Import of UML/MARTE, SysML or Capella models (experimental) 
    2424 * Import of AADL libraries from !GitHub 
    25  * Real-Time and Deployment wizards 
    26  * Static rules analysis 
     25 * AADL template models: 
     26  * Multi tasks (Real-Time Scheduling) 
     27  * Multi partitions (Time and Space Partitioning) 
     28  * Multi processors (Network Communication) 
     29  * Multi cores (Partitioned Scheduling) 
     30 * Static rules analysis plugins 
    2731  * Turnkey integration of [http://www.openaadl.org/ocarina.html OCARINA] syntactic and semantic analysers 
    2832  * Customizable AADL rules checkers with [wiki:LMP LMP] 
     
    3034  * Automatic detection of the root system 
    3135  * Automatic elaboration of the instance model  
     36 * Assurance cases online verification 
     37  * Logical AADL Model Processing (LAMP) online prolog engine 
     38  * Predefined libraries to access AADL model entities 
     39  * LAMP Annexes in AADL packages (verification rules) 
     40  * LAMP Annexes in AADL components (verification goals) 
    3241 * Schedulability analysis 
    3342  * Turnkey integration of the [http://beru.univ-brest.fr/~singhoff/cheddar/ CHEDDAR v3] analysis kernel 
     
    3645  * VCD (Value Change Dump) file output of the scheduling static simulation 
    3746  * Response time analysis 
     47 * Safety analysis 
     48  * Generation of Open PSA file from EMV2 
     49  * Fault Tree Analysis with Arbre Analiste 
    3850 * Dynamic simulation 
    3951  * Turnkey integration of the MARZIN v2 Multi-Agents simulation engine, developed in collaboration with [http://www.virtualys.fr Virtualys].