45 citations · 74 across the 5 of their papers we have counts for
5 papers
SafeDrones: Real-Time Reliability Evaluation of UAVs using Executable Digital Dependable Identities
Koorosh Aslansefat, Panagiota Nikolaou, Martin Walker +9
The use of Unmanned Arial Vehicles (UAVs) offers many advantages across a variety of applications. However, safety assurance is a key barrier to widespread usage, especially given…
DEIS: Dependability Engineering Innovation for Industrial CPS
Erik Armengaud, Georg Macher, Alexander Massoner +15
The open and cooperative nature of Cyber-Physical Systems (CPS) poses new challenges in assuring dependability. The DEIS project (Dependability Engineering Innovation for automotiv…
WAP: Digital Dependability Identities
Daniel Schneider, Mario Trapp, Yiannis Papadopoulos +3
Cyber-Physical Systems (CPS) provide enormous potential for innovation but a precondition for this is that the issue of dependability has been addressed. This paper presents the co…
Hardening of Artificial Neural Networks for Use in Safety-Critical Applications -- A Mapping Study
Rasmus Adler, Mohammed Naveed Akram, Pascal Bauer +6
Context: Across different domains, Artificial Neural Networks (ANNs) are used more and more in safety-critical applications in which erroneous outputs of such ANN can have catastro…
Using Models at Runtime to Address Assurance for Self-Adaptive Systems
Betty Cheng, Kerstin Eder, Martin Gogolla +10
A self-adaptive software system modifies its behavior at runtime in response to changes within the system or in its execution environment. The fulfillment of the system requirement…