Titlebook: Computer Safety, Reliability, and Security; 38th International C Alexander Romanovsky,Elena Troubitsyna,Friedemann Conference proceedings

G-spot

Alexander Romanovsky,Elena Troubitsyna,Friedemann

Perceive

Towards Zero Alarms in Sound Static Analysis of Finite State Machinesaused by undefined or unspecified behavior of the programming language, including buffer overflows or data races. Sound static analyzers can report all such defects in the code (plus some possible false alarms), or prove their absence. A modern sound analyzer is composed of various abstract domains,

纺织品

Graceful Degradation Design Process for Autonomous Driving Systeml 3 requires the functions to request the driver to take over driving and to sustain safe automated driving until the driver accepts the request if a hardware failure occurs. However, there is a demand to continue automated driving if the system maintains sufficient performance for automated driving

商店街

古代

Prosaic

Fitness Functions for Testing Automated and Autonomous Driving Systemsdomains of the parameters span a huge space of possible test cases, from which “good” ones have to be selected. Heuristic search, guided by fitness functions, has been proposed as a suitable technique in the past. However, the . has not been addressed yet. We provide templates to formulate fitness f

Induction

Decibel

Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Modelsded system, which acts autonomously and isolated. The monitoring system generates reports containing probable fault locations, which can later be obtained without requiring expensive debugging hardware or continuous access to the monitored embedded system. For this, we assessed failure-detection ora

MIR

轻浮思想

Digital Forensics in Industrial Control Systemsnges due to a rising number of attacks and errors. The event reconstruction is the goal of the new field of ICS forensics differing from well-established Desktop-IT forensics. We identify ICS properties, implications and the impact on the forensic process..Our primary contribution is the identifcati