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

Research Projects

  • 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)

Find us

City, University of London

Northampton Square

London EC1V 0HB

United Kingdom

Back to top

City, University of London is an independent member institution of the University of London. Established by Royal Charter in 1836, the University of London consists of 18 independent member institutions with outstanding global reputations and several prestigious central academic bodies and activities.