[aadl]: Model Analysis Framework for Critical Software Architectures

[Pierre Dissaux]

--------------------------------------------------------------------------------



Product Announcement:
AADL Inspector 1.6

Model Analysis Framework for Critical Software Architectures

Reply to this email to get a link to a free trial version
 Or visit us on June 19th to 23th at the Paris Air Show Hall 2B booth E32 


--------------------------------------------------------------------------------




--------------------------------------------------------------------------------

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

--------------------------------------------------------------------------------

we appologize if you received multiple copies of this announcement
if you do not want to receive future announcements from us, please inform us by simple reply to this email

--------------------------------------------------------------------------------
-------------- 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/20170407/e3a837a3/attachment-0002.gif>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: AI1.6[1].gif
Type: image/gif
Size: 31684 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20170407/e3a837a3/attachment-0003.gif>