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

3 Citations (Scopus)

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 languageEnglish (US)
Title of host publicationProceedings of the IEEE Symposium on Computer-Based Medical Systems
PublisherIEEE
Pages18-23
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

Other

OtherProceedings of the 1996 9th IEEE Symposium on Computer-Based Medical Systems
CityAnn Arbor, MI, USA
Period6/17/966/18/96

Fingerprint

Specification languages
Security systems
Specifications

ASJC Scopus subject areas

  • Software

Cite this

Vishnuvajjala, R. V., Subramanian, S., Tsai, W. T., Elliott, L., & Mojdehbakhsh, R. (1996). Run-time assertion schemes for safety-critical systems. In Proceedings of the IEEE Symposium on Computer-Based Medical Systems (pp. 18-23). IEEE.

Run-time assertion schemes for safety-critical systems. / Vishnuvajjala, Ramakrishna V.; Subramanian, Satish; Tsai, Wei Tek; Elliott, Lynn; Mojdehbakhsh, Ramin.

Proceedings of the IEEE Symposium on Computer-Based Medical Systems. IEEE, 1996. p. 18-23.

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

Vishnuvajjala, RV, Subramanian, S, Tsai, WT, Elliott, L & Mojdehbakhsh, R 1996, Run-time assertion schemes for safety-critical systems. in Proceedings of the IEEE Symposium on Computer-Based Medical Systems. IEEE, pp. 18-23, Proceedings of the 1996 9th IEEE Symposium on Computer-Based Medical Systems, Ann Arbor, MI, USA, 6/17/96.
Vishnuvajjala RV, Subramanian S, Tsai WT, Elliott L, Mojdehbakhsh R. Run-time assertion schemes for safety-critical systems. In Proceedings of the IEEE Symposium on Computer-Based Medical Systems. IEEE. 1996. p. 18-23
Vishnuvajjala, Ramakrishna V. ; Subramanian, Satish ; Tsai, Wei Tek ; Elliott, Lynn ; Mojdehbakhsh, Ramin. / Run-time assertion schemes for safety-critical systems. Proceedings of the IEEE Symposium on Computer-Based Medical Systems. IEEE, 1996. pp. 18-23
@inproceedings{5340c14b958d43619094c270f951c5f6,
title = "Run-time assertion schemes for safety-critical systems",
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",
author = "Vishnuvajjala, {Ramakrishna V.} and Satish Subramanian and Tsai, {Wei Tek} and Lynn Elliott and Ramin Mojdehbakhsh",
year = "1996",
language = "English (US)",
pages = "18--23",
booktitle = "Proceedings of the IEEE Symposium on Computer-Based Medical Systems",
publisher = "IEEE",

}

TY - GEN

T1 - Run-time assertion schemes for safety-critical systems

AU - Vishnuvajjala, Ramakrishna V.

AU - Subramanian, Satish

AU - Tsai, Wei Tek

AU - Elliott, Lynn

AU - Mojdehbakhsh, Ramin

PY - 1996

Y1 - 1996

N2 - 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

AB - 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

UR - http://www.scopus.com/inward/record.url?scp=0030388301&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0030388301&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0030388301

SP - 18

EP - 23

BT - Proceedings of the IEEE Symposium on Computer-Based Medical Systems

PB - IEEE

ER -