In the framework of the ESPRIT project 28620 “TIRAN” (tailorable fault tolerance frameworks for embedded applications), a toolset of error detection, isolation, and recovery components is being designed to serve as a basic means for orchestrating application-level fault tolerance. These tools will be used either as stand-alone components or as the peripheral components of a distributed applicat...

Ksenophon’un Hiero adlı eseri, bir tiran ile Simonides isimli şair arasındaki sohbeti konu alır. Hiero, Simonides’e, sıradan insanlar gibi mutlu olamadığından yakınır. ise Hiero’nun olabileceğini, bunun için gerekli olan şeyin halkın mutluluğunu sağlamak olduğunu söyler. Leo Strauss, bu sohbette tiranlığa dair pek çok önemli unsuru görebileceğimizi Öncelikle tiran, esenliği kaygı duyabilecek mo...

The structures for the expression of fault-tolerance provisions into the application software are the central topic of this dissertation. Structuring techniques provide means to control complexity, the latter being a relevant factor for the introduction of design faults. This fact and the ever increasing complexity of today’s distributed software justify the need for simple, coherent, and effec...

abstract aims: lead is emerged as one of the most hazardous elements, existing in the air and soil, which can create irreparable outcomes in the human body due to its highly severe damages. the aim of this study was to determine the relationship between lead level and the respiratory diseases in tiran & karvan region, iran. instrument & methods: the research methodology was analytical based on ...

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 perfor...

Aim of this paper is, first, introducing and discussing a few considerations on some key requirements of mobile computing services. In particular, the relevance of both dependability and adaptability to an effective distribution of the service is investigated. Secondly, the paper proposes a novel structuring technique for the application layer of mobile software, as an example of an existing to...

This paper presents a case study of a software fault tolerance mechanisms, the distributed memory, designed and implemented within the european projects TIRAN and DEPAUDE, and currently under study within the Italian project ISIDE. The studied mechanisms are part of a complete framework of general purpose software fault tolerance mechanisms. In this paper we show a method for the compositional ...