Traffic Flow by Data Flow

Document type:: Technical Report
Author(s):: Jan Philipps; Alexander Schmidt
Title:: Traffic Flow by Data Flow
Abstract:: The traffic light controller of a simple two-way intersection is specified by data flow components. The focus of this work is on the use of readable description techniques, such as state transition diagrams and tables, to hide the mathematical background of the specifications. A second main point is the use of automatic formal verification tools for the proof of some simple behavioral properties of the specification to validate the specifications.
Keywords:: Tabular Specification; Model Checking; Traffic Control
Year:: 1997
Year / month:: 1997-04-01 00:00:00
Pages:: 39
BibTeX

Occurrences: