search menu icon-carat-right cmu-wordmark

An Engineering Method for Safety Region Development

Technical Report
This report studies tolerance of semantic faults, one of the crucial issues in the Simplex architecture.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-99-TR-018
DOI (Digital Object Identifier)
10.1184/R1/6571910.v1

Abstract

In this report, we study tolerance of semantic faults, one of the crucial issues in the Simplex architecture. In particular, we examine semantic faults that cause the controlled device to be unsafe (i.e., unable to carry out its normal operation) and eventually cause the device to become damaged. We also consider fault detection as a safety check. For the class of control systems operating around an equilibrium, the objective of maintaining the safety of the controlled device is formulated as a stabilization problem, and the safety of the controlled device is tested against the stability region of the device under the safety control. To establish the stability region, we apply the Lyapunov stability theorem and linear matrix inequality (LMI) methodologies. It is shown that the stability region for a given safety controller as well as a safety control law can be systematically derived using LMI-based approaches. We conclude the report with a summary of the procedure for deriving the safety check and safety controller for a given application.

Cite This Technical Report

Seto, D., & Sha, L. (1999, August 1). An Engineering Method for Safety Region Development. (Technical Report CMU/SEI-99-TR-018). Retrieved July 21, 2024, from https://doi.org/10.1184/R1/6571910.v1.

@techreport{seto_1999,
author={Seto, Danbing and Sha, Lui},
title={An Engineering Method for Safety Region Development},
month={Aug},
year={1999},
number={CMU/SEI-99-TR-018},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://doi.org/10.1184/R1/6571910.v1},
note={Accessed: 2024-Jul-21}
}

Seto, Danbing, and Lui Sha. "An Engineering Method for Safety Region Development." (CMU/SEI-99-TR-018). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, August 1, 1999. https://doi.org/10.1184/R1/6571910.v1.

D. Seto, and L. Sha, "An Engineering Method for Safety Region Development," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-99-TR-018, 1-Aug-1999 [Online]. Available: https://doi.org/10.1184/R1/6571910.v1. [Accessed: 21-Jul-2024].

Seto, Danbing, and Lui Sha. "An Engineering Method for Safety Region Development." (Technical Report CMU/SEI-99-TR-018). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Aug. 1999. https://doi.org/10.1184/R1/6571910.v1. Accessed 21 Jul. 2024.

Seto, Danbing; & Sha, Lui. An Engineering Method for Safety Region Development. CMU/SEI-99-TR-018. Software Engineering Institute. 1999. https://doi.org/10.1184/R1/6571910.v1