Engineering of complex systems; trusted computer system development & assurance; air traffic management; Safety Critical Systems; Formal Methods; Hazard and Risk Analysis; mathematical foundations of systems and software engineering; configuration & change management.
Peter Lindsay joined the University of Queensland in 1991 after holding academic and research positions at the University of New South Wales, the University of Manchester in the UK and the University of Illinois at Urbana-Champaign in the USA. He has over 30 years’ experience in formal aspects of systems and software engineering. He is co-author of two books on formal specification and verification of software systems, and over 60 refereed papers in the area.
From 1991-2001 he was Assistant Director of the Software Verification Research Centre (SVRC) and provided system safety expertise to government and industry on a large number of safety-critical applications in the areas of defence, aerospace and transport. In 2001 he was appointed inaugural Boeing Professor of Systems Engineering at UQ and created the Systems Engineering field of study in the Master of Engineering program at UQ. In 2003 he was appointed founding Director of the ARC Centre for Complex Systems (ACCS), an inter-disciplinary research centre exploring emergent behaviour and distributed control in network-based systems. Peter retired from UQ in July 2016.
In 1996, with Nigel Morlet, he was awarded the Cutler’s Prize for advances in surgical instrumentation by the Royal College of Surgeons of England for a device they invented for measuring astigmatism during surgery.
Safety Assurance for Operating Procedures – a formal methods approach: Keynote talk at the 2014 Australian System Safety Conference.
Talk on two areas of application for complex-systems models of non-linear systems (genetic regulation of cell growth in biological organisms, and patient flow through a hospital Emergency Dept), given to the Centre for Complex Systems Analysis at the University of York, UK on 28 Nov 2008.
Distributed Control in Network-based Systems: a complex systems approach, at Formal Methods 2006, Canada, August 2006.
Safety Assurance of COTS Software, at Software Engineering Australia (SEA 2000), Canberra, April 2000.
Verification & Validation of Safety-Critical Software, at Software Engineering Australia (SEA'99), Canberra, April 1999.
A Tutorial Introduction to Formal Methods, 3rd Australian Workshop on Safety Critical Systems and Software (SCS'98), Adelaide, November 1998.
· Safety Assurance for Operating Procedures: a formal methods approach, in Proc 2014 Australian System Safety Conference, CRPIT vol 156, to appear.
· S-K. Kim, T. Myers, M-F. Wendland &.A. Lindsay, Execution of natural language requirements using State Machines synthesised from Behavior Trees, Journal of Systems and Software 85 (2012) 2652-2664.
· L. Grunske, K. Winter, N. Yatapanage, S. Zafar & P. Lindsay. Experience with fault injection experiments for FMEA, J. of Software: Practice & Experience, 41(11) 1233-1258, 2011.
· Behavior Trees: from Systems Engineering to Software Engineering, in Proc 8th IEEE Int Conf on Software Engineering and Formal Methods (SEFM), Pisa, Italy Sept 2010, pp 21-30.
· P.A. Lindsay, K.Winter & N.Yatapange, Safety assessment using Behavior Trees and Model Checking, in Proc 8th IEEE Int Conf on Software Engineering and Formal Methods (SEFM), Pisa, Italy Sept 2010, pp 181-190.
· L Grunske, P Lindsay, N Yatapanage, K Winter. An automated failure mode & effects analysis based on high-level design specification with Behavior Trees, in Proc Integrated Formal Methods (IFM’05), LNCS 3771, Springer 2005, 129-149.
in Proc. Systems Engineering, Test and Evaluation Conference (SETE 2002), Systems Engineering Society of Australia, 2002, 83-93.
· M. Bofinger, N. Robinson, P. Lindsay, M. Spiers, M. Ashford and A. Pitman. Experience with Extending CMMI for Safety Related Applications, Proc 12th Ann Int Symp of the Int Council On Systems Eng (INCOSE 2002), Las Vegas 2002.
Proc 6th Australian Workshop on Safety Critical Systems and Software, CRPIT vol.3, Aust Comp Soc, 2001, 31-38.
in Proc 5th Australian Workshop on Safety Critical Systems and Software.
in Computer Safety, Reliability and Security (SAFECOMP 2000), LNCS 1943, Springer 2000, 117-130.
Proc 4th Australian Workshop on Safety Critical Systems and Software.
See also SVRC Technical Report 99-42.
in Proc 5th IEEE Int Symp on High Assurance Systems Engineering (HASE'00).
SVRC Technical Report 99-31.
Proc 16th Int Conf on Computer Safety, Reliability and Security (SAFECOMP'97), Springer Verlag 1997, 70-82.
· S. Arnott & P.A. Lindsay, Case study analysis of Defense Experimentation to support Network Enabled Capability development, Journal of Defense Modeling and Simulation, Jan 2012.
· K.-Y. Chen & P.A. Lindsay, Feedback of delayed rewards in XCS for environments with aliasing states, Proc 4th Australian Conference on Artificial Life, Lecture Notes in AI, Springer.
· (with C.Ramsay & Boeing RTE Madrid) Robustness of idle-throttle continuous descent approach trajectories against modified timing requirements, Proc 9th AIAA Aviation Technology, Integration, and Operations Conference (ATIO’09), Sept 2009.
· K.-Y. Chen, P.A. Lindsay, P.J. Robinson & H.A. Abbass, A hierarchical conflict resolution method for multi-agent path planning, Proc 2009 IEEE Congress on Evolutionary Computation (CEC '09), 18-21 May 2009, 1169-1176.
· J. Zhao, Z. Yang Dong, P. Lindsay & K.P. Wong, Flexible transmission expansion planning with uncertainties in an electricity market, IEEE Transactions on Power Systems 24 (1) 2009, 479 – 488.
· S. Connelly, P. Lindsay & M. Gallagher. An agent based approach to examining shared situation awareness, Proc 12th Int Conf on Engineering of Complex Computer Systems, IEEE CS Press, July 2007, 138-147.
· KY Chen, H. Dam, P. Lindsay & H. Abbass. Biasing XCS with domain knowledge for planning flight trajectories in a moving sector free flight environment, Proc 2007 IEEE Symposium on Artificial Life, Hawaii, USA, April 2007, 456-462.
· A. Neal, M. Mooij, S. Bolland, T. Xiao, P. Lindsay & C. Boag-Hodgson. Using multi-level analysis to model the sources of variability in workload within and between sectors, Proc 14th Internat Symposium on Aviation Psychology (ISAP 2007), Dayton OH, USA, April 2007, Human Factors and Ergonomics Society, 463-468.
· S. Bolland, A. Neal, S. Fothergill, M. Humphreys & P. Lindsay. Modeling the human operator, part II: emulating controller intervention, Proc 14th Internat Symposium on Aviation Psychology (ISAP 2007), Dayton OH, USA, April 2007, Human Factors and Ergonomics Society, 57-62.
· (with A. Kay et al) An exploration into the uses of agent-based modelling to improve quality of health care, Proc Int Conf on Complex Systems (ICCS2006), Boston 2006.
· R Chang, P Lindsay, A simulator for exploring autonomous control of multiple UAVs at non-radar controlled airstrips, in Proc 2nd International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP 2005), 391-396.
· J. Wicks et al, Simulation of Air Traffic Controllers’ behaviour using the Operator Choice Model, in: Proc International Congress on Modelling and Simulation (MODSIM’05), 3023-3029, 2005.
· A.Cerone, S.Connelly and P.Lindsay, Formal analysis of human operator behavioural patterns in interactive surveillance systems, J. Software & Systems Modeling 7#3 (2008) 273-286.
Koblenz, Germany, 5-9 September 2005, IEEE Comp Soc, 2005, 352-361.
· (with SafeHCI colleagues) Development of hazard analysis techniques for human-computer systems, in: Innovation and Consolidation in Aviation, G. Edkins & P. Pfister (Eds.), Aldershot, UK: Ashgate, 2003, 255-262.
Proc 3rd Australasian User Interface Conference (AUIC2002), CRPIT vol.7, Aust Comp Soc, 2002, 43-54.
in Proc Australasian User Interface Conference (AUIC2001), IEEE Press, 2001, 42-29.
in: IEE Proc of Software Eng 144(4):206-214, August 1997.
· A formal basis for modelling process and task management aspects of user interface design, in: Proc. BCS FACS Workshop Formal Aspects of The Human Computer Interface, Sheffield, UK, September 1996 (Springer-Verlag).
in Proc 5th IEEE Int Symp on High Assurance Systems Engineering (HASE'00).
in: Proof in VDM: Case Studies (J.C. Bicarregui, editor), Springer Verlag FACIT series, 1998 (ISBN 3-540-76186-1), 65-93.
IEE Proceedings of Software Eng 4 (1997) 206--214.
· (with colleagues from CSC Australia and the SVRC) Formal Methods Pilot Project, in: Proceedings Asia-Pacific Software Engineering Conference APSEC'96, Seoul, Dec'96.
A second report appears in the Industry Experience Track Proceedings, 9th Australian Software Engineering Conference (ASWEC'96), Melbourne, July 1996.
Proceedings of the International Conference on Software Maintenance (ICSM), Montreal, Canada, Oct 2002, pages 492-500, IEEE Computer Society.
See also SVRC Technical Report 02-07.
See also SVRC Technical Report 01-25.
· (with L.Murray, A.Griffiths, P.Strooper) Requirements traceability for embedded software - an industry experience report, Proceedings 6th IASTED Sw Eng & Applics conference (SEA 2002), ed M.H. Hamza, ACTA Press, 2002, pp 63-69.
See also SVRC Technical Report 00-41.
in Proc 7th IEEE Int Conf on Engineering of Complex Computer Systems, Skovde, Sweden, 2001.
See also SVRC Technical Report 00-24.
· (with O.Traynor) Supporting fine-grained traceability in software development environments, in Proc. 8th System Configuration Management Symposium, Springer Verlag LNCS 1439, 1998, 133-139.
· (with Y.Liu, O.Traynor) A generic model for fine-grained configuration management including version control and traceability, in Proc. Australian Software Engineering Conference (ASWEC'97), IEEE Computer Society Press 1997, 27--36.
in Proc. Formal Methods Pacific (FMP'97), Springer Verlag 1997, 165--185.
· (with K.Ross) A precise examination of the behaviour of process models, in Proc. Formal Methods Europe (FME'94), Barcelona, October 1994.
· (with D.Hemer) Supporting component-based reuse in CARE, Proc Aust Comp Sci Conf (ACSC2002), CRPIT vol.4, Aust Comp Soc 2002, 95-104.
See also SVRC Technical Report 01-26.
· (with D.Hemer) Using CARE to construct verified software, in Proceedings 1st Int Conf on Formal Engineering Methods (ICFEM'97), IEEE Computer Society Press 1997, 122-131.
See also SVRC Technical Report 97-40.
· (with D.Hemer) Reuse of verified design templates through extended pattern matching, in Proceedings Formal Methods Europe (FME'97), Springer Verlag 1997, 495-514.
See also SVRC Technical Report 97-03.
· (with D.Hemer) A template-based approach to construction of verified software, SVRC Technical Report 96-23, August 1996.
· (with David Hemer) An industrial-strength method for the construction of formally verified software, in: Proceedings of the 9th Australian Software Engineering Conference (ASWEC'96), Melbourne, July 1996, IEEE Computer Society Press.
· (with David Hemer) The CARE toolset for developing verified programs from formal specifications, in: Proceedings of the 4th IEEE International Symposium on Assessment of Software Tools, Toronto, Canada, May 1996.
· Co-editor, Distributed, Parallel and Biologically Inspired Systems, IFIP Advances in Information and Communication Technology vol 329, Springer 2010.
Editor, Proc Australian Systems Engineering, Test & Evaluation Conference (SETE), 2005.
Conferences in Research and Practice in Information Technology volume 33, Australian Computer Society, 2003.
Editor, Proceedings 7th Australian Workshop on Safety Critical Systems and Software, Conferences in Research and Practice in Information Technology volume 15, Australian Computer Society, 2002.
Editor, Proceedings 6th Australian Workshop on Safety Critical Systems and Software, Conferences in Research and Practice in Information Technology volume 3, Australian Computer Society, 2001.
Editor, Proceedings 3rd Australian Workshop on Safety Critical Systems and Software, Australian Computer Society, 1998 (ISBN no. 0-9099-2570-4).
(with Juan Bicarregui, John Fitzgerald, Richard Moore and Brian Ritchie) Proof in VDM: A Practitioner's Guide, Springer-Verlag, FACIT Series, 1994.
(with Cliff Jones, Kevin Jones and Richard Moore) mural: A Formal Development Support System, Springer-Verlag, 1991.
Click here to see our cat Katya.
