Towards Automated Configuration of Systems with Non-Functional Constraints

Leuschner, Linda; Küttler, Martin; Stumpf, Tobias; Baier, Christel; Härtig, Hermann; Klüppelholz, Sascha

doi:10.1145/3102980.3102999

Cited by 3 publications

(1 citation statement)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Later, RomainMT extends Romain in [11] to support unmodified multithreaded applications. A systematic design process was investigated in [28], followed by the definition of a trusted component ecosystem in [19].…”

Section: Overviewmentioning

confidence: 99%

ASTEROID and the Replica-Aware Co-scheduling for Mixed-Criticality

Rambo

Ernst

2020

Dependable Embedded Systems

View full text Add to dashboard Cite

The ASTEROID project developed a cross-layer fault-tolerance solution to provide reliable software execution on unreliable hardware under soft errors. The approach is based on replicated software execution with hardware support for error detection that exploits future many-core platforms to increase reliability without resorting to redundancy in hardware. This chapter gives an overview of ASTEROID and then focuses on the performance of replicated execution and the proposed replica-aware co-scheduling for mixed-criticality. The performance of systems with replicated execution strongly depends on the scheduling. Standard schedulers, such as Partitioned Strict Priority Preemptive (SPP) and Time-Division Multiplexing (TDM)-based ones, although widely employed, provide poor performance in face of replicated execution. By exploiting co-scheduling, the replica-aware co-scheduling is able to achieve superior performance.

show abstract

Section: Overviewmentioning

confidence: 99%

ASTEROID and the Replica-Aware Co-scheduling for Mixed-Criticality

Rambo

Ernst

2020

Dependable Embedded Systems

View full text Add to dashboard Cite

show abstract

Configuration of inter-process communication with probabilistic model checking

Herrmann

Küttler

Stumpf

et al. 2019

Int J Softw Tools Technol Transfer

View full text Add to dashboard Cite

From verification to synthesis under cost-utility constraints

Baier

Dubslaff

2018

ACM SIGLOG News

View full text Add to dashboard Cite

Various algorithms and tools for the formal verification of systems with respect to their quantitative behavior have been developed in the past decades. Many of these techniques inherently support the automated synthesis of strategies that guarantee the satisfaction of performance or reliability constraints by resolving controllable nondeterministic choices in an adequate way. More recently, such techniques have been further developed towards the analysis or strategy synthesis under multiple cost and utility constraints. This article deals with Markov decision processes (MDPs) for modeling systems and their environment and provides an overview of recent directions for different types of synthesis problems in MDPs that aim to achieve an acceptable cost-utility tradeoff.

show abstract

Towards Automated Configuration of Systems with Non-Functional Constraints

Cited by 3 publications

References 17 publications

ASTEROID and the Replica-Aware Co-scheduling for Mixed-Criticality

ASTEROID and the Replica-Aware Co-scheduling for Mixed-Criticality

Configuration of inter-process communication with probabilistic model checking

From verification to synthesis under cost-utility constraints

Contact Info

Product

Resources

About