[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