Open sprocter opened 9 years ago
I bound the human-readable cause description and the EMv2 error-type cause together into a record type (in santoslab/aadl-map-apps@7eb8f6d2be0dd8a80417a53253b4416ebe88bddd), and I'm now looking at overhauling the error type library to align with this diagram, from Engineering a Safer World:
STPA has a pretty significant list of causality guidewords, and it would be great to add them to the occurrence property definition. It'll be tricky, though, because the guidewords may need to be instantiated / parameterized to be more specific, and I'm not sure how that will look in AADL. Perhaps another record type?