Falk Dietrich

Learn More
In this paper we present a method to perform run-time monitoring of distributed applications built on top of a distributed object oriented processing environment. For this, we instrument the code at the compilation time in order to send notiications to an Observer when relevant events occur in the system; the instrumentation is done in an automated manner,(More)
he design and implementation of communication services is a complex task. Entire communication systems can be brought to their knees by an unintended feature interaction, or a misimplemented piece of the greater puzzle. This puzzle is likely to become even more complicated in the future with the emergence of hybrid services. A hybrid service is defined as a(More)
The concept of event-based behavioral abstraction (EBBA) is shown to facilitate the Design For Testability (DFT) if the set of events is well-chosen. We provide a predeened set of events which, together with linear-time temporal logic, can be used for expressing behavioral properties in object-oriented distributed systems. This allows automizing several(More)
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider diierent communication architectures and work related to the feature interaction problem. Based on our survey, the results reported in the literature and most importantly, on extensive discussions with industry,(More)
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider diierent communication architectures and work related to the feature interaction problem. Based on our survey and on extensive discussions with the industry, we investigate important industrial concerns and(More)
SUMMARY We present a framework for constructing formal models of object-oriented distributed systems and a property language to express behavioral constraints in such models. Most of the existing models have their origin in specific mathematical notations and/or concepts. In contrast, we have developed our model such that it accounts for a large set of(More)
Pr esent ee au d epartement de syst emes de communication Ecole Polytechnique F ed erale de Lausanne pour l'obtention du grade de docteur es sciences techniques par Raaaele NORO Ing enieur electricien dipl^ om e e a l'Universit e d e Trieste (Italie) de nationalit e Italienne accept ee sur proposition du jury: Lausanne, EPFL 2000 ii Si vas de prisa, el(More)
| Given a particular multimedia service, the problem is to show that the implemented service is behaving as expected. Middleware platforms do not only ooer the possibility to develop distributed multimedia services easier and faster but can also be used to facilitate the observation and testing process of such services. We concentrate on the problem of(More)
Ama e ridi se amor risponde, piangi forte se non ti sente Dai diamanti non nasce niente, dal letame nascono i fior. Acknowledgements I am very grateful to Prof. Jean-Yves Le Boudec who is an excellent PhD director and who spent much time guiding me and contributing to this work. I would like to thank all my colleagues (past and present) and professors at(More)
  • 1