Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Generic management of availability in fail-operational automotive systems

: Schleiß, Philipp; Drabek, Christian; Weiß, Gereon; Bauer, Bernhard

Postprint urn:nbn:de:0011-n-4705587 (1.5 MByte PDF)
MD5 Fingerprint: dc7514ef02c4b17d3fde79a0bdd7b3da
The original publication is available at
Created on: 4.11.2017

Tonetta, S.:
Computer safety, reliability, and security. 36th International Conference, SAFECOMP 2017 : Trento, Italy, September 13-15, 2017; Proceedings
Cham: Springer International Publishing, 2017 (Lecture Notes in Computer Science 10488)
ISBN: 978-3-319-66265-7 (Print)
ISBN: 978-3-319-66266-4 (Online)
ISBN: 3-319-66265-1
International Conference on Computer Safety, Reliability, and Security (SAFECOMP) <36, 2017, Trento>
Conference Paper, Electronic Publication
Fraunhofer ESK ()
fail operational; system synthesis; AUTOSAR; real-time; schedule planning; reconfiguration; automotive; efficient redundancy; automated driving; autonomous system

The availability of functionality is a crucial aspect of mission- and safety-critical systems. This is for instance demonstrated by the pursuit to automate road transportation. Here, the driver is not obligated to be part of the control loop, thereby requiring the underlying system to remain operational even after a critical component failure. Advances in the field of mixed-criticality research have allowed to address this topic of fail-operational system behaviour more efficiently. For instance, general purpose computing platforms may relinquish the need for dedicated backup units, as their purpose can be redefined at runtime. Based on this, a deterministic and resource-efficient reconfiguration mechanism is developed, in order to address safety concerns with respect to availability in a generic manner. To find a configuration for this mechanism that can ensure all availability-related safety properties, a design-time method to automatically generate schedules for different modes of operations from declaratively defined requirements is established. To cope with the inherent computational complexity, heuristics are developed to effectively narrow the problem space. Subsequently, this method’s applicability and scalability are respectively evaluated qualitatively within an automotive case study and quantitatively by means of a tool performance analysis.