TY - GEN
T1 - Design for constraint violation detection in safety-critical systems
AU - Subramanian, S.
AU - Tsai, Wei Tek
AU - Rayadurgam, S.
N1 - Publisher Copyright:
© 1998 IEEE.
PY - 1998
Y1 - 1998
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 - https://www.scopus.com/pages/publications/85040576899
U2 - 10.1109/HASE.1998.731602
DO - 10.1109/HASE.1998.731602
M3 - 会议稿件
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 -