[aadl]: Product announcement: AADL Inspector 1.4

[Pierre Dissaux]

AADL INSPECTOR 1.4:

Commercially Supported
Model Analysis Framework for 
Real-Time / Distributed / Partitionned 
Software Intensive Systems 

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



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

AADL Inspector Main Features:  
  a.. simulation output in VCD format (New) 
  b.. user input/output for the simulator (New) 
  c.. import of UML MARTE models (Upgraded) 
  d.. static rules checker (Upgraded) 
  e.. schedulability analysis with Cheddar (Upgraded) 
  f.. AADL run-time simulation with Marzhin (Upgraded) 
  g.. graphical time-lines display (Upgraded) 
  h.. customizable plugins and scripts (Upgraded) 
  i.. load AADL libraries in GitHub 
  j.. real-time and deployment wizards 
  k.. support of AADL 2.1 (SAE AS-5506B) 
  l.. support of the AADL Behavior Annex 
  m.. support of the AADL ARINC653 Annex  
  n.. support of the AADL Error Model Annex v1 and v2 (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/20140619/fbcf6705/attachment-0001.gif>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image[1].png
Type: image/png
Size: 191904 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20140619/fbcf6705/attachment-0001.png>