santoslab / aadl-translator

Eclipse Public License 1.0
5 stars 3 forks source link

Change occurrence causes to enumerated type #13

Open sprocter opened 9 years ago

sprocter commented 9 years ago

Currently the occurrence property's "Cause" subproperty is a string. Ideally it would be an enumerated type, similar to the "Kind" subproperty. A list of causes, specific to the two type of components being joined by the connection, can be found on page 223 of Leveson's "Engineering a Safer World."