English
Related papers

Related papers: Security Risk Analysis Methodologies for Automotiv…

200 papers

A key goal of the System-Theoretic Process Analysis (STPA) hazard analysis technique is the identification of loss scenarios - causal factors that could potentially lead to an accident. We propose an approach that aims to assist engineers…

Logic in Computer Science · Computer Science 2023-06-08 Craig Innes , Andrew Ireland , Yuhui Lin , Subramanian Ramamoorthy

Assuring safety of artificial intelligence (AI) applied to safety-critical systems is of paramount importance. Especially since research in the field of automated driving shows that AI is able to outperform classical approaches, to handle…

Computers and Society · Computer Science 2025-04-28 Lars Ullrich , Michael Buchholz , Klaus Dietmayer , Knut Graichen

As autonomous driving technology continues to advance, end-to-end models have attracted considerable attention owing to their superior generalisation capability. Nevertheless, such learning-based systems entail numerous safety risks…

Robotics · Computer Science 2025-05-22 Hongrui Kou , Zhouhang Lyu , Ziyu Wang , Cheng Wang , Yuxin Zhang

We propose a holistic methodology for designing automotivesystems that consider security a central concern at every design stage.During the concept design, we model the system architecture and definethe security attributes of its…

The growing advancements in Autonomous Vehicles (AVs) have emphasized the critical need to prioritize the absolute safety of AV maneuvers, especially in dynamic and unpredictable environments or situations. This objective becomes even more…

Robotics · Computer Science 2023-05-30 Dimia Iberraken , Lounis Adouane

Collective remote attestation (CRA) is a security service that aims to efficiently identify compromised (often low-powered) devices in a (heterogeneous) network. The last few years have seen an extensive growth in CRA protocol proposals,…

Cryptography and Security · Computer Science 2024-07-15 Sharar Ahmadi , Jay Le-Papin , Liqun Chen , Brijesh Dongol , Sasa Radomirovic , Helen Treharne

Ensuring the safety of autonomous vehicles (AVs) is of utmost importance and testing them in simulated environments is a safer option than conducting in-field operational tests. However, generating an exhaustive test suite to identify…

Software Engineering · Computer Science 2023-11-30 Neelofar , Aldeida Aleti

Despite the increasing testing operations of automated vehicles on public roads, media reports on incidents show that safety issues caused by automated driving systems persist to this day. Manufacturers face high development uncertainty…

Systems and Control · Electrical Eng. & Systems 2025-07-08 Marvin Loba , Nayel Fabian Salem , Marcus Nolte , Andreas Dotzler , Dieter Ludwig , Markus Maurer

Access to resources by users may need to be granted only upon certain conditions and contexts, perhaps particularly in cyber-physical settings. Unfortunately, creating and modifying context-sensitive access control solutions in dynamic…

Cryptography and Security · Computer Science 2021-08-31 Jinxin Liu , Murat Simsek , Burak Kantarci , Melike Erol-Kantarci , Andrew Malton , Andrew Walenstein

Probabilistic security assessment and real-time dynamic security assessments (DSA) are promising to better handle the risks of system operations. The current methodologies of security assessments may require many time-domain simulations for…

Systems and Control · Electrical Eng. & Systems 2023-01-06 Jochen L. Cremer , Goran Strbac

Safety architectures play a crucial role in the safety assurance of automated driving vehicles (ADVs). They can be used as safety envelopes of black-box ADV controllers, and for graceful degradation from one ODD to another. Building on our…

Robotics · Computer Science 2023-08-22 Clovis Eberhart , Jérémy Dubut , James Haydon , Ichiro Hasuo

We present a practical verification method for safety analysis of the autonomous driving system (ADS). The main idea is to build a surrogate model that quantitatively depicts the behaviour of an ADS in the specified traffic scenario. The…

Artificial Intelligence · Computer Science 2022-11-24 Renjue Li , Tianhang Qin , Pengfei Yang , Cheng-Chao Huang , Youcheng Sun , Lijun Zhang

Static Application Security Testing (SAST) is a popular quality assurance technique in software engineering. However, integrating SAST tools into industry-level product development and security assessment poses various technical and…

Software Engineering · Computer Science 2021-03-25 Anh Nguyen-Duc , Manh Viet Do , Quan Luong Hong , Kiem Nguyen Khac

This article provides a taxonomy for risk-based testing that serves as a tool to define, tailor, or assess risk-based testing approaches in general and to instantiate risk-based testing approaches for the current testing standards…

Software Engineering · Computer Science 2019-05-28 Jürgen Großmann , Michael Felderer , Johannes Viehmann , Ina Schieferdecker

Runtime assurance (RTA) addresses the problem of keeping an autonomous system safe while using an untrusted (or experimental) controller. This can be done via logic that explicitly switches between the untrusted controller and a safety…

Logic in Computer Science · Computer Science 2023-06-08 Kristina Miller , Christopher K. Zeitler , William Shen , Mahesh Viswanathan , Sayan Mitra

The paper introduces an approach to telematics devices data application in automotive insurance. We conduct a comparative analysis of different types of devices that collect information on vehicle utilization and driving style of its…

Applications · Statistics 2019-10-07 Konstantin Korishchenko , Ivan Stankevich , Nikolay Pilnik , Daria Petrova

Automated vehicles (AVs) are expected to increase traffic safety and traffic efficiency, among others by enabling flexible mobility-on-demand systems. This is particularly important in Singapore, being one of the world's most densely…

Robotics · Computer Science 2021-12-20 J. Ploeg , E. de Gelder , M. Slavík , E. Querner , T. Webster , N. de Boer

Vehicle safety depends on (a) the range of identified hazards and (b) the operational situations for which mitigations of these hazards are acceptably decreasing risk. Moreover, with an increasing degree of autonomy, risk ownership is…

Software Engineering · Computer Science 2018-02-26 Mario Gleirscher , Stefan Kugele

System security assurance provides the confidence that security features, practices, procedures, and architecture of software systems mediate and enforce the security policy and are resilient against security failure and attacks. Alongside…

Cryptography and Security · Computer Science 2022-08-04 Ankur Shukla , Basel Katt , Livinus Obiora Nweke , Prosper Kandabongee Yeng , Goitom Kahsay Weldehawaryat

In order to optimize the usage of testing efforts and to assess risks of software-based systems, risk-based testing uses risk (re-)assessments to steer all phases in a test process. Several risk-based testing approaches have been proposed…

Software Engineering · Computer Science 2018-01-23 Michael Felderer , Juergen Grossmann , Ina Schieferdecker
‹ Prev 1 4 5 6 7 8 10 Next ›