2006
DOI: 10.1007/11916246_14
|View full text |Cite
|
Sign up to set email alerts
|

Formal Service-Oriented Development of Fault Tolerant Communicating Systems

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2007
2007
2017
2017

Publication Types

Select...
4
1
1

Relationship

0
6

Authors

Journals

citations
Cited by 6 publications
(2 citation statements)
references
References 9 publications
0
2
0
Order By: Relevance
“…Use of refinement and decomposition rules in the development of telecommunications systems is outlined in [11]. The refinement approach of Event-B has also been used for the formal development of fault-tolerant communication systems [24] and fault-tolerant agent systems [23]. Other important work carried out using the refinement approach include verification of the IEEE 1394 tree protocol distributed algorithm [5], development of a secure communication system [13], development of a train system [2], verification of one copy equivalence criterion in a distributed database system [38].…”
Section: Related Workmentioning
confidence: 99%
“…Use of refinement and decomposition rules in the development of telecommunications systems is outlined in [11]. The refinement approach of Event-B has also been used for the formal development of fault-tolerant communication systems [24] and fault-tolerant agent systems [23]. Other important work carried out using the refinement approach include verification of the IEEE 1394 tree protocol distributed algorithm [5], development of a secure communication system [13], development of a train system [2], verification of one copy equivalence criterion in a distributed database system [38].…”
Section: Related Workmentioning
confidence: 99%
“…Some, but not all of the consistency rules for the modeling concepts and for their relationships are checked by the wizards. In future, the work done for formalizing and implementing the correct-by-construction paradigm for Lyra (see for example (Ilic et al, 2006) (Leppänen et al, 2005) (Laibinis et al, 2005a) (Laibinis et al, 2005b) (Laibinis et al, 2006)) will be implemented as a part of the automation approach. This increases significantly the coverage of consistency checking, and enhances the approach with automated generation of fault tolerance properties to the system models.…”
Section: Experiencesmentioning
confidence: 99%