2009
DOI: 10.1016/j.jss.2009.04.042
|View full text |Cite
|
Sign up to set email alerts
|

Case study on distributed and fault tolerant system modeling based on timed automata

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
7
0

Year Published

2012
2012
2022
2022

Publication Types

Select...
5
2
1

Relationship

0
8

Authors

Journals

citations
Cited by 24 publications
(7 citation statements)
references
References 20 publications
0
7
0
Order By: Relevance
“…model checking tool (e.g. UPPAAL) [78] • less pessimistic when end-to-end response time is verified.…”
Section: Resultsmentioning
confidence: 99%
See 1 more Smart Citation
“…model checking tool (e.g. UPPAAL) [78] • less pessimistic when end-to-end response time is verified.…”
Section: Resultsmentioning
confidence: 99%
“…Model transformation helps to simplify the general knowledge by representing the concept in another format. There are some famous modelling techniques for SOS fault analysis, which are as Petri Nets [42,75,76], WSDL-S [77], Spi-Calculus [55], timed-automata [78,79], fault model, finite-state machine [80], Markov network [81][82][83], Weibull principle [84], Pareto principle [85], Bayesian network [81], fault tree [86] etc. The root cause of failures, the mean time between failures, and the mean time to failure are the commonly considered statistical properties for fault handling using a mathematical model.…”
Section: Model-based Techniquesmentioning
confidence: 99%
“…For the most part, they are based on the theory of timed models such as timed automata or time Petri nets, and on state space analysis methods. Another study [24] of modeling an OSEK/VDX application and the core part on its kernel have been proposed, it uses UPPAAL [7] to perform rigorous timing analysis. Bodeveix et al [8] used also model-checking to verify some scheduler properties within BOSSA framework [4] as well as several safety properties of the OS.…”
Section: Related Workmentioning
confidence: 99%
“…We make use of such tools for design time analysis of heterogeneous middleware interactions. Timed automata are used in [23] for studying fault tolerant behavior (safety, bounded liveness) in distributed asynchronous real timed systems. In [14], the transmission channels of publishsubscribe middleware are modeled using probabilistic timed automata to verify properties of supported interactions.…”
Section: Related Workmentioning
confidence: 99%