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.

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, but maintaining engagement in outreach via CSR Events.

Research Interests

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

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, 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.

• 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.
• 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.
• 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.
• 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, 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.
• 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.
• 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. The prize for literature goes to ... The Sims [Quoted in text]. Times Higher Education Supplement 2005, (1720), 16-16.
• 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.
• 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, 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.
• 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.
• 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.
• 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. 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. 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. Wrapping it up. Safety Systems 2003, 13(1), 8-10.
• Redmill F, Anderson T, ed. Components of System Safety: Proceedings of the Tenth Safety-Critical Systems Symposium, Southampton, UK. Berlin: Springer-Verlag, 2002.
• 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.
• Redmill F, Anderson T, ed. Aspects of Safety Management: Proceedings of the Ninth Safety-Critical Systems Symposium, Bristol, UK. London, UK: Springer-Verlag, 2001.
• Anderson T, et al. Evaluation of Danish Electronics, Light & Acoustics. Copenhagen, 2000. Report for the Danish agency for Trade and Industry.
• 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.
• 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, 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.
• 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.
• Anderson T, et al. Evaluation of Danish Electronics, Light & Acoustics. Copenhagen, 1997. Report for the Danish agency for Trade and Industry.
• Anderson T. Foreword. In: Redmill, F., Dale, C.J, ed. Life Cycle Management for Dependability. New York; London: Springer, 1997.
• Redmill F, Anderson T, ed. Safer Systems: Proceedings of the Fifth Safety-critical Systems Symposium, Brighton, 1997. London: Springer, 1997.
• 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.
• 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.
• 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.
• de Lemos R, Saeed A, Anderson T. Analyzing Safety Requirements for Process-Control Systems. IEEE Software 1995, 12(3), 42-53.
• 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.
• 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.
• 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.
• 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.
• 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. 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, DeLemos R, Anderson T. An Approach for the Risk Analysis of Safety Specifications. In: COMPASS '94. 1994, Gaithersburg.
• 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. 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.
• DeLemos R, Saeed A, Anderson T. On the Safety Analysis of Requirements Specifications. In: SAFECOMP '94. 1994, Anaheim.
• Anderson T. Operating Safety and Fault Tolerance. In: Real Time Symposium ‘94. 1994, Paris.
• Burnett R, Anderson T. Reliability Allocation for a Software System with Modular Structure. In: VIII Brazilian Symposium on Software Engineering. 1994, Curitiba.
• 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. 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.
• Littlewood B, Anderson T, Bloomfield R, Malcolm R. Special Issue on Software Safety. Reliability Engineering & System Safety 1994, 43(2), 101-244.
• 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. Directions in Safety-Critical Systems: Proceedings Of The First Safety-Critical Systems Symposium, Bristol, United Kingdom. New York; London: Springer-Verlag, 1993.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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. Safety - Status and Perspectives. In: 12th International Conference on Computer Safety, Reliability and Security (SAFECOMP '93). 1993, Poznan-Kiekrz, Poland: Springer-Verlag.
• Redmill F, Anderson T, ed. Safety-Critical Systems: Current Issues, Techniques and Standards. London: Chapman-Hall, 1993.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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. Reliable Research and Dependable Development. In: Joint Framework for Information Technology (JFIT) Technical Conference. 1992, Brighton, UK: SERC/DTI, UK.
• 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.
• 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.
• 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. 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.
• Anderson T, et al. The MARS System. 1991.
• 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. Value Inconsistencies due to Time Uncertainties. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 360.
• 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, 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.
• Lee PA, Anderson T. Fault Tolerance: Principles and Practice. Berlin: Springer-Verlag, 1990.
• Lee PA, Anderson T. Principles of Fault Tolerance in Computing Systems. Journal of Communications Technology 1990, 1(1), 3-9.
• Anderson T. Software Dependability Through Diversity. 1990.
• Anderson T. Dependability of Resilient Computers. Oxford, UK: Blackwell Scientific, 1989.
• Anderson T. Design Fault Tolerance in Practical Systems. In: Software Engineering. 1988, London, UK: Blenheim Online.
• Anderson T. Die Auswirkungen der Fehler so klein wei moglich halten. In: Informations-verarbeitung - Grenzen der Machbarkeit. STR-AG, 1988, pp.30-43.
• 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 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.
• 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, et al. Fault Tolerant Software in a Naval Command and Control System. Newcastle, 1987. Computing Lab/MARI Report 4844/DD.17/5.
• Anderson T, ed. Safe and Secure Computing Systems. Oxford: Blackwell Scientific, 1987.
• 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. Tolerating Software Faults. In: Software Quality Assurance, Reliability and Testing. Gower Technical Press, 1987, pp.65-72.
• 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. Fault Tolerant Control Software. In: IEE Colloquium on Software for the Control of Gas Turbines. 1986, London, UK: Institution of Electrical Engineers.
• Anderson T. Software Coalition (Review of Software Engineering Journal). Times Higher Education Supplement 1986.
• 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. 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. Can Design Faults be Tolerated?. Software & Microsystems 1985, 4(3), 59-62.
• Lee PA, Anderson T. Design Fault Tolerance. In: Anderson, T, ed. Resilient Computing Systems. London: Collins, 1985, pp.64-77.
• Anderson T. Fault Tolerant Computing. In: Resilient Computing Systems. Collins, 1985, pp.1-10.
• Anderson T, ed. Resilient Computing Systems. London: Collins, 1985.
• 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, Barrett PA, Halliwell DN, Moulding MR. Software Fault Tolerance: An Evaluation. IEEE Transactions on Software Engineering 1985, 11(12), 1502-1510.
• 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, ed. Software Requirements, Specification and Testing. Oxford, UK: Blackwell Scientific, 1985.
• Anderson T. Can Design Faults be Tolerated?. In: 2nd GI/NTG/GMR Conference on Fault Tolerant Computing Systems. 1984, Bonn: Springer.
• 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. 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, et al. Software Reliability and Metrics Programme. 1984. IEE (for the Alvey Directorate).
• Anderson T, et al. Software Reliability Research Programme - Overview. 1984. IEE (for the Alvey Directorate).
• 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.
• Moulding MR, Anderson T. A Revised Scheme for Software Fault Tolerance in MASCOT systems. Newcastle, 1983. MARI Report A049/DD.4/3.
• Anderson T. IBM: Opportunities and Challenges. Maidenhead, 1983. Xephon Report.
• 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.
• 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, Jackson PR. The Potential for Fault Tolerance within Real Time Embedded Systems. Stevenage, 1983. British Aerospace Report.
• Anderson T. Tolerating Design Faults in Software. In: de Ban Van Fout (in Thrall of Error), Afdeling/Sectie Informatictechniek. 1983, Utrecht.
• Anderson T, Moulding MR. A MASCOT Recovery Block Scheme. Newcastle, 1982. MARI Report A049/DD.4/2.
• 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. 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, 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, 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.
• Lee PA, Anderson T. Fault Tolerance: Principles and Practice. Englewood Cliffs, N.J: Prentice Hall, 1981.
• Anderson T, Moulding MR. Fault Tolerant Software in Naval Command and Control Systems. Newcastle, 1981. MARI Report A049/DD.0/1.
• 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, Randell B, ed. Computing Systems Reliability. New York: Cambridge University Press, 1979.
• Anderson T, Knight JC. Practical Software Fault Tolerance for Real-Time Systems. Hampton VA, 1979. ICASE Report 81-10.
• 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.
• 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. The Provision of Recoverable Interfaces. Hampton VA, 1979. ICASE Report 79-9.
• 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, Shrivastava SK. A Model of Recoverability in Multilevel Systems. IEEE Transactions on Software Engineering 1978, SE-4(6), 486-494.
• Anderson T, Shrivastava SK. Reliable software: a selective annotated bibliography. Software - Practice and Experience 1978, 8(1), 59-76.
• Anderson T. Review of Software Reliability. G.J. Myers, 1978.
• Anderson T, Witty RW. Safe Programming. BIT 1978, 1-8.
• Anderson T, Shrivastava SK. A Bibliography of Reliable Software. 1977. INFOTECH State of the Art Report on Software Reliability.
• 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, Lee PA. Principles of Fault-Tolerant Design. In: INFOTECH Lectures on Integrity and Recovery in Real Time Systems. 1977.
• 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. Software Fault-Tolerance. 1977. INFOTECH State of the Art Report on Software Reliability.
• Anderson T, Kerr R. Recovery Blocks in Action. In: 2nd International Conference on Software Engineering. 1976, San Francisco.
• 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, Eve J, Horning JJ. Efficient LR(1) Parsers. Acta Informatica 1973, 2(1), 12-39.
• 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.