The activities of the group are focused on the
dependability of computing systems. Dependability is defined as the property of a system that enables its users to place a justified reliance on the service it delivers. Dependability is a generic concept, generalizing the notions of availability, reliability, integrity, confidentiality, maintainability, safety and security.
The activities of the group cover fault prevention, fault tolerance, fault removal and fault forecasting. Our research is structured according to these four themes, and covers a wide spectrum of fault classes. The overall aim is to develop methods for designing and validating dependable systems, together with supporting tools.
Our methods and tools are put into practice in applications from areas such as transportation, services, energy production, defense, space, etc. The formulation of the basic concepts of dependability is an underlying common factor of all the group's activities.
