Abstract
Autonomous vehicles perceive the environment with different kinds of sensors (camera, radar, lidar...). They must evolve in an unpredictable environment and a wide context of dynamic execution, with strong interactions. Therefore, ensuring the functionality and safety of the autonomous driving system has become one of the focuses of research in the field. In order to guarantee the safety of the autonomous vehicle, its occupants and the others road users, it is necessary to validate the decisions of the algorithms for all the situations that will be met by the vehicle. These situations are described and generated as different scenarios. The main objective of this work is to generate all these scenarios and find out the critical ones. Therefore, we use a scenario-generation methodology which uses the Performance Evaluation Process Algebra (PEPA) for modelling the transitions between the driving scenes. To apply our approach, we consider a running example about a riding autonomous vehicle in the context of a three-lane highway.
Supported by IRT SystemX.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Armand, A., Filliat, D., Guzman, J.I.: Ontology-based context awareness for driving assistance systems. In: 2014 IEEE Intelligent Vehicles Symposium Proceedings, Dearborn, MI, USA, 8–11 June 2014, pp. 227–233 (2014)
Bagschik, G., Menzel, T., Maurer, M.: Ontology based scene creation for the development of automated vehicles. CoRR Computing Research Repository, abs/1704.01006 (2017)
Bhandal, C., Bouroche, M., Hughes, A.: A process algebraic description of a temporal wireless network protocol. ECEASST 45 (2011)
Cerone, A., Zhao, Y.: Stochastic modelling and analysis of driver behaviour. ECEASST 69 (2013)
Chen, W., Kloul, L.: An ontology-based approach to generate the advanced driver assistance use cases of highway traffic. In: Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2018, vol. 2: KEOD, Seville, Spain, 18–20 September 2018, pp. 73–81 (2018)
Chen, W., Kloul, L.: An advanced driver assistance test cases generation methodology based on highway traffic situation description ontologies. In: Communications in Computer and Information Science. Springer (2019, to appear)
Furda, A., Vlacic, L.B.: Towards increased road safety: real-time decision making for driverless city vehicles. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, San Antonio, TX, USA, 11–14 October 2009, pp. 2421–2426 (2009)
Furda, A., Vlacic, L.B.: Enabling safe autonomous driving in real-world city traffic using multiple criteria decision making. IEEE Intell. Transport. Syst. Mag. 3(1), 4–17 (2011)
Hillston, J.: A compositional approach to performance modelling. Ph.D. thesis, University of Edinburgh, UK (1994)
Hillston, J., Gilmore, S.: Pepa tools (2014). http://www.dcs.ed.ac.uk/pepa/tools/
Hülsen, M., Zöllner, J.M., Weiss, C.: Traffic intersection situation description ontology for advanced driver assistance. In: IEEE Intelligent Vehicles Symposium (IV), Baden-Baden, Germany, 5–9 June 2011, pp. 993–999 (2011)
Hummel, B., Thiemann, W., Lulcheva, I.: Scene understanding of urban road intersections with description logic. In: Logic and Probability for Scene Interpretation (2008)
Kloul, L.: From performance analysis to performance engineering: some ideas and experiments. Ph.D. thesis (2006)
Lee, C., Lin, C., Shiu, B.: Autonomous vehicle parking using hybrid artificial intelligent approach. J. Intell. Rob. Syst. 56(3), 319–343 (2009)
Ministère de l’écologie, Equipements des routes et des rues: Arrêté du 16 février 1988 relatif à l’approbation de modifications de l’instruction interministérielle sur la signalisation routiere, instruction interministerielle sur la signalisation routiere. Journal officiel du 12 mars 1988 (1988)
Ministère de l’équipement, des Transports, du Logement, du Tourisme et de la Mer: Décret n\(^\circ \) 2000-1355 du 30/12/2000 paru au JORF n\(^\circ \) 0303 du 31 décembre 2000 (2000)
Morignot, P., Nashashibi, F.: An ontology-based approach to relax traffic regulation for autonomous vehicle assistance. CoRR Computing Research Repository, abs/1212.0768 (2012)
Pollard, E., Morignot, P., Nashashibi, F.: An ontology-based model to determine the automation level of an automated vehicle for co-driving. In: Proceedings of the 16th International Conference on Information Fusion, FUSION 2013, Istanbul, Turkey, 9–12 July 2013, pp. 596–603 (2013)
Prasad, K.V.S.: Broadcasting in time. In: Ciancarini, P., Hankin, C. (eds.) COORDINATION 1996. LNCS, vol. 1061, pp. 321–338. Springer, Heidelberg (1996). https://doi.org/10.1007/3-540-61052-9_54
Uschold, M., Gruninger, M.: Ontologies: principles, methods and applications. Knowledge Eng. Rev. 11(2), 93–155 (1996)
Varricchio, V., Chaudhari, P., Frazzoli, E.: Sampling-based algorithms for optimal motion planning using process algebra specifications. In: 2014 IEEE International Conference on Robotics and Automation, ICRA 2014, Hong Kong, China, 31 May–7 June 2014, pp. 5326–5332 (2014)
Zhao, L., Ichise, R., Mita, S., Sasaki, Y.: Core ontologies for safe autonomous driving. In: Proceedings of the ISWC 2015 Posters & Demonstrations Track co-located with the 14th International Semantic Web Conference (ISWC-2015), Bethlehem, PA, USA, 11 October 2015 (2015)
Acknowledgements
This research work has been carried out in the framework of IRT SystemX, Paris-Saclay, France, and therefore granted with public funds within the scope of the French Program “Investissements d’Avenir”.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Chen, W., Kloul, L. (2019). Stochastic Modelling of Autonomous Vehicles Driving Scenarios Using PEPA. In: Papadopoulos, Y., Aslansefat, K., Katsaros, P., Bozzano, M. (eds) Model-Based Safety and Assessment. IMBSA 2019. Lecture Notes in Computer Science(), vol 11842. Springer, Cham. https://doi.org/10.1007/978-3-030-32872-6_21
Download citation
DOI: https://doi.org/10.1007/978-3-030-32872-6_21
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-32871-9
Online ISBN: 978-3-030-32872-6
eBook Packages: Computer ScienceComputer Science (R0)