Safety critical systems require rising dependability due to increasing autonomy. Fault-tolerance is necessary, but failures may cause system resources to become insufficient to provide all intended functional features. We introduce an approach to formally analyze failure scenarios in mixed criticality systems, combined with the synthesis of valid deployments of software to hardware, incorporating adequate redundancy to address mixed reliability. Based on a formal system model, we provide a structural analysis of necessary degradations and failovers in failure scenarios, while ensuring the fulfillment of fail-operational requirements.     «

Safety critical systems require rising dependability due to increasing autonomy. Fault-tolerance is necessary, but failures may cause system resources to become insufficient to provide all intended functional features. We introduce an approach to formally analyze failure scenarios in mixed criticality systems, combined with the synthesis of valid deployments of software to hardware, incorporating adequate redundancy to address mixed reliability. Based on a formal system model, we provide a struc...     »

Sicherheitskritische Systeme erfordern mit zunehmender Autonomie wachsende Verlässlichkeit. Oft sind solche Anforderungen heterogen für verschiedene Systemfunktionen, und im Fehlerfall sind aufgrund abnehmender Ressourcen nicht immer alle Funktionen bereitstellbar. Wir zeigen ein Verfahren zur formalen Analyse von Fehlerszenarien, kombiniert mit einer Synthese valider Verteilungen von Software auf Hardware mit Redundanz zur Sicherstellung von Zuverlässigkeit. Basierend auf einem formalen Systemmodell zeigen wir eine strukturelle Analyse notwendiger Degradationen im Fehlerfall, unter Einhaltung von Fail-Operational Anforderungen.     «

Sicherheitskritische Systeme erfordern mit zunehmender Autonomie wachsende Verlässlichkeit. Oft sind solche Anforderungen heterogen für verschiedene Systemfunktionen, und im Fehlerfall sind aufgrund abnehmender Ressourcen nicht immer alle Funktionen bereitstellbar. Wir zeigen ein Verfahren zur formalen Analyse von Fehlerszenarien, kombiniert mit einer Synthese valider Verteilungen von Software auf Hardware mit Redundanz zur Sicherstellung von Zuverlässigkeit. Basierend auf einem formalen Systemm...     »