| Autor: |
Mekki-Mokhtar, Amina, Blanquart, Jean-Paul, Guiochet, Jeremie, Powell, David, Roy, Matthieu |
| Zdroj: |
2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing; 1/ 1/2012, p61-69, 9p |
| Abstrakt: |
A systematic process for eliciting safety trigger conditions is presented. Starting from a risk analysis of the monitored system, critical transitions to catastrophic system states are identified and handled in order to specify safety margins on them. The conditions for existence of such safety margins are given and an alternative solution is proposed if no safety margin can be defined. The proposed process is illustrated on a robotic rollator. [ABSTRACT FROM PUBLISHER] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
