Research Projects
- UnCoDe (2010 - 2013) (Uncertainty and confidence in safety arguments: effect on expert decision makers)
- PIA:FARA (2009 - 2010) (Probabilistic Interdependency Analysis: framework, data analysis and on-line risk assessment)
- CETIFS ( 2008 - 2008) (Interdependency Feasibility Study)
- AMBER (2008-2009) (Assessing, Measuring, and Benchmarking Resilience)
- DSTL (2007-2008) (EMR proposal SoSoS Development Methodologies for Secure System Evolution)
- INDEED (2006-2010) (Interdisciplinary Design and Evaluation of Dependability)
- IRRIIS (2006-2009) (Integrated Risk Reduction of Information-Based Infrastructure Systems)
- ReSIST (2006-2008) (Resilience for Survivability in Information Society Technologies(IST))
- CRUK (2006-2007) (Cancer Research UK grant "Accounting for unanticipated effects of computer aids for cancer detection")
- DIRC (2000-2006) (Interdisciplinary Research Collaboration in Dependability of Computer-Based Systems)
- DOTS (2000-2004) (Diversity with Off-The-Shelf components)
- ROPA (2000-2002) (Validation of Graphically Elicited Multi-variate Probability Models for Safety Assessment of Computer-based Systems)
- DISPO (1997-present) (DIverse Software PrOject)
- DISCS (1997-2000) (Diversity In Safety Critical Software)
- PETERS (1997-2000) (Pre-Exploitative Tools for Evaluating Reliability of Software)
- IMPRESS (1997-2000) (IMproving the software PRocESS using bayesian nets) - Transferred
- DRA (1996-1999) (Reliability Data for Military Vehicle Systems)
- DeVa (1996-1999) (Design for Validation)
- SERENE (1996-1998) (SafEty and Risk Evaluation using Bayesian Nets)
- CABERNET (Computing Architectures for Basic European Research)
- OLOS (1995-1998) (A holistic approach to the dependability analysis and evaluation of control systems involving hardware, software and human resources)
- QUANTUM - Measurement based framework for software quality assurance
- REQUEST
- PRICES (1994-1997) (Probability, Integrity, and Capability Enhancement for Software)
- DATUM (1993-1996) (Dependability Assessment of Safety Critical Systems Through the Unification of Measurable Evidence)
- PDCS (1989-1995) (Predictably Dependable Computer Systems)
- SMARTIE (1990-1995) (Standards and Methods Assessed using Rigorous Techniques in Industrial environments)
- SHIP (1993-1995) (Safety of Hazardous Industrial Processes in the presence of design faults)
- WORMS (1992-1994) (Workshops on Reliability and Measurement of Software)
- SCOPE (1989-1994) (Software Certification Programme in Europe)
- TRUST (1986-1989) (Testing for Reliability Using Systematic Techniques)
- ALVEY (1985-1988) (Alvey Commission funded project-Software Reliability Modeling Study)