[aadl-modeling]: error event

[Luciana Burgareli]

Hello,

Peter, thank you very much for your help.

We have other doubt. In the GPS system example (Figure 67 - page 81 and
Figure 70 - page 84) [1], there are error events and transitions. It is
obvious that the error event Sensor1Failed is related to the subcomponent
sensor1. However, how is the error event Sensor1Failed linked to a fail in
the subcomponent sensor1? Which is the annotation of the EMV2 to do this
link?



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
-------------- next part --------------
HTML attachment scrubbed and removed