Towards Formal Analysis of Vehicle Platoons Using Actor Model

Conference code: 163774; Export Date: 29 October 2020; Conference Paper; CODEN: 85ROA
Vehicle platooning is a promising technology to save the road capacity and also fuel consumption by reducing the distance between the vehicles in the platoon. The closer the cars are to each other, the closer we are to the goals. But, this will increase the need for safety verification. In this paper we use formal methods to verify safety distance in a platoon. To do so, we present a formal actor-based model for a vehicle platoon which incorporates vehicle dynamics and communication protocol. Also, we present a method to do the analysis based on model checking that applies mathematical analysis to reduce the state space. The method uses an upper bound and a lower bound value as network delay, and verifies if a specified vehicle in a platoon has enough distance to the leader during its traveling. © 2020 IEEE.

TEKNIK OCH TEKNOLOGIER Elektroteknik och elektronik Inbäddad systemteknik hsv//swe
ENGINEERING AND TECHNOLOGY Electrical Engineering, Electronic Engineering, Information Engineering Embedded Systems hsv//eng
Actor Model
CAM
Formal Verification
Timed Rebeca
Vehicle Platoon
Factory automation
Formal methods
Vehicles
Actor-based modeling
Formal analysis
Mathematical analysis
Network delays
Safety distances
Safety verification
Vehicle dynamics
Vehicle platoons
Model checking

Khosravi, R.University of Tehran , Tehran, Iran (författare)
Sirjani, MarjanMälardalens högskola,Inbyggda system,Vasteras, Sweden., Reykjavik University , 101 Reykjavík, Iceland(Swepub:mdh)msi05 (författare)
Khamespanah, E.University of Tehran , Tehran, Iran (författare)
University of Tehran , Tehran, IranInbyggda system (creator_code:org_t)

Ingår i:IEEE International Conference on Emerging Technologies and Factory Automation, ETFA: Institute of Electrical and Electronics Engineers Inc., s. 1820-18279781728189567

Om ämnet

TEKNIK OCH TEKNOLOGIER: TEKNIK OCH TEKNO ...; och Elektroteknik oc ...; och Inbäddad systemt ...

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.