Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Technical Report

An Engineering Method for Safety Region Development

  • August 1999
  • By Danbing Seto, Lui R. Sha
  • 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
  • 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.

  • Download

Cite This Report

SEI

Seto, Danbing; & Sha, Lui. An Engineering Method for Safety Region Development. CMU/SEI-99-TR-018. Software Engineering Institute, Carnegie Mellon University. 1999. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=13483

IEEE

Seto. Danbing, and Sha. Lui, "An Engineering Method for Safety Region Development," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-99-TR-018, 1999. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=13483

APA

Seto, Danbing., & Sha, Lui. (1999). An Engineering Method for Safety Region Development (CMU/SEI-99-TR-018). Retrieved April 30, 2017, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=13483

CHI

Danbing Seto, & Lui Sha. An Engineering Method for Safety Region Development (CMU/SEI-99-TR-018). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 1999. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=13483

MLA

Seto, Danbing., & Sha, Lui. 1999. An Engineering Method for Safety Region Development (Technical Report CMU/SEI-99-TR-018). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=13483

BibTex

@techreport{SetoAnEngineering1999,
title={An Engineering Method for Safety Region Development},
author={Danbing Seto and Lui Sha},
year={1999},
number={CMU/SEI-99-TR-018},
institution={Software Engineering Institute, Carnegie Mellon University},
address={Pittsburgh, PA},
url={http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=13483} }