[HTML][HTML] Formal analysis of feature degradation in fault-tolerant automotive systems

K Becker, S Voss, B Schätz - Science of Computer Programming, 2018 - Elsevier
Safety critical fault-tolerant embedded systems have to react properly on failures of internal
system elements to avoid failure propagation and finally a harmful external failure at the …

Software deployment analysis for mixed reliability automotive systems

K Becker - 2017 - mediatum.ub.tum.de
Safety critical systems require rising dependability due to increasing autonomy. Fault-
tolerance is necessary, but failures may cause system resources to become insufficient to …

Achieving cost-efficient fail-operational behavior based on inherent redundancy at the system level

T Dörr, T Sandmann, P Friederich, A Leitner… - Microprocessors and …, 2021 - Elsevier
To fulfill their safety requirements, modern embedded systems are increasingly often
expected to deliver a guaranteed minimum level of functionality at all times. In practice, such …

An approach to cost-efficient fault tolerance in inherently redundant fail-operational systems

T Dörr, T Sandmann, P Friederich… - 2020 23rd Euromicro …, 2020 - ieeexplore.ieee.org
Embedded systems in safety-critical environments are often subject to strict reliability
requirements. This holds particularly true for modern fail-operational systems. In order to …

Diseño de una arquitectura de aviónica tolerante a fallas basada en componentes COTS para vehículos satelitales de nueva generación

E Arias - 2022 - repositoriocyt.unlam.edu.ar
Diseño de una arquitectura de aviónica tolerante a fallas basada en componentes COTS para
vehículos satelitales de nueva gene Page 1 Diseño de una arquitectura de aviónica tolerante a …