A One-Dimensional Sparse Space-Time Specification of the Generalized Railroad Crossing

Abstract

Modeling and reasoning about critical infrastructure systems is a complex endeavor. Various calculi and algebras have been crafted to help specify physical properties such as time and space, but these do not always translate well between physical entities and their conceptual specifications. Although real-world critical infrastructure systems involve components of both time and space, many existing specification methods focus most strongly on the temporal components, leaving spatial details largely ignored or forcing then to fit within the confines of the temporal specification. This paper presents a one-dimensional sparse space-time specification created using a spatial-temporal logic in which real-world constraints are incorporated in the logic using the next operator. The simplicity and utility of the spatial-temporal formalism is demonstrated by applying it to the generalized railroad crossing problem.

Meeting Name

6th Annual IFIP Working Group 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2012 (2012: Mar. 19-21, Washington, DC)

Department(s)

Computer Science

Keywords and Phrases

Assertion Checking; Generalized Railroad Crossing; Sparse Space-Time

International Standard Book Number (ISBN)

978-364235763-3

International Standard Serial Number (ISSN)

1868-4238; 1868-422X

Document Type

Article - Conference proceedings

Document Version

Citation

File Type

text

Language(s)

English

Rights

© 2012 International Federation for Information Processing (IFIP), All rights reserved.

Publication Date

01 Mar 2012

Link to Full Text

Share

 
COinS