5 citations · 9 across the 10 of their papers we have counts for
4 papers · 1 filter
Workflow-Level Design Principles for Trustworthy GenAI in Automotive System Engineering
Chih-Hong Cheng, Brian Hsuan-Cheng Liao, Adam Molin +1
The adoption of large language models in safety-critical system engineering is constrained by trustworthiness, traceability, and alignment with established verification practices.…
Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus
Lev Sorokin, Radouane Bouchekir, Tewodros A. Beyene +2
An assurance case has become an integral component for the certification of safety-critical systems. While manually defining assurance case patterns can be not avoided, system-spec…
Simulation-based Safety Assurance for an AVP System incorporating Learning-Enabled Components
Hasan Esen, Brian Hsuan-Cheng Liao
There have been major developments in Automated Driving (AD) and Driving Assist Systems (ADAS) in recent years. However, their safety assurance, thus methodologies for testing, ver…
OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems
Lev Sorokin, Tiziano Munaro, Damir Safin +2
Search-based software testing (SBT) is an effective and efficient approach for testing automated driving systems (ADS). However, testing pipelines for ADS testing are particularly…