Dependable Computing - EDCC 2021 Workshops
DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings
Page
%P
-
Article
Open AccessImpact of the COVID-19 pandemic on Bordetella pertussis infections in England
In March 2020, England went into its first lockdown in response to the COVID-19 pandemic. Restrictions eased temporarily, followed by second and third waves in October 2020 and January 2021. Recent data showed...
-
Chapter and Conference Paper
Logically Sound Arguments for the Effectiveness of ML Safety Measures
We investigate the issues of achieving sufficient rigor in the arguments for the safety of machine learning functions. By considering the known weaknesses of DNN-based 2D bounding box detection algorithms, we ...
-
Chapter and Conference Paper
Formally Compensating Performance Limitations for Imprecise 2D Object Detection
In this paper, we consider the imperfection within machine learning-based 2D object detection and its impact on safety. We address a special sub-type of performance limitations related to the misalignment of b...
-
Chapter
Safety Assurance of Machine Learning for Perception Functions
The latest generation of safety standards applicable to automated driving systems require both qualitative and quantitative safety acceptance criteria to be defined and argued. At the same time, the use of mac...
-
Book and Conference Proceedings
-
Chapter and Conference Paper
Safety Assurance of Machine Learning for Chassis Control Functions
This paper describes the application of machine learning techniques and an associated assurance case for a safety-relevant chassis control system. The method applied during the assurance process is described i...
-
Chapter
Intelligent and Connected Cyber-Physical Systems: A Perspective from Connected Autonomous Vehicles
Cyber-physical systems (CPS) have broad applications in the automotive, avionics, robotics, healthcare, and power grid, where the cyber components involving information processing and networking closely intera...
-
Chapter and Conference Paper
Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions
Due to their ability to efficiently process unstructured and highly...
-
Chapter and Conference Paper
Challenges in Assuring Highly Complex, High Volume Safety-Critical Software
Safety standards such as IEC 61508 [1] and ISO 26262 [2] were written assuming that highly complex safety-critical systems were self-contained, capital intensive, one-off products and that the assurance argument...
-
Chapter and Conference Paper
Structuring Validation Targets of a Machine Learning Function Applied to Automated Driving
The validation of highly automated driving vehicles is an important challenge to the automotive industry, since even if the system is free from internal faults, its behaviour might still vary from the original...
-
Chapter and Conference Paper
Making the Case for Safety of Machine Learning in Highly Automated Driving
This paper describes the challenges involved in arguing the safety of highly automated driving functions which make use of machine learning techniques. An assurance case structure is used to highlight the syst...
-
Chapter
What Is It Like to Be a Bird? Epistemic Humility and Human-Animal Relations
Birds are everywhere. One of the reasons for this ubiquity is the power of flight, allowing the exploitation of a wide range of habitats which might be otherwise inaccessible. That they participate in so many ...
-
Chapter and Conference Paper
A Family-Oriented Software Development Process for Engine Controllers
This paper presents a software engineering process that includes family-based aspects for aero-engine control software. The process uses a “family capability” derived from family analysis of the embedding syst...
-
Article
Design and assembly of solid-phases for the effective recovery of nanoparticulate bioproducts in fluidised bed contactors
Practical recovery of nanoparticulate bioproducts from suspension feedstocks has been studied in batch, fixed bed and fluidised bed adsorptive contactors. The performance of five discrete configurations of ads...
