Behavior specification of a red-light violation warning application: an approach for specifying reactive vehicle-2-X communication applications

Authors:
Sebastian Röglinger;Christian Facchi
Affiliations:
Institute for Applied Research, Ingolstadt University of Applied Sciences, Ingolstadt, Germany;Institute for Applied Research, Ingolstadt University of Applied Sciences, Ingolstadt, Germany
Venue:
Nets4Cars/Nets4Trains'11 Proceedings of the Third international conference on Communication technologies for vehicles
Year:
2011

Citing 9
Cited 0

Hierarchical correctness proofs for distributed algorithms

PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Automatic functional test generation using the extended finite state machine model

DAC '93 Proceedings of the 30th international Design Automation Conference
A theory of timed automata

Theoretical Computer Science
The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
A UML statecharts semantics with message-passing

Proceedings of the 2002 ACM symposium on Applied computing
Reachability and Recurrence in Extended Finite State Machines: Modular Vector Addition Systems

CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff

Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
Practical Model-Based Testing: A Tools Approach

Practical Model-Based Testing: A Tools Approach
A tutorial survey on vehicular ad hoc networks

IEEE Communications Magazine

Quantified Score

Hi-index	0.00

Visualization

Abstract

Current intelligent transportation systems are based on Vehicle-2-X communication. They accomplish the next level of cooperative advanced driver assistance systems. Since these Vehicle-2-X communication applications are often located in the safety critical areas, high quality demands arise. One part of these requirements is the correct functional behavior. For its validation, a formal specification is required. In this paper, the Red-Light Violation Warning application is used. To specify all the functionality, Continuous-Time State Machines (CTSM) are introduced. Such, a formal specification of a Vehicle-2-X application is given and, consequently, no unintended ambiguities exist furthermore.