School Organisation

Prof. Bev Littlewood

Contact Details:

Email: b.littlewood@csr.city.ac.uk 

Phone: +44 (0) 20 7040 8420

Room: A229 College Building

Position: 

Professor of Software Engineering

Biography:

Bev Littlewood has degrees in mathematics and statistics, and a PhD in statistics and computer science; he is a Chartered Engineer, and a Chartered Statistician. He has worked for more than 30 years on problems associated with the dependability of software-based systems, and has published many papers in international journals and conference proceedings and has edited several books.

In 1983 he founded the Centre for Software Reliability (CSR) at City University, London, and was its Director from then until his semi-retirement in 2003. During this period CSR attracted many millions of pounds of research funding from various European and UK national agencies such as EPSRC, and industry, and gained an international reputation for the quality of its research. He has successfully managed almost 40 research projects as Principal Investigator. He is currently Professor of Software Engineering at City University.

His technical contributions have largely focused on the application of probabilistic and statistical techniques in software systems engineering. He has published over a hundred scientific papers on topics that include:

• Software reliability growth modeling
• Modelling of software design diversity for fault tolerance
• Exploring the limits of what can be claimed rigorously for system dependability
• Application of Bayesian probability and statistics to systems dependability
• Software testing
• Combining reliability and correctness claims in safety arguments

He has a long term interest in the question of how far these approaches can take us in providing assurance that systems are fit for purpose - in particular, whether certain critical systems are sufficiently safe to be allowed to operate. He has encouraged - and taken part in - debate about such issues in both technical and non-technical forums. This has involved several TV and radio appearances in documentary and news programmes discussing general issues of software reliability and safety. For example, he presented, and was co-author, of an edition of the BBC2 TV programme, 'Antenna', on safety-critical software.

From 1990 to 2005 he was a member of the UK Nuclear Safety Advisory Committee (NuSAC), in which role he played a part in the extensive discussions, and controversy, concerning the first use of a software-based protection system for a UK power reactor. He chaired the NuSAC Working Group on the use of software in critical applications, which reported to the Health and Safety Commission in 1998. Its report was published as 'The Use of Computers in Safety-critical Applications' (www.hse.gov.uk/nuclear/computers.pdf).

His professional activities related to his scientific work are numerous. He is a member of the UK Computing Research Committee (UKCRC), and is a past member of the EPSRC College for Computing. He is currently serving his third term as an Associate Editor of IEEE Trans on Software Engineering, the premier journal in SE. He is on the editorial boards of several other international journals. He is a member of IFIP Working Group 10.4 on Reliable Computing and Fault Tolerance. He was a member of the British Computer Society's Safety Critical Systems Task Force until its recent untimely demise. He was the only non-US member of the Panel on Statistical Methods in Software Engineering (1992-4), convened by the US National Research Council. He was a member of the HSC Working Group that wrote the influential 'Tolerability of Risk from Nuclear Power Stations', being responsible for the section on the contribution of critical computing systems to risk. From 2007 until 2009 he was a member of the IEEE John von Neumann Award Committee. He is currently a member of the IEEE Computer Society's Harlan D Mills Award Committee.

He has been a consultant to many organizations and companies in Europe and the US. As consultant to Harlan Mills' IBM Fellow Department in the 1980s, BL gave advice on the statistical underpinnings of the well-known Cleanroom approach to software development and evaluation.

BL has been a member of the programme committees of many international conferences, including several ICSEs. He has given keynote addresses and invited talks at numerous conferences.

In 2007 he was the recipient of the IEEE Computer Society's prestigious Harlan D Mills Award, the citation of which reads: "For leading research on the application of rigorous probabilistic and statistical techniques in software engineering, particularly in systems dependability".

Research interests:


  • Reliability and safety modeling of software-based systems
  • Software fault tolerance
  • Software testing
  • Dependability cases for software-based systems

Publications:

Selected publications:

  • 'Reasoning About The Reliability Of Diverse Two-Channel Systems In Which One Channel Is "Possibly Perfect"' (with John Rushby), IEEE Trans Software Engineering, 2011. http://doi.ieeecomputersociety.org/10.1109/TSE.2011.80
  • 'Towards a formalism for conservative claims about the dependability of software-based systems' (with Peter Bishop, Robin Bloomfield, Andrey Povyakalo, David Wright), IEEE Trans Software Engineering, 2011. http://doi.ieeecomputersociety.org/10.1109/TSE.2010.67
  • 'Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems' (with Alan Burns), Real Time Systems Symposium, pp73-81, 2010.
  • 'The use of multi-legged arguments to increase confidence in safety claims for software-based systems: a study based on a BBN of an idealised example,' (with D Wright), IEEE Trans Software Engineering, vol 33, no 5, pp 347-365, 2007.
  • 'Confidence: its role in dependability cases for risk assessment' (with Robin Bloomfield), Proc International Conference on Dependable Systems and Networks (DSN2007) pp338-346, 2007.
  • 'Redundancy and diversity in security' (with Lorenzo Strigini), Proc ESORICS 2004, 9th European Symposium on Research in Computer Security (Sophia Antipolis, France), Springer, pp423-438, 2004.
  • 'Multi-legged arguments: the impact of diversity upon confidence in dependability arguments' (with R E Bloomfield), Proc International Conference on Dependable Systems and Networks (DSN2003), pp25-34, 2003.
  • 'Modelling the effects of combining diverse software fault removal techniques' (with P Popov, L Strigini, N Shryane), IEEE Trans Software Engineering, vol 26, 12, pp1157-1167, 2000.
  • 'The use of proofs in diversity arguments', IEEE Trans Software Engineering, vol 26, no 10, pp1022-1023, 2000.
  • 'Evaluating testing methods by delivered reliability' (with Phyllis Frankl, Dick Hamlet, Lorenzo Strigini), IEEE Trans Software Engineering, vol 24, no 8, pp586-601, 1998
  • 'Some conservative stopping rules for the operational testing of safety-critical software' (with D Wright), IEEE Trans Software Engineering, vol 23, no 11, pp673-683, 1997.

Bev's full list of research papers and abstracts / full texts