Learning about AADL+AGREE

[Avi Shaked]

Hi,

I am trying to learn how to use AADL+AGREE, and I was wondering if there is any planned  course/seminar/meeting that I can attend to accelerate the learning curve as well as discuss ideas and implementations with AADL/AGREE researchers.

Any ideas?

Best regards,

Avi

_____________

Avi Shaked

Senior Research Associate, Department of Computer Science 

University of Oxford

[Isaac]

Hi Avi,

Do you already have familiarity with AADL and you would like to better understand how to use AGREE?  Or are both AADL and AGREE new to you?  If you aren't familiar with AADL, I would definitely recommend starting there.  There are a few books and online tutorials out there that should get you up to speed quickly. Once you're comfortable with AADL concepts, the AGREE User's Guide is currently the best resource out there for learning AGREE.  There are also several academic papers on the AGREE website.  There aren't any online tutorials for AGREE, but this is something that would be nice to have.

I hope this helps!

-Isaac

[jjhudak]

Just saw this post.  As far as courses for AADL, the Software Engineering Institute (SEI) of Carnegie Mellon University has a eLearning self-paced course entitled Modeling System Architectures Using AADL. 

https://www.sei.cmu.edu/education-outreach/courses/course.cfm?courseCode=V40

The course focuses on presenting the AADL in detail coupled with modeling exercises using OSATE.

Another source of information about AADL can be found here:

http://www.openaadl.org/

There is a tutorial here:

http://www.openaadl.org/post/2013/07/11/aadl-esweek/

Within OSATE -> Help there are instructions to download and install Agree.

I do not know of an AGREE tutorial but here is the home page for Loonwerks with lots of papers about AGREE.

http://loonwerks.com/tools/agree.html

The AGREE Users guide is a good source of information about how to use AGREE.

https://github.com/loonwerks/AGREE/blob/master/com.rockwellcollins.atc.agree.doc/src-gen/AGREE_Users_Guide.pdf

Good luck

John

[Avi Shaked]

Thank you, Isaac!

[Avi Shaked]

Thanks, John. That CMU course might be relevant. Did you take it? Can anyone attest to its value (it's quite expensive, so I want to know it's effective)?

[jjhudak]

Hi Avi:

I just saw your followup message.  I am a bit biased since I am a co-author of the course.  It covers ~95% of the AADL language.  There are 7 exercises that lead one through building a cruise control system starting with a top-level logical view,  and then leads one through constructing a view of the hardware/processor architecture, and runtime thread model view and then explores the processor  utilization as a result of binding various threads to different processors (e.g. explores different thread deployment scenarios).  The exercises feature 6-7 types of analysis on can perform on the resultant architecture models.  We have had over 130 people from industry take the eLearning version, and have taught in-person version to approximately 200+ people in academia and industry.  

Hope this helps.

John