search

osate / ErrorModelV2

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

consistency check action too aggressive in checking coverage #127

Open reteprelief opened 7 years ago

reteprelief commented 7 years ago

It currently checks that each transition covers all error events and all error sinks. It should check that for a given error state there exists an outgoing transition that references each error event/incoming propagation.

In general we need to revisit all consistency checking rules as to whether they are too strict. See http://aadl.info/aadl/osate/osate-doc/osate-emv2/consistency.html for the consistency rules being checked. We also need to make sure they align with the consistency rules in the standard.

reteprelief commented 7 years ago

Temporarily removed action from menu.