[sae-aadl] 2013-01-23 Error annex questions

[Myron Hecht]

Hello Peter, Bruce, et. al.
Good morning all
 
First of all, thanks for the continuing improvment on the error annex.  I
hope to be successful in making contact via Skype and LIve Meeting at 2:30
Valencia time (5:30 AM Pacifc Time).  However, in the interim, I have four
questions (which could be interpreted as comments):
 
Section E.5:  Error type tokens:  The text says it is a token is an instance
of a type, but it's not clear to me how they are used or why they are
necessary.  An example might help.
 
Section E.8: 
 
1. I couldn't find the concept of stochastic distributions for  as
occurrence properties for error events in state machines (e.g., 

Fail: error event {Occurrence => poisson lambda  };  This concept is
extremely important for quantitative modeling (note that it is related to
but distinct from the notion of a duration and branch probability).  Did I
miss something?

 

2.  Error states can be working or non-working.  Can more properties be
specified (e.g., "hazardous", etc.)?

 

3.  As was the case in section E.5, I'm afraid I don't understand the role
of tokens and how they are to be used in state machine model definitions (as
opposed to how the models are analyzed).

 

I apologize for the lateness of these remarks, but I hope they are correct
and useful nonetheless.

 

Regards

 

 

Myron Hecht

 

 

 

  

 

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