[aadl]: Modelling and Analysis of Critical Systems

[Pierre Dissaux]

Product Announcement

Real-Time/Partitioned/Distributed Systems 
Modelling and Analysis

The new versions of AADL Inspector and Stood 
are now available for download at:

http://www.ellidiss.com/downloads 



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

AADL INSPECTOR 1.5:
Model Analysis Framework for Real-Time Systems 

  
  a.. Import of Real-Time Architectures
    a.. Support of AADL 2.1 (SAE AS-5506B) 
    b.. Support of the AADL Behavior Annex (Upgraded) 
    c.. Support of the AADL ARINC653 Annex (Upgraded) 
    d.. Support of the AADL Error Model Annex v1 and v2(Upgraded) 
    e.. Import of UML MARTE models 
    f.. Load AADL libraries from GitHub
    g.. Real-Time Properties Editor
  b.. Real-time analysis
    a.. Scheduling Analysis with Cheddar (Upgraded) 
    b.. Virtual Execution at Model level with Marzhin (Upgraded)
    c.. User Input/Output Interaction with the Simulator (Upgraded) 
    d.. Hierarchical Time-Lines Display (Upgraded) 
    e.. Simulation output in VCD format 
    f.. Bridge with 3D Virtual Reality Simulation
  c.. Static Rules Checkers (Upgraded) 
  d.. Customizable Plugins and Scripts 

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

STOOD 5.4.2: 
Methodological Support for Critical Systems Design


  a.. From Requirements to System Architecture: 
    a.. AADL System Instance Diagram Editor 
    b.. States Diagram Editor for Modes and Behavior Annex (Upgraded) 
    c.. Customizable Properties and Annexes Editor (Upgraded) 
    d.. AADL Code Generator (Upgraded) 
    e.. Link with AADL Inspector (Upgraded) 
    f.. Legacy AADL Model Loader 
  b.. From System Architecture to Code: 
    a.. Import of AADL Processes 
    b.. HOOD Software Architectural Design 
    c.. HOOD Software Detailed Design and Unit Coding 
    d.. HOOD Rules checkers 
    e.. Ada/C/C++ Code Generators 
    f.. Legacy Ada Code Loader
  c.. Common Features 
    a.. Project Management with multi-users capabilities 
    b.. Requirements Traceability and Coverage Analysis 
    c.. Multi-Format Design Documentation Generator

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

ELLIDISS also provides:
  a.. Long Term Tool Support 
  b.. Tool Training 
  c.. Tool Customization 
  d.. Development of Domain Specific Model front-end graphical editors 
  e.. Development of Model Transformations with the LMP technology 
  f.. More technical resources at: http://www.ellidiss.fr

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

visit us in June at the Paris Air Show Hall 2B booth D32 

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: logoEllidis-com[1].gif
Type: image/gif
Size: 1858 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20150303/2b6ad17f/attachment-0003.gif>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: AI15[1].gif
Type: image/gif
Size: 27084 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20150303/2b6ad17f/attachment-0004.gif>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: stood542[1].gif
Type: image/gif
Size: 37867 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20150303/2b6ad17f/attachment-0005.gif>