Formal analysis of feature degradation in fault-tolerant automotive systems.

Klaus Becker Sebastian Voss Bernhard Schätz

Published in: Sci. Comput. Program. (2018)

Keyphrases

fault tolerant
formal analysis
safety critical
distributed systems
fault tolerance
formal methods
load balancing
intelligent systems
state machine
high availability
expert systems
data model
operating system
ban logic