Temporal Logic Case Study

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. Keywords: Computer program development; Logic.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1989
Accession Number
ADA219019

Entities

People

  • William G. Wood

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Case Studies
  • Classification
  • Complex Systems
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Department Of Defense
  • Engineering
  • Engineers
  • Language
  • Machine Languages
  • Programming Languages
  • Push Buttons
  • Software Development
  • Specifications
  • Systems Engineering

Fields of Study

  • Engineering

Readers

  • Computational Modeling and Simulation
  • Computer Programming and Software Development.
  • Distributed Systems and Data Platform Development