English
Related papers

Related papers: ATRIUM -- Architecting Under Uncertainty for ISO 2…

200 papers

Security Assurance Cases (SAC) are structured bodies of arguments and evidence used to reason about security properties of a certain artefact. SAC are gaining focus in the automotive domain as the need for security assurance is growing due…

Cryptography and Security · Computer Science 2024-09-10 Mazen Mohamad

Autonomous driving functions (ADFs) in public traffic have to comply with complex system requirements that are based on knowledge of experts from different disciplines, e.g., lawyers, safety experts, psychologists. In this paper, we present…

Logic in Computer Science · Computer Science 2022-09-29 Dominik Grundt , Anna Köhne , Ishan Saxena , Ralf Stemmer , Bernd Westphal , Eike Möhlmann

The intersection of Safety of Intended Functionality (SOTIF) and Functional Safety (FuSa) analysis of driving automation features has traditionally excluded Quality Management (QM) components (components that has no ASIL requirements…

Software Engineering · Computer Science 2026-04-01 Alireza Abbaspour , Shabin Mahadevan , Kilian Zwirglmaier , Jeff Stafford

The automotive industry has witnessed an increasing level of development in the past decades; from manufacturing manually operated vehicles to manufacturing vehicles with a high level of automation. With the recent developments in…

Human-Computer Interaction · Computer Science 2021-11-11 Daniel Omeiza , Helena Webb , Marina Jirotka , Lars Kunze

Industrial Safety deals with the physical integrity of humans, machines and the environment when they interact during production scenarios. Industrial Safety is subject to a rigorous certification process that leads to inflexible settings,…

Traffic simulation is essential for autonomous vehicle (AV) development, enabling comprehensive safety evaluation across diverse driving conditions. However, traditional rule-based simulators struggle to capture complex human interactions,…

The widespread adoption of autonomous systems depends on providing guarantees of safety and functional correctness, at both design time and runtime. Information about the extent to which functional requirements can be met in combination…

Robotics · Computer Science 2016-07-25 Jeremy Morse , Dejanira Araiza-Illan , Jonathan Lawry , Arthur Richards , Kerstin Eder

Agile techniques recently have received attention in developing safety-critical systems. However, a lack of empirical knowledge of performing safety assurance techniques in practice, especially safety analysis into agile development…

Software Engineering · Computer Science 2018-04-06 Yang Wang , Jasmin Ramadani , Stefan Wagner

The state-of-the-art driving automation system demands extreme computational resources to meet rigorous accuracy and latency requirements. Though emerging driving automation computing platforms are based on ASIC to provide better…

Hardware Architecture · Computer Science 2021-04-22 Yuqiong Qi , Yang Hu , Haibin Wu , Shen Li , Haiyu Mao , Xiaochun Ye , Dongrui Fan , Ninghui Sun

Widespread adoption of autonomous cars will require greater confidence in their safety than is currently possible. Certified control is a new safety architecture whose goal is two-fold: to achieve a very high level of safety, and to provide…

With an increasing degree of automation, automated vehicle systems become more complex in terms of functional components as well as interconnected hardware and software components. Thus, holistic systems engineering becomes a severe…

Systems and Control · Computer Science 2018-04-25 Gerrit Bagschik , Marcus Nolte , Susanne Ernst , Markus Maurer

Classical approaches and procedures for testing of automated vehicles of SAE levels 1 and 2 were based on defined scenarios with specific maneuvers, depending on the function under test. For automated driving systems (ADS) of SAE level 3+,…

Robotics · Computer Science 2021-05-24 Demin Nalic , Hexuan Li , Arno Eichberger , Christoph Wellershaus , Aleksa Pandurevic , Branko Rogic

The introduction of remote attestation (RA) schemes has allowed academia and industry to enhance the security of their systems. The commercial products currently available enable only the validation of static properties, such as…

Cryptography and Security · Computer Science 2019-04-04 Flavio Toffalini , Eleonora Losiouk , Andrea Biondo , Jianying Zhou , Mauro Conti

In the next Vehicle generations, connected and highly developed driving cars will have an important impact on the networking architecture and the interconnection between ECUs(Electronic Control Unit). The automotive industry begins to…

Systems and Control · Electrical Eng. & Systems 2021-09-21 Youssef Elkharaz , Saad Motahhir , Abdelaziz Elghzizal

Context: Continuous Software Engineering is increasingly adopted in highly regulated domains, raising the need for continuous compliance. Adherence to especially security regulations -- a major concern in highly regulated domains -- renders…

Software Engineering · Computer Science 2024-08-02 Florian Angermeir , Jannik Fischbach , Fabiola Moyón , Daniel Mendez

Driving Automation Systems (DAS) are subject to complex road environments and vehicle behaviors and increasingly rely on sophisticated sensors and Artificial Intelligence (AI). These properties give rise to unique safety faults stemming…

Machine Learning · Computer Science 2024-01-10 Krzysztof Czarnecki , Hiroshi Kuwajima

Recent advances in machine learning technologies and sensing have paved the way for the belief that safe, accessible, and convenient autonomous vehicles may be realized in the near future. Despite tremendous advances within this context,…

The interest in autonomous vehicles (AVs) for critical missions, including transportation, rescue, surveillance, reconnaissance, and mapping, is growing rapidly due to their significant safety and mobility benefits. AVs consist of complex…

Cryptography and Security · Computer Science 2025-09-23 Md Wasiul Haque , Md Erfan , Sagar Dasgupta , Md Rayhanur Rahman , Mizanur Rahman

AI coding assistants like GitHub Copilot are rapidly transforming software development, but their safety remains deeply uncertain-especially in high-stakes domains like cybersecurity. Current red-teaming tools often rely on fixed benchmarks…

Cryptography and Security · Computer Science 2025-08-07 Xiangzhe Xu , Guangyu Shen , Zian Su , Siyuan Cheng , Hanxi Guo , Lu Yan , Xuan Chen , Jiasheng Jiang , Xiaolong Jin , Chengpeng Wang , Zhuo Zhang , Xiangyu Zhang

Achieving safe and robust autonomy is the key bottleneck on the path towards broader adoption of autonomous vehicles technology. This motivates going beyond extrinsic metrics such as miles between disengagement, and calls for approaches…

‹ Prev 1 3 4 5 6 7 10 Next ›