[aadl]: AADL Inspector 1.7

[Pierre Dissaux]

AADL Inspector 1.7
has been released

Model Analysis Framework for Critical Software Architectures

Features:
  a.. AADL support
    a.. AADL Project browser  
    b.. Support of AADL 2.2 (SAE AS-5506C) 
    c.. Support of the AADL Behavior Annex v2.0  
    d.. Support of the AADL Error Model Annex (EMV2) 
    e.. Support of the AADL ARINC 653 Annex 
    f.. Software to Hardware deployment 
    g.. Declarative model metrics 
    h.. Automatic detection of the root system 
    i.. Automatic elaboration of the instance model (Upgraded) 
    j.. AADL model templates and examples (Upgraded) 
    k.. AADL constraint language: LAMP Annex  (New)
  a.. Models interchange 
    a.. Access to remote AADL libraries 
    b.. XMI import (MARTE, SysML,Capella) 
    c.. Customizable Model transformations 
  a.. Real-time analysis and simulation 
    a.. Response Time analysis (Upgraded) 
    b.. Simulation scenarios 
    c.. Scheduling Analysis with Cheddar 
    d.. Model execution with Marzhin (Upgraded) 
    e.. User Input/Output Interaction with the Simulator 
    f.. Hierarchical Time-Lines Display 
    g.. Simulation output in VCD format
  a.. Static Analysis 
    a.. User customizable inline processing tools with LAMP (New) 
    b.. Turnkey integration of the Ocarina AADL compiler 
    c.. 
  b.. Generators 
    a.. Analysis report PDF generator 
    b.. Ada and C code generation with Ocarina
More...

download your trial version

Pierre Dissaux
Ellidiss Technologies

-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: logoET[1].gif
Type: image/gif
Size: 2366 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20181120/3b8aae4a/attachment.gif>