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.
Behavior Specification of a Red-Light Violation Warning Application – An Approach for Specifying Reactive Vehicle-2-X Communication Applications
Communication Technologies for Vehicles ; 3 ; 106-118
Lecture Notes in Computer Science ; 6596 , 3
2011-01-01
13 pages
Aufsatz/Kapitel (Buch)
Elektronische Ressource
Englisch
Modeling Reactive System , Vehicle-2-X Communication , Finite State Machine , Red-Light Violation Warning Computer Science , Computer Communication Networks , Special Purpose and Application-Based Systems , Management of Computing and Information Systems , Personal Computing , Automotive Engineering , Communications Engineering, Networks
British Library Conference Proceedings | 2011
|Europäisches Patentamt | 2022
|Intersection signal violation vehicle warning device and method
Europäisches Patentamt | 2022
|Intersection signal violation vehicle warning device and method
Europäisches Patentamt | 2021
|VEHICLE POSITION SPECIFYING DEVICE AND VEHICLE POSITION SPECIFYING METHOD
Europäisches Patentamt | 2017
|