[aadl]: AADL meeting in Toulouse, AADL Inspector 1.0, OSATE 2.0 (UNCLASSIFIED)

Lewis, Bruce AMRDEC bruce.a.lewis at us.army.mil
Thu Aug 11 15:06:52 EDT 2011


Classification: UNCLASSIFIED
Caveats: NONE

Dear AADL users, committee,

At the next meeting in Toulouse, France, Oct 18-21 we will schedule a
session for feedback to Ellidiss and the SEI (on OSATE V2) for any
issues you discover.  OSATE V2 is not out yet but is expected soon so
you will have some time to evaluate.  We want to encourage your
evaluation and it will be valuable to have a time for feedback.  Thanks
Pierre, for making the AADL Inspector available. Other tool developers
can use this time for feedback as well, just let me know so I can
schedule sufficient time.

Also, with Aerotech consuming hotel rooms in Toulouse, I would recommend
early reservations.

There is no fee for attending the Aerotech conference for committee
participants and your attendance also enables attending Aerotech for one
day as well as the committee meetings.  That is perfect for hearing the
Model Based Engineering track which covers a full day.  There are a
number of AADL presentations that day.  So one day of our schedule will
be for attending Aerotech.

We will be meeting at the conference center, Daurant room, level 3.

As usual, you can find information for registration at the SAE AS-2C web
page, under meeting information.

http://www.sae.org/servlets/works/committeeHome.do?comtID=TEAAS2C#

Thanks,

Bruce




-----Original Message-----
From: sae-aadl-users-bounces+bruce.a.lewis=us.army.mil at lists.sei.cmu.edu
[mailto:sae-aadl-users-bounces+bruce.a.lewis=us.army.mil at lists.sei.cmu.e
du] On Behalf Of Pierre Dissaux
Sent: Tuesday, August 09, 2011 10:48 AM
To: sae-aadl at lists.sei.cmu.edu; sae-aadl-users at lists.sei.cmu.edu
Subject: [aadl]: AADL Inspector 1.0

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




Classification: UNCLASSIFIED
Caveats: NONE





More information about the Sae-aadl-users mailing list