Changes between Version 33 and Version 34 of inspector


Ignore:
Timestamp:
04/04/17 09:52:35 (7 years ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • inspector

    v33 v34  
    1717The current version of AADL Inspector (v1.6) encompasses the following features:
    1818 * Import of AADL textual specifications (individual files or projects)
    19   * syntactic analysis (aadlrev)
     19  * Syntactic analysis (aadlrev)
    2020  * AADL v2.2 (AS-5506C)
    21   * AADL Behavior Annex (AS-5506/2 Annex D + errata)
    22   * AADL Error Model Annex (AS-5506/1 Annex E + draft of AS-5506/3 Annex E)
    23   * AADL ARINC 653 Annex (AS-5506/2 Annex F)
    24   * AADL v1 and v2.0 upwards compatibility
    25   * converts legacy AADL 1.0 and 2.0 architectures into 2.2 (with a few restrictions on property associations)
     21  * AADL Behavior Annex v2.0 (AS-5506/2A Annex D)
     22  * AADL Error Model Annex v2.0 (AS-5506/1A Annex E)
     23  * AADL ARINC 653 Annex (AS-5506/1A Annex A)
     24  * AADL v1, v2.0 and v2.1 upwards compatibility
     25  * Converts older AADL models into v2.2 (with a few restrictions on property associations)
    2626 * Import of UML/MARTE, SysML or Capella models (experimental)
    2727 * Import of AADL libraries from !GitHub
    2828 * Real-Time and Deployment wizards
    2929 * Static rules analysis
    30   * full traceability with the standard document definitions
    31   * AADL Naming rules (chapters 4.1, 4.2, 4.3 and 4.4)
    32   * AADL Legality rules (chapters 4.1, 4.2, 4.3 and 4.4)
    33   * AADL Consistency rules (chapter 4.5)
    34   * Architectural metrics: Declarative and Instance models
    35   * customization capabilities (to support AADL subsets and project specific rules)
     30  * Turnkey integration of OCARINA syntactic and semantic analysers
     31  * Customizable AADL rules checkers with LMP
     32  * Declarative model metrics
     33  * Automatic detection of the root system
     34  * Automatic elaboration of the instance model
    3635 * Schedulability analysis
    37   * Integration of the CHEDDAR v3 analysis kernel
     36  * Turnkey integration of the CHEDDAR v3 analysis kernel
    3837  * AADL to Cheddar model transformation
    3938  * Enhanced output format for post-processing
    4039  * VCD (Value Change Dump) file output of the scheduling static simulation
     40  * Response time analysis
    4141 * Dynamic simulation
    42   * Integration of the MARZIN v2 Multi-Agents simulation engine
    43   * Emulation of the AADL run-time (multi-processors and multi-partitions architectures)
     42  * Turnkey integration of the MARZIN v2 Multi-Agents simulation engine
     43  * Emulation of the AADL run-time (multi-core, multi-processor and multi-partition architectures)
    4444  * Display of dynamic time-lines for Processors, Buses, Processes, Threads and Shared Data
    4545  * Asynchronous user interaction: in and out events and data
     46  * Simulation scenarios (input ports) and probes (output ports)
    4647  * VCD (Value Change Dump) file output of the simulation trace
    47  * Real Time Properties editor
     48 * Model Properties spreadsheet
    4849  * Extracts main RT properties from all the Thread instances
    49   * Spreadsheet editor for easy modification
    50   * Inserts changes into the textual declarative model
     50  * Software to Hardware allocation
     51  * Separate configuration files
     52 * PDF documentation generator
     53 * Ada and C code generators (Ocarina)
    5154 * Tool customization capabilities
    5255  * "plug and check" analysis tools
    53   * Scripting language for macro-commands definition
     56  * Scripting language for plugins definition
    5457  * Command line options
    5558 * Powered by LMP (Logic Model Processing)