Staff Profile

Introduction

Dr Riddle is a Senior Lecturer in the School of Computing and delivers courses in software engineering, dependable systems and high-integrity software development (SPARK) at postgraduate level. 

Recent research projects include FP7 Project COMPASS (Comprehensive Modelling for Advanced Systems of Systems).  Dr Riddle obtained his 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.

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

• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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 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.
• 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.
• 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. Newcastle upon Tyne: School of Computing Science, The University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1257.
• 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.
• 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.
• 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.
• Larsen PG, Fitzgerald JS, Riddle S. Practice-oriented courses in formal methods using VDM⁺⁺. Formal Aspects of Computing 2009, 21(3), 245-257.
• 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, Brookes T. Tailoring Traceability Information to Business Needs. In: 14th IEEE International Requirements Engineering Conference (RE'06). 2006, Minneapolis/St Paul, Minnesota, USA: IEEE.
• 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.
• 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.
• Arkley P, Riddle S. Overcoming the Traceability Benefit Problem. In: 13th IEEE International Conference on Requirements Engineering. 2005, Paris, France: IEEE Computer Society.
• 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. In: COTS-Based Software Systems: 4th International Conference (ICCBSS). 2005, Bilbao, Spain: Springer-Verlag.
• 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. 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.
• 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.
• 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.
• 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.
• 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. Wrapping it up. Safety Systems 2003, 13(1), 8-10.
• Arkley P, Mason P, Riddle S. Enabling Traceability. In: 1st International Workshop on Traceability in Emerging Forms of Software Engineering. 2002, Edinburgh, UK.
• 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. In: 27th Euromicro Conference. 2001, Warsaw, Poland: IEEE Computer Society Press.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• Riddle S, Wallis PJL. Denotational Semantics and Refinement. In: 1st Irish Workshop on Formal Methods (IWFM). 1997, Dublin, Ireland: Springer-Verlag.
• Ainsworth M, Riddle S, Wallis PJL. Formal validation of viewpoint specifications. Software Engineering Journal 1996, 11(1), 58-66.
• 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, 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.
• 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. 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.
• 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.
• 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.
• 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. 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.