Staff Profile

Introduction

I am a Senior Lecturer in the School of Computing, a Senior Fellow of the Higher Education Academy (SFHEA), co-group lead for EPiC and a co-Deputy Head of School. Previously I have been Director of Education (2020 – 2022) and Director of Postgraduate Studies (2018-2020).

Past research projects include FP7 Project COMPASS (Comprehensive Modelling for Advanced Systems of Systems). I obtained my BSc in Computer Software Technology at the University of Bath in 1991, and completed a PhD at Bath in 1997 on the use of partial specifications and refinement theory to aid the process of explaining complex systems.

I have over 20 years experience in teaching a range of modules including java programming, software engineering, fundamentals of computing, high integrity development, team project, research methods and individual dissertation modules.

In 2024-25 I teach stage 3 BSc module in Fault Tolerant and Cyber Physical Systems, and am part of the team delivering the stage 3 dissertation module.

Esteem Indicators

Organising committee member for the 10th Overture Workshop, held at FM'2012, Paris, August 2012

Co-chair of the Ada Connection, 16th International Conference on Reliable Software Technologies (Ada-Europe 2011) 

Member of program committee for Fourth International Workshop on Requirements for High Assurance Systems (RHAS 05, Paris) August 2005

• Articles

  • Larsen PG, Fitzgerald JS, Riddle S. Practice-oriented courses in formal methods using VDM⁺⁺. Formal Aspects of Computing 2009, 21(3), 245-257.
  • Anderson T, Feng M, Riddle S, Romanovsky A. Wrapping it up. Safety Systems 2003, 13(1), 8-10.
  • Riddle S, Pearson S, Saeed A. Traceability for the development and assessment of safe avionic systems. . Proc. 8th Int. Symposium International Council on Systems Engineering (INCOSE'98), Vancouver BC, Canada, , 445-452 1998.
  • Ainsworth M, Riddle S, Wallis PJL. Formal validation of viewpoint specifications. Software Engineering Journal 1996, 11(1), 58-66.

• Book Chapters

  • Ingram C, Riddle S. Cost‐benefits of Traceability. In: Cleland-Huang, J., Gotel, O., Zisman, A, ed. Software and Systems Traceability. London: Springer, 2012, pp.23-42.
  • Riddle S, Dawkins S. Managing and supporting the use of COTS. In: Redmill, R and Anderson, T, ed. Lessons in System Safety: Proceedings of the 8th Safety-Critical Systems Symposium, Southampton, UK. London: Springer, 2000, pp.284-300.

• Conference Proceedings (inc. Abstracts)

  • Almutairi M, Riddle S. State of the art of IT outsourcing and future needs for managing its security risks. In: International Conference on Information Management and Processing (ICIMP 2018). 2018, London, UK: IEEE.
  • Almutairi M, Riddle S. Managing outsourced IT projects’ security risks: A case study. In: ICIME 2018 Proceedings of the 2018 10th International Conference on Information Management and Engineering. 2018, Salford, UK: Association for Computing Machinery.
  • Almutairi M, Riddle S. ISMSs in outsourcing Context. In: 2018 21st Saudi Computer Society National Computer Conference (NCC). 2018, Riyadh, Saudi Arabia: IEEE.
  • Almutairi M, Riddle S. A framework for managing security risks of outsourced it projects: An empirical study. In: ACM International Conference Proceeding Series. 2018, Casablanca, Morocco: Association for Computing Machinery.
  • Almutairi M, Riddle S. Security threat classification for outsourced IT projects. In: 2017 11th International Conference on Research Challenges in Information Science (RCIS). 2017, Brighton, UK: IEEE Computer Society.
  • Marshall L, Heels L, Riddle S. Developing assessment literacy in Stage One BsC Computing Students. In: HEA Transforming Assessment in Higher Education Symposium: Assessment literacy. 2017, HEA, York, UK: HEA.
  • Ingram C, Riddle S, Fitzgerald J, Al-Lawati AHJ, Alrbaiyan A. Sos Fault Modelling at the Architectural Level in an Emergency Response Case Study. In: Workshop on Engineering Dependable Systems of Systems (EDSoS). 2014, Newcastle, UK.
  • Khankaew S, Riddle S. A review of practice and problems in requirements engineering in small and medium software enterprises in Thailand. In: 2014 IEEE 4th International Workshop on Empirical Requirements Engineering (EmpiRE). 2014, Karlskrona, Sweden: IEEE.
  • Ingram C, Riddle S. Using Early Stage Project Data to Predict Change-Proneness. In: 3rd International Workshop on Emerging Trends in Software Metrics (WETSoM). 2012, Zurich, Switzerland.
  • Payne RJ, Bryans JW, Fitzgerald JS, Riddle S. Interface Specification for System-of-Systems Architectures. In: 7th International Conference on Systems of Systems Engineering (SoSE). 2012, Genoa, Italy: IEEE.
  • Ingram C, Riddle S. Linking Software Design Metrics to Component Change-Proneness. In: 2nd International Workshop on Emerging Trends in Software Metrics (WeTSOM 2011). 2011, Honolulu, Hawaii, USA: ACM Press.
  • Ingram C, Riddle S. Linking software design metrics to component change-proneness. In: 2nd International Workshop on Emerging Trends in Software Metrics (WeTSOM 2011) at IEEE International Conference on Software Engineering (ICSE). 2011, Honolulu, Hawaii: ACM Press.
  • Riddle S, Keshlaf AAA. An Empirical Study of Web and Distributed Software Risks from Three Perspectives: Project, Process and Product. In: Sixth International Conference on Internet Monitoring and Protection. 2011, St Maarten, The Netherlands Antilles.
  • Keshlaf AA, Riddle S. Risk Management for Web and Distributed Software Development Projects. In: Fifth International Conference on Internet Monitoring and Protection (ICIMP 2010). 2010, Barcelona, Spain: IEEE Computer Society.
  • Arkley P, Riddle S, Brookes T. Tailoring Traceability Information to Business Needs. In: 14th IEEE International Requirements Engineering Conference (RE'06). 2006, Minneapolis/St Paul, Minnesota, USA: IEEE.
  • van der Meulen M, Riddle S, Strigini L, Jefferson N. Protective Wrapping of Off-the-Shelf Components. In: COTS-Based Software Systems: 4th International Conference (ICCBSS). 2005, Bilbao, Spain: Springer-Verlag.
  • Arkley P, Riddle S. Overcoming the Traceability Benefit Problem. In: 13th IEEE International Conference on Requirements Engineering. 2005, Paris, France: 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.
  • Jefferson N, Riddle S. Towards a Formal Semantics of a Composition Language. In: Third International Workshop on Composition Languages. 2003, Darmstadt, Germany.
  • 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.
  • Mason PAJ, Saeed A, Riddle S. On the role of traceability for standards compliance: Tracking requirements to code. In: Computer Safety, Reliability, and Security: 22nd International Conference (SAFECOMP). 2003, Edinburgh, UK: Springer.
  • Mason P, Saeed A, Arkely P, Riddle S. Meta-modelling approach to traceability for avionics: A framework for managing the engineering of computer based aerospace systems. In: 10th International Conference and Workshop on the Engineering of Computer-Based Systems. 2003, Huntsville, Alabama, USA: IEEE.
  • Arkley P, Mason P, Riddle S. Enabling Traceability. In: 1st International Workshop on Traceability in Emerging Forms of Software Engineering. 2002, Edinburgh, UK.
  • Popov P, Strigini L, Riddle S, Romanovsky A. Protective Wrapping of OTS Components. In: 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction (part of the 23rd IEEE International Conference on Software Engineering (ICSE). 2001, Toronto, Canada: IEEE Computer Society Press.
  • Popov P, Riddle S, Romanovsky A, Strigini L. On Systematic Design of Protectors for Employing OTS Items. In: 27th Euromicro Conference. 2001, Warsaw, Poland: IEEE Computer Society Press.
  • Dawkins S, Riddle S. Managing and supporting the use of COTS. In: 8th Safety-Critical Systems Symposium. 2000, Southampton, UK: Springer, London.
  • Riddle S, Saeed A. Tool support for implementation and analysis of traceability structures. In: 9th Annual International Symposium of the International Council on Systems Engineering (INCOSE). 1999, Brighton, UK.
  • Pearson S, Riddle S, Saeed A. Traceability for the Development and Assessment of Safe Avionic Systems. In: 8th INCOSE International Conference on Systems Engineering. 1998, Vancouver, Canada.
  • Riddle S, Wallis PJL. Denotational Semantics and Refinement. In: 1st Irish Workshop on Formal Methods (IWFM). 1997, Dublin, Ireland: Springer-Verlag.
  • Saeed A, Cepin M, de Lemos R, et al. An Object-Based Approach to Modelling and Analysis of Failure Properties. In: 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP). 1997, University of York, UK: Springer-Verlag, London.

• Reports

  • Gamble C, Couto LD. Proceedings of the 17th Overture Workshop. Newcastle University, 2019. School of Computing Technical Report Series 1530.
  • Bryans J, Payne R, Holt J, Perry S. Semi-Formal and Formal Interface Specification for System of Systems Architecture. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2013. School of Computing Science Technical Report Series 1371.
  • Ingram C, Riddle S. Using Early Stage Project Data to Predict Change-Proneness. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1321.
  • Plat N, Ballegaard Nielsen C, Riddle S. Proceedings of the 10th Overture Workshop. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1345.
  • Payne R, Bryans J, Fitzgerald J, Riddle S. Interface Specification for System-of-Systems Architectures. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1335.
  • Andrews Z, Bryans J, Fitzgerald J, Hughes J, Payne R, Pierce K, Riddle S. Modelling and Refinement of the MONDEX Electronic Purse in VDM. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1308.
  • Ingram C, Riddle S. Linking Software Design Metrics to Component Change-Proneness. Newcastle upon Tyne: School of Computing Science, The University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1257.
  • Gamble C, Riddle S. Dependability Explicit Metadata: Extended Report on Properties, Policies and Exemplary Application to Case Studies. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1248.
  • Gamble C, Riddle S. Dependability Explicit Metadata: Experimental Results and Research Issues. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1249.
  • Gamble C, Riddle S. Dependability Metadata Acquisition and Assessment: A State of the Art Survey. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1232.
  • Arkley P, Riddle S, Brookes T. Tailoring Traceability Information to Business Needs. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 945.
  • Larsen PG, Fitzgerald JS, Riddle S. Learning by Doing: Practical Courses in Lightweight Formal Methods using VDM++. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 992.
  • Arkley P, Riddle S. Overcoming the Traceability Benefit Problem. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 906.
  • van der Meulen M, Riddle S, Strigini L, Jefferson N. Protective Wrapping of Off-the-Shelf Components. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 857.
  • 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.
  • Popov P, Riddle S, Romanovsky A, Strigini L. On Systematic Design of Protectors for Employing OTS Items. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 730.
  • Cepin M, de Lemos R, Mavko B, Riddle S, Saeed A. An Object-Based Approach to Modelling and Analysis of Failure Properties. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 598.