Department of Computer Science

  1. Software and Systems Engineering
  2. Human-centric Systems
  3. Information Analysis and Visualisation
  1. Centre for Software Reliability
  2. Research
  3. Research Projects

Research Projects

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