[aadl]: Spring meeting & Error Annex tools

[Julien Delange]

Dear all,

The next AADL meeting will be held in Jacksonville, Florida, on April 22-25[1]. The agenda will be drafted soon, Bruce Lewis would send drafts and revisions according to the topics and the presentations. If you would like to make a presentation and/or are interested in a particular topic, please let us know and contact Bruce Lewis. We would like to prepare the meeting and list all potential discussions and errata you would like to address (models, examples, use-case, etc.). For that purpose, a dedicated wiki page [2] lists all topics that would be addressed during the meeting (including errata, etc.). Please add your own ideas/suggestions/errata.

Also, we would like to let you know that new functions in OSATE related to the Error-Model Annex are available:

-          Fault and Hazard Analysis report: create excel-based report for analyzing faults and hazards

-          Visualization of errors and faults propagations in the Instance Model Viewer (IMV)

-          Reliability evaluation (such as the approach used for the Reliability Block Diagram - see http://en.wikipedia.org/wiki/Reliability_block_diagram )

-          Export to Markov Chain and PRISM using both Discrete Time Markov Chain (DTMC) and Continuous Time Markov Chain (CTMC) (cf. http://www.prismmodelchecker.org/ ). It is used for making probabilistic evaluation of system reliability.
These new functions are available now in the testing release (you can have information about the testing release on [3] and download the nightly builds on [4]), as part of the OSATE plugins. However, they must be considered as a draft. Thus, having a user feedback about their relevance and use would be appreciated and we invite potential interested OSATE users to test these new functions so that we can discuss how to improve them during the meeting as well. Related documentation is included within OSATE, with model examples and appropriate modeling patterns.

Finally, as started some weeks ago, a new OSATE stable version (2.0.2) will be released after the meeting (one or two weeks). Thus, the meeting can be an opportunity to share user experience and report appropriate feedback to enhance OSATE. Please add in the topics and discussions page [2] any tooling concern you would like to discuss, we will be glad to discuss that during the face-to-face meeting.

Thanks for your contribution/help and hope to see you in Jacksonville,

Best regards,


[1] https://wiki.sei.cmu.edu/aadl/index.php/AADL_meetings
[2] https://wiki.sei.cmu.edu/aadl/index.php/Topics_and_discussions_for_the_2013_Spring_meeting
[3] https://wiki.sei.cmu.edu/aadl/index.php/Testing_Version
[4] http://www.aadl.info/aadl/osate/testing/products/
-------------- next part --------------
HTML attachment scrubbed and removed