Staff Profile

Summary

Tom Anderson obtained his PhD in 1972 for work at Newcastle University on syntactic analysis, and joined the University's Computing Laboratory as a Research Associate investigating software fault tolerance. He spent 1978-79 at NASA's Langley Research Center (Virginia), and then became Lecturer, and then Professor of Computing Science at Newcastle in 1987.

From 1980 onwards he acted as PI for a series of major research projects, including a large-scale experimental evaluation of software fault tolerance techniques and a 17 year industrially funded project on dependable systems.

In 1984 he established the Centre for Software Reliability (CSR) at Newcastle, operating in conjuction with a sister centre at City University; he was the CSR Director until 2012. During that period the centre hosted numerous research projects and also managed the UK national industry oriented "Clubs" on Sofware Reliability & Metrics and on Safety-Critical Systems. Over a 35 year period CSR operated more than 250 external events with almost 20,000 delegate registrations.

From 1992-97 he was Head of Computing Science; 1998-2002 Dean of Science; 2008-2012 SAgE Dean of Business Development; 2012-2016 School of Computing Science (part-time).

Retired from Newcastle University from August 2016, appointed as Professor Emeritus in 2018, maintained engagement in outreach via CSR Events until December 2019. Post Covid investigated historical rail accidents seeking modern automotive lessons.

Research Interests

System dependability and resilience, system and interface structuring, safety critical systems, system requirements, software fault tolerance and fault tolerant systems, historical accidents.

Other Expertise

Measurement and assessment of system reliability, security and integrity of computer systems, real-time and control systems. Syntactic analysis, optimised LR parsing.

Esteem Indicators

General Chairman for the International Conference on Dependable Systems and Networks, 2007

Past Chairman of the IEEE Technical Committee on Fault Tolerance

Invited Keynote at SafeComp, Poznan, Poland

Invited lectures presented in Austria, Belgium, Canada, Denmark, France, Germany, Greece, Holland, Norway, Poland, Portugal, Sweden, Switzerland, USA and the UK

External PhD examiner in France and the UK

Founder member of IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance

Fellow of the British Computer Society

Member of the BCS Engineering and Science Board

Member (twice) of the Danish Agency for Trade and Industry's Review Board for Danish Electronics Light and Acoustics

Quite a lot of Programme Committee memberships

Funding

RESEARCH GRANTS

(award value to Newcastle quoted in £K; total = £9M)

SERC/EPSRC awards

1981-83 Fault Tolerant Software for Command & Control Systems 148

1984-85 Software Fault Tolerance in Real-Time Systems 13

1985-89 Reliability and Integrity of Distributed Systems 413

    Joint PI with Professor Randell

1988-91 Software Reliability Modelling 67

    Collaborative Alvey project

1992-96 Safety Critical and High Integrity Systems 330

    Jointly awarded with York University

1993-96 Understanding Changing Requirements 347

    Joint PI with Mr Dobson

1996-99 Software Architectures for Adaptive Systems 264

1996-99 Diversity in Safety Critical Software 129

1997-99 SafeGames (ROPA award) 93

2000-04 Diversity with Off-the-Shelf Components 194

2002-03 DERIDASC (ROPA award) 79

2002-05 FT Middleware for Next Generation Distributed Aerospace Apps 39

    Case award with MBDA

Other awards

1981-83 (MoD-DRA) Specification and Verification for Secure Systems 62

1981-84 (MoD-ASWE) Fault Tolerant Software for C2 Systems 56

1984-88 (DTI-Alvey) Support to Software Engineering Director 100

    Research programme planning and monitoring

1988-2003 (DTI) Software Reliability & Metrics Club 127

    Research dissemination project

1989-92 (DTI-IED) Methodology for Analysing Human and Computer Related Issues in Dependable Systems 141

    Joint PI with Mr Dobson

1991-2008 (BAE) Dependable Computing Systems Centre 3,186

    Jointly awarded with York University

1991-2012 (DTI industry) Safety-Critical Systems Club 2,191

    Research dissemination project

1993-94 (HSE/NCC) Software Dependability and Software Metrics 32

1993-96 (CEC-ESSI) ConForm 22

    Joint PI with Dr Fitzgerald

1994-97 (CEC-ESSI) European Network of Clubs on Reliable and Safe Software 210

    Research dissemination project

1994-96 (Scottish Nuclear) Designs Amenable to Safety Case Demonstration 94

    Joint PI with Mr Barrett

1995-97 (CEC-Copernicus) ISAT 65

    Joint PI with Dr Saeed

1998-99 (CEC-ESSI) ISA-Eunet 33

    Research dissemination project

2002-03 (CEC-FP5) Accompanying Measure on System Dependability 62

    Research dissemination project

2006-08 (CEC-FP6) Resilience for Survivability in IST 448

    Network of Excellence

2008 (BAE Systems) WIST (Plug & Play) 10

All over now, but down the years I taught courses on: formal models of computation (automata and formal grammars), introductory programming, fault tolerance and system dependability, and on algorithms. Plus, but to a lesser degree, material on numerical methods, IT and society. And – of course – supervision of PhD students and of MSc projects.

• Articles

  • Anderson T, Feng M, Riddle S, Romanovsky A. Wrapping it up. Safety Systems 2003, 13(1), 8-10.
  • Saeed A, de Lemos R, Anderson T. On the Safety Analysis of Requirements Specifications for Safety-Critical Software. ISA Transactions 1995, 34(4), 283-295.
  • de Lemos R, Saeed A, Anderson T. Analyzing Safety Requirements for Process-Control Systems. IEEE Software 1995, 12(3), 42-53.
  • Littlewood B, Anderson T, Bloomfield R, Malcolm R. Special Issue on Software Safety. Reliability Engineering & System Safety 1994, 43(2), 101-244.
  • Saeed A, de Lemos R, Anderson T. Formal Techniques for Requirements Analysis for Safe Reactor Control. The Nuclear Engineer: Journal of the Institution of Nuclear Engineers 1993, 34(4), 108-115.
  • de Lemos R, Saeed A, Anderson T. A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems. The Computer Journal 1992, 35(1), 30-40.
  • Lee PA, Anderson T. Principles of Fault Tolerance in Computing Systems. Journal of Communications Technology 1990, 1(1), 3-9.
  • Anderson T, Barrett PA, Halliwell DN, Moulding MR. Software Fault Tolerance: An Evaluation. IEEE Transactions on Software Engineering 1985, 11(12), 1502-1510.
  • Anderson T. Can Design Faults be Tolerated?. Software & Microsystems 1985, 4(3), 59-62.
  • Anderson T, Knight JC. A Framework for Software Fault Tolerance in Real-Time Systems. IEEE Transactions on Software Engineering 1983, (SE-9, 3), 355-364.
  • Anderson T, Witty RW. Safe Programming. BIT 1978, 1-8.
  • Anderson T, Shrivastava SK. Reliable software: a selective annotated bibliography. Software - Practice and Experience 1978, 8(1), 59-76.
  • Anderson T, Lee PA, Shrivastava SK. A Model of Recoverability in Multilevel Systems. IEEE Transactions on Software Engineering 1978, SE-4(6), 486-494.
  • Anderson T, Eve J, Horning JJ. Efficient LR(1) Parsers. Acta Informatica 1973, 2(1), 12-39.

• Authored Books

  • Anderson T, Avizienis A, Carter WC, Costes A, Cristian F, Koga Y, Kopetz H, Lala JH, Laprie JC, Meyer JF, Randell B, Robinson AS. Dependability: Basic Concepts and Terminology. Wien; New York: Springer-Verlag, 1992.
  • Lee PA, Anderson T. Fault Tolerance: Principles and Practice. Berlin: Springer-Verlag, 1990.
  • Anderson T, Lee PA. Fault Tolerance: Principles and Practice. Englewood Cliffs, N.J: Prentice Hall, 1981.

• Book Chapters

  • Anderson T, Parsons M, Rivett R. What the first 100 years of the railways can teach us about the first 10 years of self-driving road vehicles. In: Parsons, M, ed. The Future of Safe Systems: Proceedings of the 31st Safety-critical Systems Symposium, 7-9th February 2023, York, UK. York: Safety-Critical Systems Club, 2023, pp.21-55.
  • Merad S, DeLemos R, Anderson T. A Game Theoretic Solution for the Optimal Selection of Services. In: Valeria Cardellini;Emiliano Casalicchio;Kalinka Regina Lucas Jaquie Castelo Branco;Júlio Cezar Estrella;Francisco José Monaco, ed. Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions. IGI Global, 2011, pp.172-188.
  • Anderson T, Redmill F. Software Safety - An Insider's View of the Safety-Critical Systems Club. In: BCS Review: Looking Towards the Millennium. London, UK: British Computer Society, 1999, pp.192-193.
  • Anderson T. Foreword. In: Redmill, F., Dale, C.J, ed. Life Cycle Management for Dependability. New York; London: Springer, 1997.
  • Anderson T, de Lemos R, Saeed A. Analysis of Safety Requirements for Process Control Systems. In: Randell, B., Laprie, J-C., Kopetz, H., Littlewood, B, ed. Predictably Dependable Computing Systems. Berlin; New York: Springer-Verlag, 1995, pp.27-40.
  • Anderson T, de Lemos R, Fitzgerald JS, Saeed A. On Formal Support for Industrial-scale Requirements Analysis. In: Grossman, RL., Nerode, A., Ravn, A.P., Rischel, H, ed. Hybrid Systems. Berlin; New York: Springer-Verlag, 1993, pp.426-451.
  • Anderson T, et al. Education and Training for Safety-Critical Systems Practitioners. In: J.A. McDermid, ed. In Software in Safety-Related Systems. Wiley, 1992, pp.177-207.
  • Anderson T et al. Tolerating Software Design Faults in a Command and Control System. In: Voges, U, ed. Software Diversity in Computerized Control Systems. Wien; New York: Springer, 1988, pp.109-128.
  • Littlewood B, Anderson T. Reliability Modelling for Fault-Tolerant Software. In: Voges, U, ed. Software Diversity in Computerized Control Systems. Wien; New York: Springer, 1988, pp.173-182.
  • Anderson T. Die Auswirkungen der Fehler so klein wei moglich halten. In: Informations-verarbeitung - Grenzen der Machbarkeit. STR-AG, 1988, pp.30-43.
  • Anderson T. Tolerating Software Faults. In: Software Quality Assurance, Reliability and Testing. Gower Technical Press, 1987, pp.65-72.
  • Anderson T, Avizienis A, Laprie JC. The Technical Committee on Fault Tolerant Computing of the IEEE Computer Society. In: Avizienis, A., Kopetz, H., Laprie, J.C, ed. The Evolution of Fault-Tolerant Computing. In the Honor of William C. Carter. Wien; New York: Springer-Verlag, 1987, pp.437-440.
  • Anderson T. Design Fault Tolerance in Practical Systems. In: Littlewood, B, ed. Software Reliability: Achievement and Assessment. Oxford, UK: Blackwell Scientific Publications, 1987, pp.44-55.
  • Anderson T. Fault Tolerant Computing. In: Resilient Computing Systems. Collins, 1985, pp.1-10.
  • Lee PA, Anderson T. Design Fault Tolerance. In: Anderson, T, ed. Resilient Computing Systems. London: Collins, 1985, pp.64-77.
  • Anderson T, Lee PA, Shrivastava SK. System Fault Tolerance. In: Anderson, T. and Randell, B, ed. Computing Systems Reliability. Cambridge: Cambridge University Press, 1979, pp.153-210.

• Conference Proceedings (inc. Abstracts)

  • Anderson T, Rivett R. Lessons from railway accidents for autonomous road vehicles. In: 19th European Dependable Computing Systems Conference (EDCC 2024). 2024, Leuven, Belgium: IEEE.
  • Anderson T, Arief B, Basit TN, Borup R, Rutherford L. How to Succeed in CyberSpace. In: International Conference of Education, Research and Innovation. 2016, Seville: iated.
  • Anderson T, Andrews ZH, Fitzgerald JS, Randell B, Glaser H, Millard IC. The ReSIST Resilience Knowledge Base. In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). 2007, Edinburgh, UK: IEEE Computer Society.
  • Anderson T, Feng M, Riddle S, Romanovsky A. Error Recovery for a Boiler System with OTS PID Controller. In: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005). 2005, Sedona, Arizona: IEEE.
  • Anderson T, Randell B, Romanovsky A. Wrapping the Future. In: Building the Information Society: Proceedings of the IFIP 18th World Computer Congress. 2004, Toulouse, France: Kluwer Academic Publishers.
  • Anderson T, Feng M, Riddle S, Romanovsky A. Protective wrapper development: A case study. In: 2nd International Conference on COTS-Based Software Systems. 2003, Ottawa, Canada: Springer.
  • Anderson T, Feng M, Riddle S, Romanovsky A. Error Recovery for a Boiler System with OTS PID Controller. In: Workshop on Exception Handling in Object-Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms (ECOOP). 2003, Dept. of Computer Science, University of Minnesota, Minneapolis, USA.
  • de Lemos R, Saeed A, Anderson T. Analysis of Safety Requirements for a Chemical Batch Processing System. In: 2nd IFAC Workshop on Safety and Reliability in Emerging Control Technologies. 1996, Daytona Beach, Florida, USA: Elsevier Science Ltd.
  • Saeed A, de Lemos R, Anderson T. Safety Analysis for Requirements Specifications: Methods and Techniques. In: SAFECOMP95. The14th International Conference on Computer Safety, Reliability and Security. 1995, Belgirate, Italy: Springer-Verlag.
  • de Lemos R, Saeed A, Anderson T. Formal Techniques for Requirements Analysis for Safety-Critical Systems. In: IMA Conference on the Mathematics of Dependable Systems. 1995, London, UK: Clarendon Press.
  • Burnett R, Anderson T. Reliability Allocation for a Software System with Modular Structure. In: VIII Brazilian Symposium on Software Engineering. 1994, Curitiba.
  • Anderson T. Operating Safety and Fault Tolerance. In: Real Time Symposium ‘94. 1994, Paris.
  • DeLemos R, Saeed A, Anderson T. On the Safety Analysis of Requirements Specifications. In: SAFECOMP '94. 1994, Anaheim.
  • Saeed A, DeLemos R, Anderson T. An Approach for the Risk Analysis of Safety Specifications. In: COMPASS '94. 1994, Gaithersburg.
  • Anderson T. Safety - Status and Perspectives. In: 12th International Conference on Computer Safety, Reliability and Security (SAFECOMP '93). 1993, Poznan-Kiekrz, Poland: Springer-Verlag.
  • Saeed A, Anderson T, de Lemos R. Robust Requirements Specifications for Safety-Critical Systems. In: 12th International Conference on Computer Safety, Reliability and Security (SAFECOMP). 1993, Poznan-Kiekrz, Poland: Springer-Verlag.
  • Anderson T. Reliable Research and Dependable Development. In: Joint Framework for Information Technology (JFIT) Technical Conference. 1992, Brighton, UK: SERC/DTI, UK.
  • DeLemos R, Saeed A, Anderson T. Value Inconsistencies due to Time Uncertainties. In: 10th IFAC Workshop on Distributed Computer Control Systems. 1991, Semmering.
  • Saeed A, de Lemos R, Anderson T. The Role of Formal Methods in the Requirements Analysis of Safety-Critical Systems: a Train Set Example. In: Fault-Tolerant Computing: the 21st International Symposium (FTCS). 1991, Montreal, Canada: IEEE Computer Society Press.
  • de Lemos R, Saeed A, Anderson T. Analysis of Timeliness Requirements in Safety-Critical Systems. In: Formal Techniques in Real-Time and Fault-Tolerant Systems. 2nd International Symposium. 1991, Nijmegen, The Netherlands: Springer-Verlag.
  • Saeed A, Anderson T, Koutny M. A Formal Model for Safety-Critical Computing Systems. In: International Conference on Computer Safety, Reliability and Security (SAFECOMP). 1990, London, UK: Elsevier Science.
  • Anderson T. Design Fault Tolerance in Practical Systems. In: Software Engineering. 1988, London, UK: Blenheim Online.
  • Anderson T. Fault Tolerant Control Software. In: IEE Colloquium on Software for the Control of Gas Turbines. 1986, London, UK: Institution of Electrical Engineers.
  • Anderson T. A Structured Decision Mechanism for Diverse Software. In: 5th Symposium on Reliability in Distributed Software and Database Systems. 1986, Los Angeles, California, USA: IEEE Computer Society Press.
  • Anderson T, Barrett PA. Software Fault Tolerance Experiments. In: AGARD Lectures on Fault-Tolerant Hardware/Software Architecture for Flight Critical Function. 1985, Copenhagen and Athens.
  • Anderson T, et al. An Evaluation of Software Fault Tolerance in a Practical System. In: 15th International Symposium on Fault-Tolerant Computing. 1985, Ann Arbor.
  • Anderson T. Problems of Scale in Empirical Evaluation Projects. In: 14th International Conference on Fault-Tolerant Computing (FTCS). 1984, Kissimmee, Florida, USA: IEEE Computer Society Press.
  • Anderson T. Can Design Faults be Tolerated?. In: 2nd GI/NTG/GMR Conference on Fault Tolerant Computing Systems. 1984, Bonn: Springer.
  • Anderson T. Tolerating Design Faults in Software. In: de Ban Van Fout (in Thrall of Error), Afdeling/Sectie Informatictechniek. 1983, Utrecht.
  • Campbell RH, Anderson T, Randell B. Practical Fault Tolerant Software for Asynchronous Systems. In: 3rd IFAC/IFIP Workshop on Safety of Computer Control Systems: Achieving Safe Real Time Computer Systems. 1983, Cambridge: Franklin Book Co.
  • Anderson T, Knight JC. Software Fault Tolerance for Real-Time Avionics Systems. In: AGARD Symposium on Software for Avionics. 1982, The Hague, Netherlands: Advisory Group for Aerospace Research and Development.
  • Anderson T, Lee PA. Fault Tolerance Terminology Proposals. In: 12th Annual International Symposium on Fault-Tolerant Computing (FTCS-12). 1982, Santa Monica, CA, USA: IEEE Computer Society Press.
  • Anderson T, Moulding MR. Evaluating Software Fault Tolerance in a Real-Time System. In: Second European Symposium on Real-Time Data Handling and Process Control. 1982, Versailles.
  • Anderson T, Lee PA. The Provision of Recoverable Interfaces. In: 9th Annual International Symposium on Fault-Tolerant Computing (FTCS-9). 1979, Madison, WI, USA: IEEE Computer Society.
  • Anderson T, Lee PA. Principles of Fault-Tolerant Design. In: INFOTECH Lectures on Integrity and Recovery in Real Time Systems. 1977.
  • Anderson T, Kerr R. Recovery Blocks in Action. In: 2nd International Conference on Software Engineering. 1976, San Francisco.

• Digital or Visual Media

  • Anderson T, et al. The MARS System. 1991.
  • Anderson T. Software Dependability Through Diversity. 1990.

• Edited Books

  • Parsons M, Anderson T, ed. Developing Safe Systems: Proceedings of the Twenty-fourth Safety-critical Systems Symposium, Brighton, UK, 2-4th February 2016. 2016.
  • Parsons M, Anderson T, ed. Engineering Systems for Safety: Proceedings of the Twenty-third Safety-critical Systems Symposium, Bristol, UK, 3-5th February 2015. 2015.
  • Dale C, Anderson T, ed. Addressing Systems Safety Chalenges: Proceedings of the Twenty-second Safety-critical Systems Symposium, Brighton, UK, 4-6th February 2014. Brighton: CreateSpace, 2014.
  • Dale C, Anderson T, ed. Assuring the Safety of Systems: Proceedings of the Twenty-first Safety-critical Systems Symposium, Bristol, UK, 5-7th February 2013. Bristol, UK: CreateSpace, 2013.
  • Dale C, Anderson T, ed. Achieving Systems Safety: Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012. London: Springer, 2012.
  • Dale C, Anderson T, ed. Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011. London: Springer, 2011.
  • Dale C, Anderson T, ed. Making Systems Safer. Springer, 2010.
  • Dale C, Anderson T, ed. Safety-Critical Systems: Problems, Process and Practice. Springer, 2009.
  • Redmill F, Anderson T, ed. Improvements in System Safety: Proceedings of the Sixteenth Safety-critical Systems Symposium, Bristol, UK, 5-7 February 2008. London: Springer, 2008.
  • Redmill F, Anderson T, ed. The Safety of Systems: Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13-15 February 2007. London: Springer, 2007.
  • Redmill F, Anderson T, ed. Developments in Risk-based Approaches to Safety: Proceedings of the Fourteenth Safety-citical Systems Symposium, Bristol, UK, 7-9 February 2006. London: Springer, 2006.
  • Redmill F, Anderson T, ed. Constituents of Modern System-safety Thinking: Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8-10 February 2005. London: Springer, 2005.
  • Redmill F, Anderson T, ed. Practical Elements of Safety: Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17-19 February 2004. London: Springer, 2004.
  • Redmill F, Anderson T, ed. Current Issues in Safety-critical Systems: Proceedings of the Eleventh Safety-critical Systems Symposium, Bristol, UK, 4-6 February 2003. Berlin; New York: Springer, 2003.
  • Redmill F, Anderson T, ed. Components of System Safety: Proceedings of the Tenth Safety-Critical Systems Symposium, Southampton, UK. Berlin: Springer-Verlag, 2002.
  • Redmill F, Anderson T, ed. Aspects of Safety Management: Proceedings of the Ninth Safety-Critical Systems Symposium, Bristol, UK. London, UK: Springer-Verlag, 2001.
  • Redmill F, Anderson T, ed. Lessons in System Safety: Proceedings of the 8th Safety-critical Systems Symposium, Southampton, UK. Berlin; New York: Springer-Verlag, 2000.
  • Redmill F, Anderson T, ed. Towards System Safety: Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK. Berlin; New York: Springer-Verlag, 1999.
  • Redmill F, Anderson T, ed. Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998. Berlin; New York: Springer-Verlag, 1998.
  • Redmill F, Anderson T, ed. Safer Systems: Proceedings of the Fifth Safety-critical Systems Symposium, Brighton, 1997. London: Springer, 1997.
  • Redmill F, Anderson T, ed. Safety-critical Systems: The Convergence of High Tech and Human Factors: Proceedings of the Fourth Safety-Critical Systems Symposium, Leeds, UK. London, UK: Springer-Verlag, 1996.
  • Redmill F, Anderson T, ed. Achievement and Assurance of Safety: Proceedings of the Third Safety-Critical Systems Symposium, Brighton, UK. London, UK: Springer-Verlag, 1995.
  • Redmill F, Anderson T, ed. Technology and Assessment of Safety-Critical Systems: Proceedings of the Second Safety-Critical Systems Symposium, Birmingham, UK. Berlin; New York: Springer-Verlag, 1994.
  • Redmill F, Anderson T, ed. Safety-Critical Systems: Current Issues, Techniques and Standards. London: Chapman-Hall, 1993.
  • Redmill F, Anderson T, ed. Directions in Safety-Critical Systems: Proceedings Of The First Safety-Critical Systems Symposium, Bristol, United Kingdom. New York; London: Springer-Verlag, 1993.
  • Anderson T, ed. Dependability of Resilient Computers. Oxford, UK: Blackwell Scientific, 1989.
  • Anderson T, ed. Safe and Secure Computing Systems. Oxford: Blackwell Scientific, 1987.
  • Anderson T, ed. Software Requirements, Specification and Testing. Oxford, UK: Blackwell Scientific, 1985.
  • Anderson T, ed. Resilient Computing Systems. London: Collins, 1985.
  • Anderson T, Randell B, ed. Computing Systems Reliability. New York: Cambridge University Press, 1979.

• Letter

• Note

  • Anderson T. The prize for literature goes to ... The Sims [Quoted in text]. Times Higher Education Supplement 2005, (1720), 16-16.

• Reports

  • Anderson T, Andrews ZH, Fitzgerald JS, Randell B, Glaser H, Millard IC. The ReSIST Resilience Knowledge Base. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1021.
  • Anderson T, Randell B, Romanovsky A. Wrapping the Future. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 852.
  • Anderson T, Feng M, Riddle S, Romanovsky A. Investigative Case Study: Protective Wrapping of OTS items in Simulated Environments. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 821.
  • Anderson T, Feng M, Riddle S, Romanovsky A. Error Recovery for a Boiler System with OTS PID Controller. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 798.
  • Anderson T, Feng M, Riddle S, Romanovsky A. Protective Wrapper Development: A Case Study. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2002. School of Computing Science Technical Report Series 781.
  • Anderson T, et al. Evaluation of Danish Electronics, Light & Acoustics. Copenhagen, 2000. Report for the Danish agency for Trade and Industry.
  • Merad S, de Lemos R, Anderson T. Dynamic Selection of Software Components in the Face of Changing Requirements. University of Newcastle upon Tyne: School of Computing Science, 1999. Technical Report Series 664.
  • Anderson T, et al. Evaluation of Danish Electronics, Light & Acoustics. Copenhagen, 1997. Report for the Danish agency for Trade and Industry.
  • Burnett R, Anderson T. Trade-Off Between Cost and Reliability During the Design Phase. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 534.
  • de Lemos R, Saeed A, Anderson T. Formal Techniques for Requirements Analysys for Safety-Critical Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 503.
  • de Lemos R, Saeed A, Anderson T. Requirements Analysis for Safety-critical Systems: A Chemical Batch Processing Example. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 469.
  • Burnett R, Anderson T. Reliability Allocation for a System Using Markov Analysis. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 477.
  • de Lemos R, Saeed A, Anderson T. On the Safety Analysis of Requirements Specifications. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 493.
  • de Lemos R, Saeed A, Anderson T. Formal Techniqes for Requirements Analysis for Safety-critical Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 468.
  • de Lemos R, Saeed A, Anderson T. An Approach for the Risk Analysis of Safety Specifications. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 484.
  • Saeed A, de Lemos R, Anderson T. The Role of Formal Methods in the Requirements Analysis of Safety Critical Systems: A Train Set Example. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 429.
  • Saeed A, Anderson T, de Lemos R. Robust Requirements Specifications for Safety-Critical Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 451.
  • Anderson T, de Lemos R, Fitzgerald JS, Saeed A. On Formal Support for Industrial Scale Requirements Analysis. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 412.
  • Saeed A, de Lemos R, Anderson T. Formal Techniques for Requirements Analysis for Safe Reactor Control. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 430.
  • Saeed A, Anderson T. An Approach to the Requirements Analysis of Safety-Critical Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1992. Computing Laboratory Technical Report Series 380.
  • Saeed A, de Lemos R, Anderson T. An Approach to the Assessment of Requirements Specifications for Safety-Critical Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1992. Computing Laboratory Technical Report Series 381.
  • de Lemos R, Saeed A, Anderson T. Value Inconsistencies due to Time Uncertainties. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 360.
  • de Lemos R, Saeed A, Anderson T. Requirements Specification and Verification for Safety-critical Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 341.
  • de Lemos R, Saeed A, Anderson T. Analysis of Timeliness Requirements in Safety-Critical Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 359.
  • de Lemos R, Saeed A, Anderson T. A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 361.
  • Anderson T, et al. Fault Tolerant Software in a Naval Command and Control System. Newcastle, 1987. Computing Lab/MARI Report 4844/DD.17/5.
  • Anderson T, Barrett PA, Halliwell DN, Moulding MR. Software Fault Tolerance: An Evaluation. Newcastle upon Tyne: Computing Laboratory, The University of Newcastle upon Tyne, 1985. Computing Laboratory Technical Report Series 202.
  • Anderson T. Can Design Faults be Tolerated?. Newcastle upon Tyne: Computing Laboratory, The University of Newcastle upon Tyne, 1985. Computing Laboratory Technical Report Series 196.
  • Anderson T, et al. Software Reliability Research Programme - Overview. 1984. IEE (for the Alvey Directorate).
  • Anderson T, et al. Software Reliability and Metrics Programme. 1984. IEE (for the Alvey Directorate).
  • Anderson T, Barrett PA, Halliwell DN. Fault Tolerant Software in Naval Command and Control Systems: Results and Conclusions from the Experimental Programme. Newcastle, 1984. MARI Report 4844/DD.17/2.
  • Anderson T, Jackson PR. The Potential for Fault Tolerance within Real Time Embedded Systems. Stevenage, 1983. British Aerospace Report.
  • Campell RH, Anderson T, Randell B. Practical Fault Tolerant Software for Asynchronous Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1983. Computing Laboratory Technical Report Series 187.
  • Anderson T. IBM: Opportunities and Challenges. Maidenhead, 1983. Xephon Report.
  • Moulding MR, Anderson T. A Revised Scheme for Software Fault Tolerance in MASCOT systems. Newcastle, 1983. MARI Report A049/DD.4/3.
  • Anderson T, Lee PA. Fault Tolerance Terminology Proposals. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1982. Computing Laboratory Technical Report Series 174.
  • Anderson T, Moulding MR. A MASCOT Recovery Block Scheme. Newcastle, 1982. MARI Report A049/DD.4/2.
  • Anderson T, Knight JC. Practical Software Fault Tolerance for Real-time Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1981. Computing Laboratory Technical Report Series 169.
  • Anderson T, Moulding MR. Fault Tolerant Software in Naval Command and Control Systems. Newcastle, 1981. MARI Report A049/DD.0/1.
  • Anderson T, Lee PA. The Provisions of Recoverable Interfaces. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1979. Computing Laboratory Technical Report Series 137.
  • Anderson T, Lee PA. The Provision of Recoverable Interfaces. Hampton VA, 1979. ICASE Report 79-9.
  • Anderson T, Knight JC. Practical Software Fault Tolerance for Real-Time Systems. Hampton VA, 1979. ICASE Report 81-10.
  • Anderson T. Software Fault-Tolerance. 1977. INFOTECH State of the Art Report on Software Reliability.
  • Anderson T, Shrivastava SK. Reliable Software: A Selective Annotated Bibliography. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1977. Computing Laboratory Technical Report Series 111.
  • Anderson T, Lee PA, Shrivastava SK. A Model of Recoverability in Multi-level Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1977. Computing Laboratory Technical Report Series 115.
  • Anderson T, Shrivastava SK. A Bibliography of Reliable Software. 1977. INFOTECH State of the Art Report on Software Reliability.
  • Anderson T, Kerr R. Recovery Blocks in Actions: A System Supporting High Reliability. Newcastle upon Tyne: Computing Laboratory, The University of Newcastle upon Tyne, 1976. Computing Laboratory Technical Report Series 93.
  • Anderson T. Provably Safe Programs. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1975. Computing Laboratory Technical Report Series 70.
  • Anderson T. [PhD Thesis] Syntactic analysis of LR(k) languages. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1972.
  • Anderson T, Eve J, Horning JJ. Efficient LR(1) Parsers. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1971. Computing Laboratory Technical Report Series 24.
  • Metcalfe SR, Anderson T. Integration by Gauss Quadrature. Billingham, 1967. ICI Report RD/TE 562.

• Reviews

  • Anderson T. Software Coalition (Review of Software Engineering Journal). Times Higher Education Supplement 1986.
  • Anderson T. Software reliability: Principles and practices G. J. Myers [Book review]. Software: Practice and Experience 1978, 8(1), 110-110.