[aadl]: Save the date - AADL tutorial @ ESweek

Julien Delange jdelange at sei.cmu.edu
Mon Jun 13 12:05:19 EDT 2016


For information, there will be a tutorial about AADL and safety/security modeling at ESweek (October 2-7) in Pittsburgh. See http://esweek.org/
During this week, the following AADL-related events will take place:

-          AADL standardization committee meeting

-          HILT 2016 conference  http://sigada.org/conf/hilt2016/

-          AADL tutorial for safety and security (date to be confirmed)

The tutorial will cover the following topics:

-          AADL core language

-          AADL Error-Model Annex

-          Safety Analysis: Fault Impact Analysis and Fault Tree Analysis

-          Security Analysis: Attack Surface & Attack Impact

-          Code Generation for secure platform

Many events to attend, I hope to see you in Pittsburgh in October.

Julien.

-------------- next part --------------
HTML attachment scrubbed and removed


More information about the Sae-aadl-users mailing list