Instructors

Rogério de Lemos, University of Kent

Abstract

Although there is a large body of research in dependability, architectural level reasoning about dependability is only just emerging as an important theme in software development. This is due to the fact that dependability concerns are often left until too late in the process of development. In addition, the complexity of emerging applications and the trend of building trustworthy systems from existing untrustworthy components are urging dependability concerns to be considered at the architectural level. This tutorial will present the current challenges and promising solutions for structuring dependable systems at the architectural level. In addition of providing basic concepts related to dependability and software architectures, the rest of the tutorial is presented in the context of the dependability technologies: how to prevent the introduction of faults or their occurrence during operation, how to reduce the number of faults and their severity, how to tolerate the presence of faults during operation, and how to evaluate system behaviour with respect to fault activation and occurrence. Throughout the tutorial, case studies will be used to exemplify the key concepts.

Biographies

Rogério de Lemos (BEng, MEng, PhD) is a Lecturer in Computing Science at the University of Kent (UK). Before that he was a Senior Research Officer at the Centre for Software Reliability (CSR) at the University of Newcastle upon Tyne (UK). He has participated in several conference program committees, including HASE 2001and 2002, EDCC-4 and EDCC-6, ISADS 2003, WICSA 2005, ICDCS 2006, LADC 2005 and FMRTFT 2002. He was the program committee co-chair of Latin American Conference on Dependable Computing 2003 (LADC2003), and he is a member of the Steering Committee of LADC. He was the co-organizer of the ICSE 2002, 2003 and 2005 Workshops on Architecting Dependable Systems (WADS), and the Twin Workshops on the same topic at ICSE 2004 and DSN 2004. He has over 50 scientific publications in international journals, book chapters and conferences, and recently co-edited three books on Architecting Dependable Systems.