search

santoslab / aadl-translator

Eclipse Public License 1.0
5 stars 3 forks source link

System-level safety constraints #17

Open sprocter opened 9 years ago

sprocter commented 9 years ago

There should be a notion of system-level safety constraints. These are constraints on the behavior of the system that, if enforced, will guarantee the system's safety.

  1. App level safety constraints will likely need to be traceable to system level safety constraints