Towards dynamic partitioning of reactive system behavior: a train controller case study

Authors:
Victor Winter;Deepak Kapur
Affiliations:
Department of Computer Science, University of Nebraska at Omaha;Department of Computer Science, University of New Mexico
Venue:
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Year:
2005

Citing 10
Cited 0

Functional documents for computer systems

Science of Computer Programming
Tabular representations in relational documents

Relational methods in computer science
On the construction of a domain language for a class of reactive systems

High integrity software
A refinement-based approach to deriving train controllers

High integrity software
Verification of a controller for bart: an approach based on horn logic and denotational semantics

High integrity software
Passive Safety in High-Consequence Systems

Computer
The BRAT case study

Formal methods for embedded distributed systems
Formal specification and refinement of a safe train control function

Formal methods for embedded distributed systems
From UML to Z

Formal methods for embedded distributed systems
Modeling and verifying behavioral aspects

Formal methods for embedded distributed systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Based on our investigations of a case study of controllers for train systems [6,7,13,14], we present a model of reactive systems which emphasizes dynamic partitioning of system behavior into normal and abnormal. The class of reactive systems considered are non-strict in the sense that their behavior is not entirely governed by past events; instead, future events must also be considered in the design of controllers for such systems.