Scipediacontent: Scipediacontent moved page Draft Content 857487286 to Schleiss et al 2017a

2021-02-01T23:08:57Z

Scipediacontent moved page Draft Content 857487286 to Schleiss et al 2017a

Scipediacontent: Created page with " == Abstract == The availability of functionality is a crucial aspect of mission- and safety-critical systems. This is for instance demonstrated by the pursuit to automate ro..."

2021-02-01T23:08:51Z

Created page with " == Abstract == The availability of functionality is a crucial aspect of mission- and safety-critical systems. This is for instance demonstrated by the pursuit to automate ro..."

New page

== Abstract ==

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.

== Original document ==

The different versions of the original document can be found in:

* [http://publica.fraunhofer.de/documents/N-470558.html http://publica.fraunhofer.de/documents/N-470558.html]

* [http://link.springer.com/content/pdf/10.1007/978-3-319-66266-4_12 http://link.springer.com/content/pdf/10.1007/978-3-319-66266-4_12],
: [http://dx.doi.org/10.1007/978-3-319-66266-4_12 http://dx.doi.org/10.1007/978-3-319-66266-4_12] under the license http://www.springer.com/tdm

* [https://core.ac.uk/display/129435753 https://core.ac.uk/display/129435753],
: [https://link.springer.com/chapter/10.1007%2F978-3-319-66266-4_12 https://link.springer.com/chapter/10.1007%2F978-3-319-66266-4_12],
: [https://dblp.uni-trier.de/db/conf/safecomp/safecomp2017.html#SchleissDWB17 https://dblp.uni-trier.de/db/conf/safecomp/safecomp2017.html#SchleissDWB17],
: [https://doi.org/10.1007/978-3-319-66266-4_12 https://doi.org/10.1007/978-3-319-66266-4_12],
: [https://rd.springer.com/chapter/10.1007/978-3-319-66266-4_12 https://rd.springer.com/chapter/10.1007/978-3-319-66266-4_12],
: [https://academic.microsoft.com/#/detail/2749714045 https://academic.microsoft.com/#/detail/2749714045]

← Older revision	Revision as of 23:08, 1 February 2021
(No difference)

Schleiss et al 2017a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 857487286 to Schleiss et al 2017a

Scipediacontent: Created page with " == Abstract == The availability of functionality is a crucial aspect of mission- and safety-critical systems. This is for instance demonstrated by the pursuit to automate ro..."