[sae-aadl] April 2013 AADL standards meeting and User Day material

[Peter Feiler]

All,

Presentation material from the April 2013 AADL User Day and Standards meeting is now available at https://wiki.sei.cmu.edu/aadl/index.php/April_2013_User_Day.

Lots of interesting user presentations on code generation, multi-core modeling, secure systems, medical systems.

Updates on tool support around OSATE2 (safety and reliability analysis support), AADL Inspector with plugins, and progress on Adele graphical editor integration.

Updates on Error Model V2 Annex, Requirements Annex, Code Generation Annex, Constraint Language Annex, AADL V2.1 errata, a possible Synchronous System Timing Annex, and thoughts on improved consistency in the AADL Graphical notation.

Peter for the AS2C team
-------------- next part --------------
HTML attachment scrubbed and removed