[aadl]: Product anouncement: AADL Inspector 1.3

[Pierre Dissaux]

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

Demos at the ERTS2 conference in Toulouse next week 


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




--------------------------------------------------------------------------------
   
  a.. load AADL libraries from GitHub (New) 
  b.. import of UML MARTE models (New) 
  c.. real-time and deployment wizards (New) 
  d.. static rules checker 
  e.. schedulability analysis (Cheddar v3) 
  f.. run-time simulation (Marzhin v2) 
  g.. graphical time-lines display 
  h.. support of the AADL Behavior Annex 
  i.. support of the AADL ARINC653 Annex  
  j.. support of the AADL Error Model Annex v1 and v2 (Upgraded to draft 0.97)
ELLIDISS also provides:
  a.. Stood 5.4 (HOOD and AADL graphical editor) 
  b.. commercial tool support for industrial projects 
  c.. tool training 
  d.. tool customization 
  e.. development of Domain Specific Model front-end graphical editors 
  f.. development of Model transformations with the LMP technology 
  g.. download site: http://www.ellidiss.com/downloads.asp 


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

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: logoEllidis-com[1].gif
Type: image/gif
Size: 1858 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20140131/c837e896/attachment-0001.gif>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: AI-1.3[5].jpg
Type: image/jpeg
Size: 96872 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20140131/c837e896/attachment-0001.jpg>