[aadl]: Additional info for the AADL Requirements Annex Tutorial

Mon Feb 4 11:55:27 EST 2013

Hi all,

A few more information on the tutorial of next Thursday, for those want 
to attend.

Mac platform users may have encountered a problem when installing 
RDALTE. This is because the SDK features (binaries with source) 
erroneously restrict the tool to the Windows and Linux platforms. The 
fix is to install only the binaries for RDALTE by checking everything in 
the update site without the RDALTE SDK. This is shown in the following 
screen shot:

The tutorial will present the modeling of the Isolette example from the 
FAA Requirements Engineering Management Handbook. You may download the 
handbook here:
http://www.faa.gov/aircraft/air_cert/design_approvals/air_software/media/AR-08-32.pdf. 
Another interesting document is the findings of the Requirements 
Engineering Management Handbook describing the development of the best 
practices: 
http://www.faa.gov/aircraft/air_cert/design_approvals/air_software/media/AR-08-34.pdf

You may also want to install the Adele graphical editor if you want to 
view AADL models graphically. To do this, add the following two update 
sites to Eclipse:
Adele: http://aadl.ellidiss.fr/
Topcased: 
http://topcased-mm.gforge.enseeiht.fr/indigo/release/topcased5.2/main/

Then select the Adele site and ensure "Contact all update sites..." is 
checked (because Adele needs features from Topcased) and complete the 
wizard.

Thanks and see you at the tutorial!

Dominique.

Le 24/01/2013 05:06, Lewis, Bruce AMRDEC a écrit :
> Classification: UNCLASSIFIED
> Caveats: NONE
>
> Here's the next draft of the meeting agenda.  It includes information
> for loading the toolset for the Requirements Annex Toolset Tutorial.
> Also the web meeting info.  Also it shifts the Synchronous Annex back to
> Monday afternoon and the Generative Integration Annex to Tuesday
> morning.
>
> Bruce
>
>
>
> -----Original Message-----
> From: Lewis, Bruce AMRDEC
> Sent: Monday, January 21, 2013 11:27 AM
> To: 'sae-aadl at lists.sei.cmu.edu'; 'sae-aadl-users at lists.sei.cmu.edu'
> Cc: 'Jean-Pierre Talpin'; 'Hall, Brendan (MN65)'; 'Mike Whalen'; 'John
> Hatcliff'; 'Thomas Noll'; 'Silvia Abrahao'; 'nbrock at draper.com'; 'May,
> Michael J Dr OSD ATL'; 'Emilio Insfran'; 'Preston, John'; 'Preston, John
> CIV (US)'; Boydston, Alex K AMRDEC; 'Don Ward'
> Subject: AADL meeting agenda draft 5 Feb 4-7 in Valencia (UNCLASSIFIED)
>
> Classification: UNCLASSIFIED
> Caveats: NONE
>
> All,
>
> Here's the agenda draft 5.  It includes shifting the meeting back one
> hour to fit better with the expected schedule in Valencia, updates to
> some times/days in the schedule, provides the phone information and the
> web meeting info.
>
> Julien and Emilio are organizing a dinner for Sunday night and a walking
> tour of the old city.  Also they are arranging our lunches each day with
> a restaurant.  So we need to know how many are coming.  They are also
> using the list to set up the wireless and wired connections.  Please add
> your name to the list if you have not yet.
>
> https://wiki.sei.cmu.edu/aadl/index.php/Registration_for_Winter_2013_mee
> ting#Attendees_list
>
> Thanks and see you soon,
>
> Bruce
>
> -----Original Message-----
> From: Lewis, Bruce AMRDEC
> Sent: Wednesday, January 16, 2013 11:46 AM
> To: Lewis, Bruce AMRDEC; 'sae-aadl at lists.sei.cmu.edu';
> 'sae-aadl-users at lists.sei.cmu.edu'
> Cc: 'Jean-Pierre Talpin'; 'Hall, Brendan (MN65)'; 'Mike Whalen'; 'John
> Hatcliff'; 'Thomas Noll'; 'Silvia Abrahao'; 'nbrock at draper.com'; 'May,
> Michael J Dr OSD ATL'; 'Emilio Insfran'; 'Preston, John'; 'Preston, John
> CIV (US)'; Boydston, Alex K AMRDEC; 'Don Ward'
> Subject: RE: AADL meeting agenda draft 4 Feb 4-7 in Valencia
> (UNCLASSIFIED)
>
> Classification: UNCLASSIFIED
> Caveats: NONE
>
> Here's the file.
>
> -----Original Message-----
> From: Lewis, Bruce AMRDEC
> Sent: Wednesday, January 16, 2013 11:23 AM
> To: Lewis, Bruce AMRDEC; 'sae-aadl at lists.sei.cmu.edu';
> 'sae-aadl-users at lists.sei.cmu.edu'
> Cc: 'Jean-Pierre Talpin'; 'Hall, Brendan (MN65)'; 'Mike Whalen'; 'John
> Hatcliff'; 'Thomas Noll'; 'Silvia Abrahao'; 'nbrock at draper.com'; 'May,
> Michael J Dr OSD ATL'; 'Emilio Insfran'; 'Preston, John'; 'Preston, John
> CIV (US)'; Boydston, Alex K AMRDEC; 'Don Ward'
> Subject: AADL meeting agenda draft 4 Feb 4-7 in Valencia (UNCLASSIFIED)
>
> Classification: UNCLASSIFIED
> Caveats: NONE
>
> Dear All,
>
> Additional presentations added.  Some presentations shifted, including
> the Synchronous Annex and Generative Integration Annex discussions.
> Schedule is now full.
>
> Bruce
>
>   
>
> -----Original Message-----
> From: Lewis, Bruce AMRDEC
> Sent: Thursday, January 10, 2013 9:17 AM
> To: Lewis, Bruce AMRDEC; 'sae-aadl at lists.sei.cmu.edu';
> 'sae-aadl-users at lists.sei.cmu.edu'
> Cc: 'Jean-Pierre Talpin'; 'Hall, Brendan (MN65)'; 'Mike Whalen'; 'John
> Hatcliff'; 'ramon.serna at ttech.com'; 'Viet Yen Nguyen'; 'Thomas Noll';
> 'Silvia Abrahao'; 'nbrock at draper.com'; 'May, Michael J Dr OSD ATL';
> 'Emilio Insfran'; 'Preston, John'; 'Preston, John CIV (US)'; Boydston,
> Alex K AMRDEC; Don Ward
> Subject: AADL meeting Feb 4-7 in Valencia (UNCLASSIFIED)
>
> Classification: UNCLASSIFIED
> Caveats: NONE
>
> Dear All,
>
> Please send me presentation titles for contributions you can make to the
> Feb 4-7 meeting.  I'll be putting together the first draft agenda for
> the meeting today.  John Preston will be joining us again.  We expect to
> have material to review before the meeting for the constraints annex,
> the white paper for the synchronous annex, the error modeling annex, and
> the requirements annex with an updated requirements toolset.  I've
> included an email from Dominique which contains info for obtaining the
> toolset and the Requirements annex.
>
> See you in Valencia,
>
> Bruce
>
>
>
> -----Original Message-----
> From: Lewis, Bruce AMRDEC
> Sent: Saturday, December 15, 2012 5:52 PM
> To: 'sae-aadl at lists.sei.cmu.edu'; 'sae-aadl-users at lists.sei.cmu.edu'
> Cc: 'Jean-Pierre Talpin'; 'Hall, Brendan (MN65)'; 'Mike Whalen'; 'John
> Hatcliff'; 'ramon.serna at ttech.com'; 'Viet Yen Nguyen'; 'Thomas Noll';
> 'Silvia Abrahao'; 'nbrock at draper.com'; 'May, Michael J Dr OSD ATL';
> 'Emilio Insfran'; 'Preston, John'; Preston, John CIV (US)
> Subject: RE: Recommended hotels for the AADL meeting Feb 4-7 in Valencia
> (UNCLASSIFIED)
>
> Classification: UNCLASSIFIED
> Caveats: NONE
>
> Here's a webpage for the meeting.
>
> Dear Bruce,
>
> we have prepared a web site with information about the meeting,
> including transportation, more info about hotels and tourist
> information.
>
> http://users.dsic.upv.es/workshops/aadl2013/
>
> Please let us know if you need any more information.
>
> Regards,
>
> Emilio
>
> -----Original Message-----
> From: Lewis, Bruce AMRDEC
> Sent: Wednesday, December 12, 2012 8:20 AM
> To: Lewis, Bruce AMRDEC; 'sae-aadl at lists.sei.cmu.edu';
> 'sae-aadl-users at lists.sei.cmu.edu'
> Cc: 'Jean-Pierre Talpin'; 'Hall, Brendan (MN65)'; 'Mike Whalen'; 'John
> Hatcliff'; 'ramon.serna at ttech.com'; 'Viet Yen Nguyen'; 'Thomas Noll';
> 'Silvia Abrahao'; 'nbrock at draper.com'; 'May, Michael J Dr OSD ATL';
> 'Emilio Insfran'; Preston, John
> Subject: Recommended hotels for the AADL meeting Feb 4-7 in Valencia
> (UNCLASSIFIED)
>
> Classification: UNCLASSIFIED
> Caveats: NONE
>
> I've attached the email from Emilio recommending the hotels for our
> meeting in Valencia.  Thanks for your participation.
>
> Bruce
>
> -----Original Message-----
> From: Lewis, Bruce AMRDEC
> Sent: Friday, November 30, 2012 12:00 PM
> To: Lewis, Bruce AMRDEC; 'sae-aadl at lists.sei.cmu.edu';
> 'sae-aadl-users at lists.sei.cmu.edu'
> Cc: 'Jean-Pierre Talpin'; 'Hall, Brendan (MN65)'; 'Mike Whalen'; 'John
> Hatcliff'; 'ramon.serna at ttech.com'; 'Viet Yen Nguyen'; 'Thomas Noll';
> 'Silvia Abrahao'; 'nbrock at draper.com'; 'May, Michael J Dr OSD ATL';
> Emilio Insfran
> Subject: RE: Can we shift AADL Jan 28-meeting to Feb 4 (UNCLASSIFIED)
>
> Classification: UNCLASSIFIED
> Caveats: NONE
>
> All,
>
> We will switch to the Feb 4-7 dates for the AADL meeting in Valencia,
> Spain.
>
> Please reserve this time on your calendar.  Looking forward to our
> meeting,
>
> Bruce
>
>
> Classification: UNCLASSIFIED
> Caveats: NONE
>
>
>
> Classification: UNCLASSIFIED
> Caveats: NONE
>
>
>
> Classification: UNCLASSIFIED
> Caveats: NONE
>
>
>
> Classification: UNCLASSIFIED
> Caveats: NONE
>
>
>
> Classification: UNCLASSIFIED
> Caveats: NONE
>
>
>
> Classification: UNCLASSIFIED
> Caveats: NONE
>
>
>
> Classification: UNCLASSIFIED
> Caveats: NONE
>

-- 
Dominique BLOUIN

Ingénieur de Recherche / Research Engineer

Université de Bretagne Sud
Lab-STICC / CNRS UMR 3192

Centre de Recherches
BP92116 / 56321 LORIENT Cedex
Tel:0297874616 / Fax:0297874527

http://www.labsticc.fr/

-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/png
Size: 124476 bytes
Desc: not available
Url : http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20130204/d4e703d3/attachment-0002.png 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: jedfagdh.png
Type: image/png
Size: 33432 bytes
Desc: not available
Url : http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20130204/d4e703d3/attachment-0003.png 