paper will greatly help to analyze the impact of
environmental variabilities on the safety of
autonomous platoon driving. And it can also support
safety engineers to develop realistic platoon driving
techniques.
In the future, we will conduct a study about the
real-time properties of safety guards. It is very critical
to satisfying the real-time constraints to support
spatial and temporal variabilities as well as
environmental variability in autonomous (platoon)
driving. Thus, we will research and develop time-
constrained safety guards based on simulation
techniques.
ACKNOWLEDGEMENTS
This research was supported by the National Research
Foundation of Korea (NRF) grant funded by the
Korea government (Ministry of Science and ICT).
(NRF-2020R1A2C1007571).
REFERENCES
Bagloee, S. A., Tavana, M., Asadi, M., & Oliver, T. (2016).
Autonomous vehicles: challenges, opportunities, and
future implications for transportation policies. Journal
of modern transportation, 24(4), 284-303.
Kalra, N. (2017). Challenges and approaches to realizing
autonomous vehicle safety. RAND.
ISO 26262 (2nd Edition). (2018). Road vehicles –
Functional Safety. International Organization for
Standardization.
ISO/PAS 21448. (2019). Road vehicles – Safety of the
Intended Functionality. International Organization for
Standardization.
ISO/SAE FDIS 21434. (n.d.). Road Vehicles –
Cybersecurity engineering. International Organization
for Standardization.
Koopman, P., & Wagner, M. (2016). Challenges in
autonomous vehicle testing and validation. SAE
International Journal of Transportation Safety, 4(1),
15-24.
Jia, D., Lu, K., Wang, J., Zhang, X., & Shen, X. (2015). A
survey on platoon-based vehicular cyber-physical
systems. IEEE communications surveys & tutorials,
18(1), 263-284.
Milanés, V., & Shladover, S. E. (2014). Modeling
cooperative and autonomous adaptive cruise control
dynamic responses using experimental data.
Transportation Research Part C: Emerging
Technologies, 48, 285-300.
Xiao, L., Wang, M., & van Arem, B. (2017). Realistic car-
following models for microscopic simulation of adaptive
and cooperative adaptive cruise control vehicles.
Transportation Research Record, 2623(1), 1-9.
Xu, L., Yin, G., & Zhang, H. (2014). Communication
information structures and contents for enhanced safety
of highway vehicle platoons. IEEE Transactions on
vehicular Technology, 63(9), 4206-4220.
Rahman, M. S., & Abdel-Aty, M. (2018). Longitudinal
safety evaluation of connected vehicles’ platooning on
expressways. Accident Analysis & Prevention, 117,
381-391.
Amoozadeh, M., Deng, H., Chuah, C. N., Zhang, H. M., &
Ghosal, D. (2015). Platoon management with
cooperative adaptive cruise control enabled by
VANET. Vehicular communications, 2(2), 110-123.
VENTOS. (n.d.). Vehicular NeTwork Open Simulator.
Retrieved March 21, 2021, from
https://maniam.github.io/VENTOS/
Ali, N., Hussain, M., & Hong, J. E. (2020). Analyzing
Safety of Collaborative Cyber-Physical Systems
Considering Variability. IEEE Access, 8, 162701-
162713.
Wu, M., Zeng, H., Wang, C., & Yu, H. (2017, June). Safety
guard: Runtime enforcement for safety-critical cyber-
physical systems. In 2017 54th ACM/EDAC/IEEE
Design Automation Conference (DAC) (pp. 1-6). IEEE.
Kress-Gazit, H., Wongpiromsarn, T., & Topcu, U. (2011).
Mitigating the state explosion problem of temporal
logic synthesis. IEEE Robotics & Automation
Magazine, 65-74.
Behrisch, M., Bieker, L., Erdmann, J., & Krajzewicz, D.
(2011). SUMO–simulation of urban mobility: an
overview
. In Proceedings of SIMUL 2011, The Third
International Conference on Advances in System
Simulation. ThinkMind.
SUMO. (n.d.). Simulation of Urban MObility. Retrieved
March 21, 2021, from
https://www.eclipse.org/sumo/
Varga, A. (2010). OMNeT++. In Modeling and tools for
network simulation (pp. 35-59). Springer, Berlin,
Heidelberg.
OMNET++. (n.d.). Objective Modular Network Testbed in
C++. Retrieved March 21, 2021, from
https://omnetpp.org/
Fenton, R. E., & Mayhan, R. J. (1991). Automated highway
studies at the Ohio State University-an overview. IEEE
transactions on Vehicular Technology, 40(1), 100-113.