[aadl]: AADL Inspector 1.0

Pierre Dissaux pierre.dissaux at ellidiss.com
Tue Aug 9 11:48:16 EDT 2011


Dear AADL user,

Ellidiss is happy to announce the availability of our new product: AADL 
Inspector

AADL Inspector is a light-weight standalone analysis tool for textual AADL 
specifications
It includes a set of static rules checkers, Cheddar for schedulability 
analysis and Marzhin for dynamic simulation.
Additional plug-ins can easily be added to fit corporate or project specific 
analysis requirements.
Please contact Ellidiss' technical support at aadl at ellidiss.fr for further 
details about these extended capabilities.

AADL Inspector is available for download at: 
http://www.ellidiss.com/downloads.asp
and comes with a temporary evaluation license.

Best regards

Pierre Dissaux
Ellidiss Technologies





More information about the Sae-aadl-users mailing list