The TIRAN approach to reusing software implemented fault tolerance

Botti, O.; Florio, Vincenzo De; Lauwereins, Rudy; Cassinari, F.; Donatelli, Susanna; Bobbio, A.; Klein, Achim; Kufner, H.; Thurner, Erwin M.; Verhulst, Eric

doi:10.1109/empdp.2000.823427

Cited by 7 publications

(5 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…What we call "DIR net" [15] is the distributed application at the core of the software fault tolerance strategy realized through several European projects [15,16]. In this section we describe the DIR net and report on how we designed and developed it by means of the TOM system.…”

Section: A Development Experience: the Dir Netmentioning

confidence: 99%

See 1 more Smart Citation

Design tool to express failure detection protocols

Florio¹,

Blondia²

2010

IET Softw.

Self Cite

View full text Add to dashboard Cite

Failure detection protocols-a fundamental building block for crafting fault-tolerant distributed systems-are in many cases described by their authors making use of informal pseudo-codes of their conception. Often these pseudo-codes use syntactical constructs that are not available in COTS programming languages such as C or C++. This translates into informal descriptions that call for ad hoc interpretations and implementations. Being informal, these descriptions cannot be tested by their authors, which may translate into insufficiently detailed or even faulty specifications. This paper tackles this problem introducing a formal syntax for those constructs and a C library that implements them-a tool-set to express and reason about failure detection protocols. The resulting specifications are longer but non ambiguous, and eligible for becoming a standard form.

show abstract

Section: A Development Experience: the Dir Netmentioning

confidence: 99%

“…We have developed the DIR net using the Windows TIRAN libraries [16] and the CWEB system of structured documentation.…”

Section: Nothing Comes In and The Time-out Expiresmentioning

confidence: 99%

Design tool to express failure detection protocols

Florio¹,

Blondia²

2010

IET Softw.

Self Cite

View full text Add to dashboard Cite

show abstract

“…Goal of the project is to provide a tool that significantly reduces the development times and costs of a new dependable system. The target market segment concerns non-safety-critical distributed soft-real-time embedded systems [3]. TIRAN explicitly adopts formal techniques to support requirement specification and predictive evaluation [16].…”

Section: The Tiran Projectmentioning

confidence: 99%

/spl Rscr/έℒ: a fault tolerance linguistic structure for distributed applications

Florio

Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems

Self Cite

View full text Add to dashboard Cite

The embedding of fault tolerance provisions into the application layer of a programming language is a nontrivial task that has not found a satisfactory solution yet. Such a solution is very important, and the lack of a simple, coherent and effective structuring technique for fault tolerance has been termed by researchers in this field as the "software bottleneck of system development". The aim of this paper is to report on the current status of a novel fault tolerance linguistic structure for distributed applications characterized by soft real-time requirements. A compliant prototype architecture is also described. The key aspect of this structure is that it allows to decompose the target fault-tolerant application into three distinct components, respectively responsible for (1) the functional service, (2) the management of the fault tolerance provisions, and (3) the adaptation to the current environmental conditions. The paper also briefly mentions a few case studies and preliminary results obtained exercising the prototype.

show abstract

“…In this paper we describe the modeling approach for the study of software fault tolerance strategies used in the TIRAN' project [8,9,31. TIRAN (Tailorable fault tolerance framework for embedded applications) is an European ESPRIT project, ended in October 2000, that involved six European partners from industries and universities, that has defined and implemented a software based solution for fault tolerance in embedded systems.…”

Section: Introductionmentioning

confidence: 99%

Performance validation of fault-tolerance software: a compositional approach

Bernardi

Donatelli

Proceedings International Conference on Dependable Systems and Networks

Self Cite

View full text Add to dashboard Cite

This paper discusses the lessons learned in the modeling of a software fault tolerance solution built by a consortium of universities and industrial companies for an Esprit project called TIRAN. The requirements of high flexibility and modularity for the software have lead to a modeling approach strongly based on compositionality. Since the interest was for assessing both correctness and performance of the proposed solution, we have cared for these two aspects at the sume time, and, by means of an example, we show how this was a central aspect of our analysis.

show abstract

The TIRAN approach to reusing software implemented fault tolerance

Cited by 7 publications

References 10 publications

Design tool to express failure detection protocols

Design tool to express failure detection protocols

/spl Rscr/έℒ: a fault tolerance linguistic structure for distributed applications

Performance validation of fault-tolerance software: a compositional approach

Contact Info

Product

Resources

About