[aadl]: Modeling and Verification of Critical Embedded Software

[Pierre Dissaux]

Product Announcement

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

http://www.ellidiss.com/downloads.asp



AADL INSPECTOR 1.2:
Model Analysis Framework for Real-Time Systems 
 
  a.. static rules checker (Upgraded) 
  b.. schedulability analysis (Upgraded: Cheddar v3) 
  c.. AADL run-time simulation (Upgraded: Marzhin v2) 
  d.. enhanced graphical time-lines display (New) 
  e.. support of the AADL Behavior Annex (Extended) 
  f.. support of the AADL ARINC653 Annex (New) 
  g.. support of the AADL Error Model Annex v1 and v2 (New)
STOOD 5.4: 
Fully featured standalone modeling environment for Critical Systems:


  a.. Project Management with multi-users capabilities 
  b.. AADL Graphical Editor 
  c.. AADL Detailed Design Editor with support of 
    a.. the AADL Data Model Annex (New) 
    b.. the AADL ARINC653 Annex (New) 
    c.. the AADL Error Model Annex (New) 
    d.. the AADL Behavior Annex
  d.. AADL Code Generator (Upgraded) 
  e.. AADL Legacy Code Loader 
  f.. Requirements Coverage Analysis 
  g.. Design Documentation Generator
ELLIDISS also provides:
  a.. tool support 
  b.. tool training 
  c.. tool customization 
  d.. development of Domain Specific Model front-end graphical editors for AADL 
  e.. development of Model transformations from/to AADL

Best regards

Pierre Dissaux
Ellidiss 
www.ellidiss.fr
aadl at ellidiss.fr

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: image[15].png
Type: image/png
Size: 142661 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20131104/0ad75115/attachment-0002.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image[13].png
Type: image/png
Size: 127195 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20131104/0ad75115/attachment-0003.png>