Changes between Version 38 and Version 39 of inspector


Ignore:
Timestamp:
Apr 13, 2017 11:15:19 AM (18 months ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • inspector

    v38 v39  
    1313 
    1414The current version of AADL Inspector (v1.6) encompasses the following features: 
    15  * Import of AADL textual specifications (individual files or projects) 
     15 * Import of [wiki:AADL AADL] textual specifications (individual files or projects) 
    1616  * Syntactic analysis (aadlrev) 
    1717  * AADL v2.2 (AS-5506C) 
     
    2525 * Real-Time and Deployment wizards 
    2626 * Static rules analysis 
    27   * Turnkey integration of OCARINA syntactic and semantic analysers 
    28   * Customizable AADL rules checkers with LMP 
     27  * Turnkey integration of [http://www.openaadl.org/ocarina.html OCARINA] syntactic and semantic analysers 
     28  * Customizable AADL rules checkers with [wiki:LMP LMP] 
    2929  * Declarative model metrics 
    3030  * Automatic detection of the root system 
    3131  * Automatic elaboration of the instance model  
    3232 * Schedulability analysis 
    33   * Turnkey integration of the CHEDDAR v3 analysis kernel 
     33  * Turnkey integration of the [http://beru.univ-brest.fr/~singhoff/cheddar/ CHEDDAR v3] analysis kernel 
    3434  * AADL to Cheddar model transformation 
    3535  * Enhanced output format for post-processing 
     
    3737  * Response time analysis 
    3838 * Dynamic simulation 
    39   * Turnkey integration of the MARZIN v2 Multi-Agents simulation engine 
     39  * Turnkey integration of the MARZIN v2 Multi-Agents simulation engine, developed in collaboration with [http://www.virtualys.fr Virtualys]. 
    4040  * Emulation of the AADL run-time (multi-core, multi-processor and multi-partition architectures) 
    4141  * Display of dynamic time-lines for Processors, Buses, Processes, Threads and Shared Data 
     
    5353  * Scripting language for plugins definition 
    5454  * Command line options 
    55  * Powered by LMP (Logic Model Processing) 
     55 * Powered by [wiki:LMP LMP] (Logic Model Processing) 
    5656  * AADL and XML/XMI parsing  
    5757  * Model query language