References

  1. Neil Boudette (2021): ``It Happened So Fast'': Inside a Fatal Tesla Autopilot Accident. https://www.nytimes.com/2021/08/17/business/tesla-autopilot-accident.html.
  2. Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay & Zheng Wang (2012): UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata. In: Herbert Wiklicky & Mieke Massink: Proceedings of the 10th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'2012), Tallinn, Estonia, EPTCS 85, pp. 1–16, doi:10.4204/EPTCS.85.1.
  3. David Champelovier, Xavier Clerc, Hubert Garavel, Yves Guerte, Christine McKinty, Vincent Powazny, Frédéric Lang, Wendelin Serwe & Gideon Smeding (2021): Reference Manual of the LNT to LOTOS Translator (Version 7.0). INRIA, Grenoble, France.
  4. Biao Chen & TengFei Li (2021): Formal Modeling and Verification of Autonomous Driving Scenario. In: Proceedings of the International Information Communication and Software Engineering (ICICSE'2021). IEEE, pp. 313–321, doi:10.1109/ICICSE52190.2021.9404128.
  5. Alexey Dosovitskiy, German Ros, Felipe Codevilla, Antonio Lopez & Vladlen Koltun (2017): CARLA: An Open Urban Driving Simulator. In: 1st Annual Conference on Robot Learning, pp. 1–16. Available at https://arxiv.org/abs/1711.03938.
  6. Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli & Sanjit A. Seshia (2019): Scenic: A Language for Scenario Specification and Scene Generation. In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, New York, NY, USA, pp. 63–78, doi:10.1145/3314221.3314633.
  7. Hubert Garavel, Frédéric Lang, Radu Mateescu & Wendelin Serwe (2013): CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes. Springer International Journal on Software Tools for Technology Transfer (STTT) 15(2), pp. 89–107, doi:10.1007/s10009-012-0244-z.
  8. Hubert Garavel, Frédéric Lang & Wendelin Serwe (2017): From LOTOS to LNT. In: ModelEd, TestEd, TrustEd – Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, Lecture Notes in Computer Science 10500. Springer, pp. 3–26, doi:10.1007/978-3-319-68270-9_1.
  9. Jean-Baptiste Horel, Christian Laugier, Lina Marsso, Radu Mateescu, Lucie Muller, Anshul Paigwar, Alessandro Renzaglia & Wendelin Serwe (2022): Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles. In: Proceedings of the 25th International Conference on Design, Automation & Test in Europe: Autonomous Systems Design DATE ASD'2022, IEEE 000. Springer, pp. 06.
  10. Félix Ingrand (2019): Recent Trends in Formal Validation and Verification of Autonomous Robots Software. In: Proceedings of the 3rd International Conference on Robotic Computing (IRC'19), Naples, Italy. IEEE, pp. 321–328, doi:10.1109/IRC.2019.00059.
  11. Fatma Jebali (2016): Formal Framework for Modelling and Verifying Globally Asynchronous Locally Synchronous Systems. Grenoble Alpes University, France. Available at https://tel.archives-ouvertes.fr/tel-01679311.
  12. Fatma Jebali, Frédéric Lang & Radu Mateescu (2016): Formal Modelling and Verification of GALS systems using GRL and CADP. Formal Aspects of Computing 28(5), pp. 767–804, doi:10.1007/s00165-016-0373-3.
  13. Lina Marsso (2019): On Model-based Testing of GALS Systems. (Etude de génération de tests à partir d'un modèle pour les systèmes GALS). Grenoble Alpes University, France. Available at https://tel.archives-ouvertes.fr/tel-02948083.
  14. Lina Marsso, Radu Mateescu, Ioannis Parissis & Wendelin Serwe (2019): Asynchronous Testing of Synchronous Components in GALS Systems. In: Wolfgang Ahrendt & Silvia Lizeth Tapia Tarifa: Proceedings of the 15th International Conference on Integrated Formal Methods (IFM'2019), Bergen, Norway, LNS 11918. Springer, pp. 360–378, doi:10.1007/978-3-030-34968-4_20.
  15. Lina Marsso, Radu Mateescu & Wendelin Serwe (2018): TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation. In: Dirk Beyer & Marieke Huisman: Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18), Thessaloniki, Greece, Lecture Notes in Computer Science 10806. Springer, pp. 211–228, doi:10.1007/978-3-319-89963-3_13.
  16. Lina Marsso, Radu Mateescu & Wendelin Serwe (2020): Automated Transition Coverage in Behavioural Conformance Testing. In: 32nd IFIP Int. Conference on Testing Software and Systems (ICTSS'20), pp. 219–235, doi:10.1007/978-3-030-64881-7_14.
  17. Radu Mateescu & Damien Thivolle (2008): A Model Checking Language for Concurrent Value-Passing Systems. In: Jorge Cuéllar, T. S. E. Maibaum & Kaisa Sere: Proceedings of the 15th International Symposium on Formal Methods (FM'08), Turku, Finland, Lecture Notes in Computer Science 5014. Springer, pp. 148–164, doi:10.1007/978-3-540-68237-0_12.
  18. Stefan Riedmaier, Thomas Ponn, Dieter Ludwig, Bernhard Schick & Frank Diermeyer (2020): Survey on Scenario-Based Safety Assessment of Automated Vehicles. IEEE Access 8, pp. 87456–87477, doi:10.1109/ACCESS.2020.2993730.
  19. World Forum for the Harmonization of Vehicle Regulations (2021): New Assessment/Test Method for Automated Driving (NATM) - Master Document. Technical Report. UNECE. Available at https://unece.org/transport/documents/2021/04/working-documents/grva-new-assessmenttest-method-automated-driving-natm.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org