2010 15th IEEE International Conference on Engineering of Complex Computer Systems 2010
DOI: 10.1109/iceccs.2010.22
|View full text |Cite
|
Sign up to set email alerts
|

Engineering Dynamic Adaptation for Achieving Cost-Efficient Resilience in Software-Intensive Embedded Systems

Abstract: In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature of these algorithms, round numbers are unbounded and can increase infinitely during executions of the algorithms. This can lead to the state space explosion problem when verifying correctness of these algorithms using model checking.In this paper, we present a general idea of investigating the bounded distance of round numbers in round-… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1

Citation Types

0
3
0

Year Published

2016
2016
2018
2018

Publication Types

Select...
3
2

Relationship

1
4

Authors

Journals

citations
Cited by 6 publications
(3 citation statements)
references
References 28 publications
0
3
0
Order By: Relevance
“…They perform availability and cost evaluations using Fault Trees and Monte Carlo simulations. Implicit redundancies are also aligned with the goal of reusing components . The paper describes an adaptation model used to specify for each component its implicit redundancies and quality constraints.…”
Section: Related Workmentioning
confidence: 99%
“…They perform availability and cost evaluations using Fault Trees and Monte Carlo simulations. Implicit redundancies are also aligned with the goal of reusing components . The paper describes an adaptation model used to specify for each component its implicit redundancies and quality constraints.…”
Section: Related Workmentioning
confidence: 99%
“…They perform availability and cost evaluations using Fault Trees and Monte Carlo simulations. Methodological support for characterizing an adaptation model while meeting availability-cost requirements was presented in [8]. For each system component, its implicit redundancies and quality constraints are specified to determine compatible components.…”
Section: Related Workmentioning
confidence: 99%
“…We consider safety and reliability while maintainability and security aspects are outside of the scope of this paper. A common assumption made in dependability analysis is the ideal nature of health monitoring mechanisms ( [6][7][8][9]). This assumption may lead the designer to adopt optimistic decisions which may prove to be inadequately safe.…”
Section: Introductionmentioning
confidence: 99%