search

osate / ErrorModelV2

Old AADL EMV2 annex repository, kept for reference
3 stars 10 forks source link

FHA cannot be generated when using error type #38

Closed juli1 closed 11 years ago

juli1 commented 11 years ago

When generating the FHA, nothing is generated when using an error type on the error source feature. Please have a look at the following project: https://github.com/osate/examples/tree/master/error-model/lifevest And particularly at this file: https://github.com/osate/examples/blob/master/error-model/lifevest/visibility.aadl

On the other hand, if we use the flow identifier and a state, the FHA generation works. For example, the examples in https://github.com/osate/examples/tree/master/error-model/FHA are working but they use only the error source with a reference to the error state, not the error type.

juli1 commented 11 years ago

Sounds to be related to the stack mechanism to retrieve properties. Probably something around EMV2Properties in isErrorModelElementProperty or matchCIStack

juli1 commented 11 years ago

Should be fixed now.