Research Projects
ICRI-SAVe (2019 - 2022) Intel Collaborative Research Institute on Safety of Automated VehiclesAQUAS (2017-2020) (Aggregated Quality Assurance for Systems)DiSIEM (2016-2019) (Diversity Enhancements for SIEMs) D3S (2015-2018) (Diversity and Defence in Depth for Security – A Probabilistic Approach (D3S))CEDRICS (2014 - 2017) (Communicating and evaluating cyber risk and dependencies)DIDERO-PC (2013-2014) (DIverse DatabasE Replication-Performance Comparison)SESAMO (2012 - 2015) (Security and Safety Modelling)AFTER (2011 - 2014) (A Framework for electrical power sysTems vulnerability identification, defence and Restoration)UnCoDe (2010 - 2013) (Uncertainty and confidence in safety arguments: effect on expert decision makers)DISPO (1997-present) (DIverse Software Project)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)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) - TransferredDRA (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 assurancePRICES (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)Improving System Reliability Prediction using Bayesian Nets (1996 - 1997)Software Diversity (1995 - 1996)Evaluation of Software Development (1994 - 1995)Mathematical Foundations of Software Metrics (1989 - 1991)Software Quality and Metrics (1989 -1990)Software Reliability Modelling (1985 - 1988 and 1986 - 1990)Software Reliability Modelling Study (1985 - 1988)Statistical Modelling of Software Reliability (1981 - 1989)Reliability modelling of large software systems (1983 - 1986)