2 citations · 4 across the 5 of their papers we have counts for
5 papers
Deployment Calculation and Analysis for a Fail-Operational Automotive Platform
Klaus Becker, Bernhard Schatz, Christian Buckl +1
In domains like automotive, safety-critical features are increasingly realized by software. Some features might even require fail-operational behavior, so that they must be provide…
Algorithms for Synthesizing Priorities in Component-based Systems
Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen +5
We present algorithms to synthesize component-based systems that are safe and deadlock-free using priorities, which define stateless-precedence between enabled actions. Our core me…
A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems
Chih-Hong Cheng, Harald Ruess, Alois Knoll +1
In this paper, we present an approach for fault-tolerant synthesis by combining predefined patterns for fault-tolerance with algorithmic game solving. A non-fault-tolerant system,…
FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems
Chih-Hong Cheng, Christian Buckl, Javier Esparza +1
The focus of the tool FTOS is to alleviate designers' burden by offering code generation for non-functional aspects including fault-tolerance mechanisms. One crucial aspect in this…
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness
Chih-Hong Cheng, Christian Buckl, Javier Esparza +1
The increasing use of model-based tools enables further use of formal verification techniques in the context of distributed real-time systems. To avoid state explosion, it is neces…