Centre for Software Reliability
  1. News
  2. Staff
  3. Research
  4. Publications
  5. Courses
  6. Consultancy & Advisory Services
  7. Contact CSR
  1. Research Projects
Software Reliability

Research Projects

  • ICRI-SAVe (2019 - 2022) Intel Collaborative Research Institute on Safety of Automated Vehicles
  • AQUAS (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) - 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
  • 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)
  • 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)