Design for constraint violation detection in safety-critical systems

S. Subramanian; Wei Tek Tsai; S. Rayadurgam

doi:10.1109/HASE.1998.731602

Design for constraint violation detection in safety-critical systems

S. Subramanian, Wei Tek Tsai, S. Rayadurgam

University of Minnesota Twin Cities

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Scopus citations

Abstract

In safety critical systems, certain safety constraints must be satisfied before an operation can be performed. Such constraints typically depend on the state of the system at the instant of invocation of the operation. Further, for a specific version in a family of related systems, its intended application and the individual user profiles may play a role in determining the constraints. To promote reuse while allowing customizability, a good design should decouple the operations from their associated constraints. Also, the increased flexibility should not entail significant execution time and memory overheads. The paper presents one such design of an object oriented framework for constraint verification and applies it to our motivational problem in the context of implantable cardiac devices. It also serves a broader objective of cataloging the experience gained in developing safety critical systems. Such a knowledge base will be of practical value to the developer community.

Original language	English (US)
Title of host publication	Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	109-116
Number of pages	8
ISBN (Electronic)	0818692219, 9780818692215
DOIs	https://doi.org/10.1109/HASE.1998.731602
State	Published - Jan 1 1998
Event	3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998 - Washington, United States Duration: Nov 13 1998 → Nov 14 1998

Publication series

Name	Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998
Volume	1998-November

Conference

Conference	3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998
Country/Territory	United States
City	Washington
Period	11/13/98 → 11/14/98

Bibliographical note

Publisher Copyright:
© 1998 IEEE.

Copyright:
Copyright 2018 Elsevier B.V., All rights reserved.

Access

10.1109/HASE.1998.731602

OpenUrl availability

Full text

Cite this

Subramanian, S., Tsai, W. T., & Rayadurgam, S. (1998). Design for constraint violation detection in safety-critical systems. In Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998 (pp. 109-116). Article 731602 (Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998; Vol. 1998-November). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/HASE.1998.731602

Design for constraint violation detection in safety-critical systems. / Subramanian, S.; Tsai, Wei Tek; Rayadurgam, S.
Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998. Institute of Electrical and Electronics Engineers Inc., 1998. p. 109-116 731602 (Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998; Vol. 1998-November).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Subramanian, S, Tsai, WT & Rayadurgam, S 1998, Design for constraint violation detection in safety-critical systems. in Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998., 731602, Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998, vol. 1998-November, Institute of Electrical and Electronics Engineers Inc., pp. 109-116, 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998, Washington, United States, 11/13/98. https://doi.org/10.1109/HASE.1998.731602

Subramanian S, Tsai WT, Rayadurgam S. Design for constraint violation detection in safety-critical systems. In Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998. Institute of Electrical and Electronics Engineers Inc. 1998. p. 109-116. 731602. (Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998). doi: 10.1109/HASE.1998.731602

Subramanian, S. ; Tsai, Wei Tek ; Rayadurgam, S. / Design for constraint violation detection in safety-critical systems. Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998. Institute of Electrical and Electronics Engineers Inc., 1998. pp. 109-116 (Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998).

@inproceedings{dcac241ad43f4a7f9a1ae0b219b9f40b,

title = "Design for constraint violation detection in safety-critical systems",

abstract = "In safety critical systems, certain safety constraints must be satisfied before an operation can be performed. Such constraints typically depend on the state of the system at the instant of invocation of the operation. Further, for a specific version in a family of related systems, its intended application and the individual user profiles may play a role in determining the constraints. To promote reuse while allowing customizability, a good design should decouple the operations from their associated constraints. Also, the increased flexibility should not entail significant execution time and memory overheads. The paper presents one such design of an object oriented framework for constraint verification and applies it to our motivational problem in the context of implantable cardiac devices. It also serves a broader objective of cataloging the experience gained in developing safety critical systems. Such a knowledge base will be of practical value to the developer community.",

author = "S. Subramanian and Tsai, {Wei Tek} and S. Rayadurgam",

note = "Publisher Copyright: {\textcopyright} 1998 IEEE. Copyright: Copyright 2018 Elsevier B.V., All rights reserved.; 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998 ; Conference date: 13-11-1998 Through 14-11-1998",

year = "1998",

month = jan,

day = "1",

doi = "10.1109/HASE.1998.731602",

language = "English (US)",

series = "Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "109--116",

booktitle = "Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998",

}

TY - GEN

T1 - Design for constraint violation detection in safety-critical systems

AU - Subramanian, S.

AU - Tsai, Wei Tek

AU - Rayadurgam, S.

PY - 1998/1/1

Y1 - 1998/1/1

N2 - In safety critical systems, certain safety constraints must be satisfied before an operation can be performed. Such constraints typically depend on the state of the system at the instant of invocation of the operation. Further, for a specific version in a family of related systems, its intended application and the individual user profiles may play a role in determining the constraints. To promote reuse while allowing customizability, a good design should decouple the operations from their associated constraints. Also, the increased flexibility should not entail significant execution time and memory overheads. The paper presents one such design of an object oriented framework for constraint verification and applies it to our motivational problem in the context of implantable cardiac devices. It also serves a broader objective of cataloging the experience gained in developing safety critical systems. Such a knowledge base will be of practical value to the developer community.

AB - In safety critical systems, certain safety constraints must be satisfied before an operation can be performed. Such constraints typically depend on the state of the system at the instant of invocation of the operation. Further, for a specific version in a family of related systems, its intended application and the individual user profiles may play a role in determining the constraints. To promote reuse while allowing customizability, a good design should decouple the operations from their associated constraints. Also, the increased flexibility should not entail significant execution time and memory overheads. The paper presents one such design of an object oriented framework for constraint verification and applies it to our motivational problem in the context of implantable cardiac devices. It also serves a broader objective of cataloging the experience gained in developing safety critical systems. Such a knowledge base will be of practical value to the developer community.

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

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

U2 - 10.1109/HASE.1998.731602

DO - 10.1109/HASE.1998.731602

M3 - Conference contribution

AN - SCOPUS:85040576899

T3 - Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998

SP - 109

EP - 116

BT - Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998

Y2 - 13 November 1998 through 14 November 1998

ER -

Design for constraint violation detection in safety-critical systems

Abstract

Publication series

Conference

Bibliographical note

Access

OpenUrl availability

Other files and links

Fingerprint

Cite this