IEEE Symposium on Reliable Distributed Systems - SRDS 2000 : Program Chair
High Assurance Systems Engineering - HASE 2001: Program Chair
European Dependable Computing Conference - EDCC4 2002: Program Chair,Publication Chair and Steering Committee Chair
International Symposium on Autonomous Decentralized Systems - ISADS 2003: General Chair, Program Chair
IEEE Symposium on Reliable Distributed Systems - SRDS 2003 : General Chair
IEEE Dependable Systems and Network - DSN 2004 : General Chair, Vice-General Chair, Publication Chair, Fast Abstract Chair
IEEE Dependable Systems and Network - DSN 2005 : DCCS (Dependable Computing and Communication Symposium) Program Chair
People of the lab do reviews for all leading dependability journals/conferences (IEEE TC, IEEE TR, IEEE DSN, IEEE SRDS, EDCC, IEEE ISADS, etc..)
Recent editorial activities include the role of Guest
Co-Editor for the IEEE-TC Special Issue on “Distributed Reliable Systems”, expected
by February 2003.
The group is being developing DEEM, a tool for the dependability modeling and evaluation of Multiple Phased Systems (MPS). The methodology supported by DEEM relies upon Deterministic and Stochastic Petri Nets (DSPN) as the modeling tool and on Markov Regenerative Processes (MRGP) for the model solution. Due to their high expressiveness, DSPN models are able to cope with the dynamic structure of MPS, and allow defining very concise models. DEEM models are solved with a very simple and computationally efficient analytical solution technique based on the separability of the MRGP underlying the DSPN of a MPS. Through a Graphical User Interface (GUI), DEEM provides a general modeling scheme in which two logically separate parts are used to represent MPS models. One is the System Net (SN), which represents the failure/repair behavior of system components, and the other is the Phase Net (PhN), which represents the execution of the various phases. The current version of the tool runs under Linux (PowerPC and Pentium class) workstations.
In addition to DEEM, the group
has acquired a number of other tools for dependability evaluation,
among those available for academic entities (e.g., UltraSAN, Surf, Time Net). The expertise
matured in using such tools allows us to select the most appropriate
one in accordance with the specific case study under analysis.
Besides the external collaborators who are professors at the university of Pisa and Florence, other people in the group are involved in teaching activities. Among the recently taught courses we mention:
IEEE Computer Society Member; Founder Member of IFIP W.G. 10.4, Chairman of AICA WG on “Dependability of Computing Systems”, Chair of the CINI Group on “Embedded Systems”.