Sciweavers

Share
HASE
1998
IEEE

Design for Constraint Violation Detection in Safety-Critical Systems

10 years 8 months ago
Design for Constraint Violation Detection in Safety-Critical Systems
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. This 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 safetycritical systems. Such a knowledge base will be of practical value to the developer community.
Satish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsa
Added 24 Aug 2010
Updated 24 Aug 2010
Type Conference
Year 1998
Where HASE
Authors Satish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsai
Comments (0)
books