Run-time assertion schemes for safety-critical systems

Ramakrishna V. Vishnuvajjala, Satish Subramanian, Wei Tek Tsai, Lynn Elliott, Ramin Mojdehbakhsh

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations


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 languageEnglish (US)
Title of host publicationProceedings of the IEEE Symposium on Computer-Based Medical Systems
Number of pages6
StatePublished - 1996
Externally publishedYes
EventProceedings of the 1996 9th IEEE Symposium on Computer-Based Medical Systems - Ann Arbor, MI, USA
Duration: Jun 17 1996Jun 18 1996


OtherProceedings of the 1996 9th IEEE Symposium on Computer-Based Medical Systems
CityAnn Arbor, MI, USA

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'Run-time assertion schemes for safety-critical systems'. Together they form a unique fingerprint.

Cite this