Abstract
In this paper, we discuss issues in designing run-time mechanisms for enhancing the dependability of safety-critical systems. Such mechanisms are aimed at failure avoidance and failure detection and can complement the other design methods in achieving higher dependability. We introduce a safety-constraint centered transformation methodology that is based on a system's safety constraint specification and the development of techniques for analyzing the constraints to derive the run-time checking schemes. We also discuss other issues that are important in designing run-time checks, such as the types of safety constraints that can arise, features that specification languages must have to specify such constraints, how such safety constraints can be violated, and run-time support required for the mechanisms
| Original language | English (US) |
|---|---|
| Title of host publication | Proceedings of the IEEE Symposium on Computer-Based Medical Systems |
| Publisher | IEEE |
| Pages | 18-23 |
| Number of pages | 6 |
| State | Published - 1996 |
| Externally published | Yes |
| Event | Proceedings of the 1996 9th IEEE Symposium on Computer-Based Medical Systems - Ann Arbor, MI, USA Duration: Jun 17 1996 → Jun 18 1996 |
Other
| Other | Proceedings of the 1996 9th IEEE Symposium on Computer-Based Medical Systems |
|---|---|
| City | Ann Arbor, MI, USA |
| Period | 6/17/96 → 6/18/96 |
ASJC Scopus subject areas
- Software