Tutorial on Architecting Fault Tolerant Systems


Main | Structure of the tutorial | Related materials | Past editions | Related activities | About us


Main events related to this tutorial

International Workshop on Software Engineering for Resilient Systems (SERENE 2008)

Software Engineering of Fault Tolerant Systems book

Tutorial at ISSRE 2007

Tutorial at WICSA 2007
EFTS 2007 Workshop

EFTS 2006 Workshop

About us

Henry Muccini

Biographical information: Henry Muccini received his PhD degree in Computer Science from the University of Rome - La Sapienza (Italy) in February 2002. He is an assistant professor at the University of L'Aquila since 2002 and he has been visiting professor at Information & Computer Science, University of California, Irvine in 2001. Henry's research interests are in software architecture-based analysis techniques; specifically, in testing of software subsystems integration against a software architecture specification, in integrating coordination policies inside the architectural description and validating software architectures using semi-formal specifications.

Patrizio Pelliccione

Biographical information: Patrizio Pelliccione is an assistant professor at the University of L'Aquila , Computer Science Department. He got his PhD degree in the University of L’Aquila , computer science department, advisor Paola Inverardi , and thesis titled: “CHARMY: A framework for Software Architecture Specification and Analysis”. Currently Patrizio is involved in the european project POPEYE (Professional Peer Environment beYond Edge computing) of the Sixth Framework Programme Priority 2, Information Society Technologies (FP6-2005- IST-5) and in the national project ArtDeco (Adaptive InfRasTructures for DECentralized Organizations), a three years Italian project - FIRB 2005. From April 2005 to April 2006 Patrizio was Senior Researcher at the Faculty of Sciences, Technologies and Communications of the University of Luxembourg . He was coordinator of the CORRECT project and Group that is part of the Software Engineering Competence Center (SE2C) created since 2001 by Prof. Nicolas Guelfi. CORRECT (rigorous stepwise development of Complex Fault TOlerant DistRibuted Systems: from ARchitEctural DesCription to Java ImplemenTation) is a three year (2004-2006) project entirely funded by Luxembourg Ministry of Higher Education and Research (ref. n. MEN/IST/04/04). Patrizio is author of more than 30 publications in international journals and conferences. The research topics are mainly in Software Architectures, Software Architectures Analysis, Component-based systems, Fault-tolerance, Middleware, Model checking, Formal Methods. In its research activity Patrizio collaborated with several industries such as Selex Marconi telecommunications, Ericsson, Siemens, TERMA, etc.. Patrizio is chair of the international workshop on Engineering Fault Tolerant Systems , is editor of a book: Software Engineering of Fault Tolerant Systems, and is reviewer of several workshops, conferences and journals.

Alexander ( Sascha ) Romanovsky

Biographical information: Alexander (Sascha) Romanovsky is a Professor in the CSR. He received a M.Sc. degree in Applied Mathematics from Moscow State University and a PhD degree in Computer Science from St. Petersburg State Technical University. He was with this University from 1984 until 1996, doing research and teaching. In 1991 he worked as a visiting researcher at ABB Ltd Computer Architecture Lab Research Center, Switzerland. In 1993 he was a visiting fellow at Istituto di Elaborazione della Informazione, CNR, Pisa, Italy. In 1993-94 he was a post-doctoral fellow with the Department of Computing Science, the University of Newcastle upon Tyne. In 1992-1998 he was involved in the Predictably Dependable Computing Systems (PDCS) ESPRIT Basic Research Action and the Design for Validation (DeVa) ESPRIT Basic Project. In 1998-2000 he worked on the Diversity in Safety Critical Software (DISCS) EPSRC/UK Project. Prof Romanovsky was a co-author of the Diversity with Off-The-Shelf Components (DOTS) EPSRC/UK Project and was involved in this project in 2001-2004. In 2000-2003 he was in the executive board of Dependable Systems of Systems (DSoS) IST Project. Now he is coordinating Rigorous Open Development Environment for Complex Systems (RODIN) IST Project (2004-2007).

© Copyright 2007. AFTS Tutorial.