[aadl-modeling]: EMV2 doubts

[Peter Feiler]

This mailing list is fine for questions.
If you encounter a bug you can report it as issue in our OSATE issue tracker at https://github.com/osate/osate2-core/issues (for any issue relating to OSATE
Or at https://github.com/osate/ErrorModelV2/issues (for EMV2 specific issues)

Peter

From: aadl-modeling-bounces+phf=sei.cmu.edu at lists.sei.cmu.edu [mailto:aadl-modeling-bounces+phf=sei.cmu.edu at lists.sei.cmu.edu] On Behalf Of Luciana Burgareli
Sent: Thursday, May 18, 2017 12:14 PM
To: AADL Modeling <aadl-modeling at lists.sei.cmu.edu>
Subject: [aadl-modeling]: EMV2 doubts

Hello,

We sent a question to the AADL list (https://lists.sei.cmu.edu/pipermail/aadl-modeling/2017-May/000019.html) last week, but we have not received an answer yet.

We have seen the issues reports in the ErrorModelV2 on GitHub/osate too. However we think that it is related to fixes and updates of the EMV2.

We have several doubts, but we have only found some articles and two reports about EMV2 [1,2].

Where do we send our doubts?

Best regards,

Luciana,
Nanci Naomi and Rovedy

[1] Peter Feiler, John Hudak, Julien Delange, David P. Gluch; Architecture Fault Modeling and Analysis with the Error Model Annex, Version 2, 2016

[2] Peter Feiler, John Hudak, Julien Delange, David P. Gluch; AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment, 2014
-------------- next part --------------
HTML attachment scrubbed and removed