Issue 2/2023
Emerging Challenges in Software Certification and Verification
Content (10 Articles)
Guest editorial: special issue on emerging challenges in software certification and verification
Luigi De Simone, Nuno Laranjeiro, Domenico Cotroneo
Continuous design control for machine learning in certified medical systems
Vlad Stirbu, Tuomas Granlund, Tommi Mikkonen
Ergo, SMIRK is safe: a safety case for a machine learning component in a pedestrian automatic emergency brake system
Markus Borg, Jens Henriksson, Kasper Socha, Olof Lennartsson, Elias Sonnsjö Lönegren, Thanh Bui, Piotr Tomaszewski, Sankar Raman Sathyamoorthy, Sebastian Brink, Mahshid Helali Moghadam
Dynamic and execution views to improve validation, testing, and optimization of autonomous driving software
Miguel Alcon, Hamid Tabani, Jaume Abella, Francisco J. Cazorla
Critical scenario identification for realistic testing of autonomous driving systems
Qunying Song, Kaige Tan, Per Runeson, Stefan Persson
Prioritization and parallel execution of test cases for certification testing of embedded systems
Şahin Dirim, Okan Örsan Özener, Hasan Sözer
Formal verification process of the compliance of a multicore AUTOSAR OS
Imane Haur, Jean-Luc Béchennec, Olivier H. Roux
Quality attribute traceability based on Clone Microtactics
Ehsan Sharifi, Ahmad Abdolahzadeh-Barforoosh
Assessing the specification of modelling language semantics: a study on UML PSSM
Márton Elekes, Vince Molnár, Zoltán Micskei