Advanced Search

Content Type

Topics

Publication Date

Temporal Logic Case Study

  • Author(s):
  • Publish Date:
  • Publisher: Software Engineering Institute
  • SEI Identifier: CMU/SEI-89-TR-024
  • Type: Technical Report
  • Description: This report is a case study applying temporal logic to specify the operation of a bank of identical elevators servicing a number of floors in a building.

Abstract

This report is a case study applying temporal logic to specify the operation of a bank of identical elevators servicing a number of floors in a building. The goal of the study was to understand the application of temporal logic in a problem domain that is appropriate for the method, and to determine some of the strengths and weaknesses of temporal logic in this domain. The case study uses a finite state machine language to build a model of the system specification, and verifies that the temporal logic specifications are consistent using this model. The specification aspires to be complete, consistent, and unambiguous.

Cite This Report

Show Citation Formats

SEI

Wood, William. Temporal Logic Case Study (CMU/SEI-89-TR-024 ). Software Engineering Institute, Carnegie Mellon University, 1989. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10999

IEEE

Wood. William, "Temporal Logic Case Study," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-89-TR-024 , 1989. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10999

APA

Wood, William. (1989). Temporal Logic Case Study (CMU/SEI-89-TR-024 ). Retrieved September 22, 2014, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10999

CHI

William Wood. Temporal Logic Case Study (CMU/SEI-89-TR-024 ). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 1989. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10999

MLA

Wood, William. 1989. Temporal Logic Case Study (Technical Report CMU/SEI-89-TR-024 ). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10999