Logged off icon

 

Safety Critical Systems Club
For Everyone Working in System Safety

scsc.uk

List of Papers and Articles published via the SCSC

Back to Publications

Chris Dale, Tom Anderson, Assuring the Safety of Systems (2013-02-05), https://scsc.uk/r119.pdf
Mike Parsons, Tom Anderson, Developing Safe Systems (2016-02-02), https://scsc.uk/r131.pdf
Nic Turley, Stephen Clark, Steven Shorrock, Human Factors Safety Assurance for Changing ATM Systems (2008-01-25), https://scsc.uk/r152.pdf
Gabriele Schedl, Werner Winkelbauer, Practical Ways of Improving Product Safety in Industry (2008-01-25), https://scsc.uk/r153.pdf
Andrew Furse, Andrew Vickers, Paul Edwards, Independently Assessing Legacy Safety Systems (2007-03-13), https://scsc.uk/r168.pdf
Paul Mayo, Rob Weaver, Tim Kelly, Gaining Confidence in Goal-based Safety Cases (2006-02-07), https://scsc.uk/r188.pdf
John Knight, Patrick Graydon, Richard Hawkins, Tim Kelly, A New Approach to creating Clear Safety Arguments (2010-12-15), https://scsc.uk/r674.pdf
Peter Bernard Ladkin, The Fukushima Accident (2012-01-05), https://scsc.uk/r732.pdf
Andrew Miller, Benjamin Gorry, Nicola Herbert, The ASTRAEA Virtual Certification Process and the Use of Fault Trees (2012-01-05), https://scsc.uk/r734.pdf
Ron Bell, Stuart Main, Proof Testing … the Challenges (2012-01-05), https://scsc.uk/r738.pdf
Anaheed Ayoub, Insup Lee, Jian Chang, Oleg Sokolsky, Assessing the Overall Sufficiency of Safety Arguments (2012-12-28), https://scsc.uk/r762.pdf
Alberto Melzi, Alejandra Ruiz, Fulvio Tagliablò, Huáscar Espinoza, Sandra Torchiaro, A Preliminary Study towards a Quantitative Approach for Compositional Safety Assurance (2012-12-28), https://scsc.uk/r763.pdf
Bill Walby, Chris Elliott, Nick Sibley, Four Principles of Product Safety (2012-12-28), https://scsc.uk/r765.pdf
Gavin Wilsher, Paul Chinneck, Challenging the 'Safety Sausage Machine' (2012-12-28), https://scsc.uk/r771.pdf
Dewi Daniels, Nick Tudor, Ross Hannan, DO-178C – a Perspective (2014-01-10), https://scsc.uk/r806.pdf
Adrian Roper, Andrew Neely, Bill Walby, Chris Johnson, Joe Fuse, Peter Fielder, Product Safety in a World of Services: Through-Life Accountability (2014-01-10), https://scsc.uk/r811.pdf
Donna Champion, Roger Rivett, The Strategic Implications of ISO 26262 (2014-01-10), https://scsc.uk/r812.pdf
Elaine Holden, George Cleland, Ian Barnes, Electronic Safety Cases in an Explosives Environment (2014-01-10), https://scsc.uk/r813.pdf
Anil Kumar Davuluri, Karthikeyan Nagarajan, Safety Maturity Model (2014-01-10), https://scsc.uk/r818.pdf
Alastair Faulkner, Mark Nicholson, An Assessment Framework for Data-Centric Systems (2014-01-10), https://scsc.uk/r823.pdf
Alexander Romanovsky, Alexei Iliasov, Formal Modelling of Railway Safety and Capacity (2015-01-26), https://scsc.uk/r831.pdf
M. Elshuber, P. Popat, R. Fink, S. Gulan, S. Kandl, S. Rieger, T. Nguyen, Applicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262 (2015-01-26), https://scsc.uk/r834.pdf
Anh Nguyen-Tuong, Benjamin D. Rodes, Jack Crawford, Jason D. Hiser, John C. Knight, Michele Co, A Case Study of Security Case Development (2015-01-26), https://scsc.uk/r838.pdf
Børge Haugset, Geir Kjetil Hanssen, Thor Myklebust, Tor Stålhane, Using a Goal-Based Approach to Improve the IEC 61508-3 Software Safety Standard (2015-01-26), https://scsc.uk/r840.pdf
José Faria, Copernic Safety (2015-01-26), https://scsc.uk/r845.pdf
Mike Parsons, Paul Hampton, The Data Elephant (2015-01-26), https://scsc.uk/r846.pdf
Benjamin Herd, Michael Luck, Peter McBurney, Simon Miles, Approximate verification of swarm-based systems: a vision and preliminary results (2015-01-26), https://scsc.uk/r847.pdf
Andrew Rae, Christopher Megone, Ibrahim Habli, Kevin Macnish, Mark Nicholson, Tim Kelly, The Ethics of Acceptable Safety (2015-01-26), https://scsc.uk/r849.pdf
Bev Littlewood, Peter Bernard Ladkin, Practical Statistical Evaluation of Critical Software (2015-12-30), https://scsc.uk/r860.pdf
David McGeoch, Frederik Botes, John Birch, Paul Darnell, Development of an Adaptive Safety Monitoring Function (2015-12-30), https://scsc.uk/r866.pdf
Erwan Mottin, Thierry Lecomte, Formal Data Validation in the Railways (2015-12-30), https://scsc.uk/r873.pdf
Kate Netkachova, Peter Bishop, Robin Bloomfield, Confidence in a connected world: safe, secure, resilient and autonomous (2017-02-08), https://scsc.uk/r896.pdf
Bernhard Schommer, Christian Ferdinand, Daniel Kästner, Michael Schmidt, Sandrine Blazy, Xavier Leroy, Closing the Gap – The Formally Verified Optimizing Compiler CompCert (2017-02-08), https://scsc.uk/r898.pdf
Richard Hawkins, Rob Alexander, Tim Kelly, From Safety Cases to Security Cases (2017-02-08), https://scsc.uk/r901.pdf
Andy Degraeve, Chaouki Kasmi, Davy Pissoort, José Lopes Esteves, Keith Armstrong, Analysis of Effects induced by EM disturbances on COTS Devices, from an EM Security and Functional Safety perspective (2017-02-09), https://scsc.uk/r905.pdf
Mike Parsons, Paul Hampton, Tom Adams, Data: Your Life in its Hands (2017-02-09), https://scsc.uk/r910.pdf
Andrew Banks, Rob Alexander, Rob Ashmore, The State of Solutions for Autonomous Systems Safety (2018-02-06), https://scsc.uk/r920.pdf
Catherine Menon, Rob Alexander, Ethics and the safety of autonomous systems (2018-02-06), https://scsc.uk/r921.pdf
Alan Simpson, Craig Harris, Mike Parsons, Service-Based Safety Assurance (2018-02-06), https://scsc.uk/r926.pdf
Roderick Chapman, The Fumble Programmer (2018-01-11), https://scsc.uk/r927.pdf
Ludmila Musalova, Michael Wright, Rebecca Canham, Error Management combining people and systems (2018-01-11), https://scsc.uk/r930.pdf
Arash Khabbaz Saberi, Frank Benders, Johan J. Lukkien, Mark van den Brand, Richard Koch, A method for quantitative measurement of safety culture based on ISO 26262 (2018-01-11), https://scsc.uk/r931.pdf
Are Hellandsvik, Geir Kjetil Hanssen, Jan-Arne Eriksen, Thor Myklebust, The Agile FMEA Approach (2018-01-11), https://scsc.uk/r939.pdf
Christian Raspotnig, Fabio Massacci, Johannes de Haan, Peter Bernard Ladkin, Pierantonia Sterlini, The Risk of Relying on a Public Communications Infrastructure (2019-02-05), https://scsc.uk/r1056.pdf
Alan Simpson, Andy Scott, Mike Parsons, Nick Durston, The Principles of Service Assurance (2019-02-05), https://scsc.uk/r1060.pdf
Colin O’Halloran, Nick Tudor, William Simmonds, Verifying Behaviour of Swarms of Autonomous Cyber Physical Systems (2019-02-06), https://scsc.uk/r1072.pdf
Andrea Margheri, Brian Stevens, Rob Ashmore, Vladimiro Sassone, Developing Critical Software in the Modern Threat Environment (2019-02-06), https://scsc.uk/r1076.pdf
David Radack, Harold G. Tiedeman Jr., Paul Parkinson, Civil Certification of Multi-core Processing Systems in Commercial Avionics (2019-02-07), https://scsc.uk/r1080.pdf
Bernhard Winkler, Helmut Martin, Martin Benedikt, Martin Krammer, Functional Safety in the Context of Distributed Co-Simulation (2019-02-07), https://scsc.uk/r1081.pdf
Chris Allsopp, David H Smith, Elizabeth Lennon, James McCloskey, Lee Ramsay, Sam Jenkins, Towards a Safety Argument for Autonomous Systems that Use Machine Learning (2019-02-07), https://scsc.uk/r1082.pdf
Aaron Kane, Jen Black, Philip Koopman, Credible Autonomy Safety Argumentation (2019-02-07), https://scsc.uk/r1084.pdf
Mark Nicholson, Mike Parsons, Assuring Safe Autonomy (2020-02-10), https://scsc.uk/r1166.pdf
Alastair Faulkner, Mark Nicholson, The Emergence of Accidental Autonomy (2020-02-11), https://scsc.uk/r1169.pdf
Kevin King, Mark Sujan, Mike Parsons, A Service Perspective on Accidents (2020-02-11), https://scsc.uk/r1173.pdf
Ibrahim Habli, Irfan Sljivo, Omar Jaradat, Richard Hawkins, Modular Safety Cases for the Assurance of Industry 4.0 (2020-02-11), https://scsc.uk/r1174.pdf
Chris Allsopp, James McCloskey, Richard Maguire, Rose Gambon, Thom Kirwan-Evans, Generating the Evidence Necessary to Support Machine Learning Safety Claims (2020-02-11), https://scsc.uk/r1190.pdf
Mark Nicholson, Mike Parsons, Systems and Covid-19 (2021-02-09), https://scsc.uk/r1302.pdf
Arlen Baker, Paul Parkinson, IPnet Vulnerabilities: A Case Study (2021-02-09), https://scsc.uk/r1303.pdf
Dave Banham, Michael Brown, The Impact of Über-Authorities on WCET (2021-02-09), https://scsc.uk/r1308.pdf
Adrian Jones, Ian Burgoyne, James Edwards, Kai Barrington, Wendy Owen, Meerkat – IoT-Based Solar-Powered SIL2 Footpath Level Crossing Warning System (2021-02-09), https://scsc.uk/r1309.pdf
John Rushby, Robin Bloomfield, Assurance 2.0: A Manifesto (2021-02-09), https://scsc.uk/r1313.pdf
John McDermid, Philip Garnett, Rob Weaver, Simon Burton, An Initial Framework Assessing the Safety of Complex Systems (2021-02-09), https://scsc.uk/r1314.pdf
Chris Allsopp, J Calford, J Smith, K Eder, Richard Maguire, Rose Gambon, Assuring the Integration of Autonomy:A Fault Taxonomy (2021-02-09), https://scsc.uk/r1315.pdf
Ibrahim Habli, Richard Hawkins, Rob Alexander, Safety Cases: An Impending Crisis? (2021-02-09), https://scsc.uk/r1318.pdf
Patrick Hudson, Timothy Hudson, Safety Culture Stories: News from the Front (2021-02-09), https://scsc.uk/r1322.pdf
Mark Nicholson, Matt Osborne, Richard Hawkins, An “As Desired” Model of the Software Safety Assurance Lifecycle (2021-02-09), https://scsc.uk/r1328.pdf
Anil Ranjitbhai Patel, Nikita Bhardwaj Haupt, Peter Liggesmeyer, Prediction of Dynamic Adaptation Techniquefor Autonomous Vehicles using Decision Trees (2021-02-09), https://scsc.uk/r1329.pdf
Anthony Finkelstein, Francesco Costantino, John Watt, Maria Luisa Villani, Mark Sujan, Riccardo Patriarca, Developing Leading Safety Indicators using the Functional Resonance Analysis Method (2021-02-09), https://scsc.uk/r1333.pdf
Mark Nicholson, Mike Parsons, Safer Systems: The Next 30 Years (2022-02-08), https://scsc.uk/r1498.pdf
Austen Rainer, Catherine Menon, Stories and narratives in safety engineering (2022-02-08), https://scsc.uk/r1525.pdf
Dracos Vassalos, Evangelos Boulougouris, Gerasimos Theotokatos, Victor Bolbot, Towards a robust safety assurance process for maritime autonomous surface ships (2022-02-08), https://scsc.uk/r1528.pdf
James Catmur, Mike Parsons, Mike Sleath, A Step-by-Step Methodology for Applying Service Assurance (2022-02-08), https://scsc.uk/r1529.pdf
Bernard Twomey, Chris Hobbs, Dewi Daniels, John McDermid, Mike Parsons, Could the Introduction of Assured Autonomy Change Accident Outcomes? (2022-02-08), https://scsc.uk/r1535.pdf
Alexander Romanovsky, Alexei Iliasov, Dominic Taylor, Linas Laibinis, Formal verification of railway interlocking and its safety case (2022-02-08), https://scsc.uk/r1537.pdf
Mike Parsons, Paul Hampton, Data Risk Cygnology (2022-10-01), https://scsc.uk/r1699.pdf
Lucia Capogna, Stephen Bull, Risk Matrices and Pitfalls (2022-10-01), https://scsc.uk/r1700.pdf
Lucia Capogna, Rob Davies, Stephen Bull, Stephen Gill, Making the safety standards work for you (2023-02-07), https://scsc.uk/r1724.pdf
Davy Pissoort, Dries Vanoost, Jens Vankeirsbilck, Jeroen Boydens, Laure Buysse, Simon Whiteley, Case Study Analysis of STPA on an Industrial Cooperative Robot and an Autonomous Mobile Robot (2023-02-07), https://scsc.uk/r1725.pdf
Fathi Tarada, James Catmur, Kevin King, Mike Parsons, A Service Analysis of the Mont Blanc Tunnel Fire (2023-02-07), https://scsc.uk/r1730.pdf
Ganesh Pai, Jane Fenn, Mark Nicholson, Michael Wilkinson, Architecting Safer Autonomous Aviation Systems (2023-02-07), https://scsc.uk/r1735.pdf
Andrew Ireland, Craig Innes, Subramanian Ramamoorthy, Yuhui Lin, Anticipating Accidents through Reasoned Simulation (2023-02-07), https://scsc.uk/r1740.pdf
John McDermid, Simon Burton, Zoë Porter, Safe, Ethical and Sustainable: Framing the Argument (2023-02-07), https://scsc.uk/r1743.pdf
Austen Rainer, Catherine Menon, Lorna Gibb, The Language of Risks and the Risks of Language (2023-02-07), https://scsc.uk/r1745.pdf
Dieter Schnäpp, Lou Xinxin, Peter Bernard Ladkin, The Terminological Analysis Method SemAn and its Implementation (2023-01-28), https://scsc.uk/r1757.pdf
Divya Atkins, Martin Atkins, Data Safety Analysis using RADISH (2023-02-01), https://scsc.uk/r1832.pdf
James Sharp, Mark Hadley, Rob Ashmore, Reducing the Risk of a Software Common Mode Failure (2023-09-01), https://scsc.uk/r1857.pdf
Mike Parsons, Paul Hampton, The Data Risk Zoo (2023-10-01), https://scsc.uk/r1874.pdf
Mike Parsons, Safe AI Systems (2024-02-12), https://scsc.uk/r1898.pdf
Chris Hobbs, Jeff Joyce, Simon Diemert, Driving the Development Process from the Safety Case (2024-02-12), https://scsc.uk/r1913.pdf
Guy Burroughes, Lacey-Jo Marsland, Matt Osborne, Phillip Mulvana, Richard Hawkins, Tom Boden, Implementing autonomy in nuclear robotics: an experience-informed review of applying SACE (2024-02-12), https://scsc.uk/r1921.pdf
Callum Rothon, Connor Walker, Koorosh Aslansefat, Nina Dethlefs, Yiannis Papadopoulos, Safety Monitoring for Large Language Models: A Case Study of Offshore Wind Maintenance (2024-02-12), https://scsc.uk/r1929.pdf
Carmen Cârlan, Michael Wagner, The Open Autonomy Safety Case Framework (2024-02-13), https://scsc.uk/r1939.pdf
Paul Malcolm Darnell, Ravindra Sabbella, Saurabh Bagalwadi, Raghavendra Mithare, Amrendra Kumar, A framework for fostering a strong Safety Culture (2025-02-01), https://scsc.uk/r3081.pdf
Dewi Daniels, Mike Parsons, Looking Beyond the Horizon (2025-02-01), https://scsc.uk/r3086.pdf
Colin O’Halloran, N. Moffat, Nick Tudor, William Simmonds, Callum Robinson, Hannah Saunders, Karen Stephenson, Mark Teasedale, Extending the State of the Art for the use of Formal Methods in Nuclear Control Systems (2025-02-01), https://scsc.uk/r3100.pdf
Colin O'Halloran, Paul Whittaker, Nick Tudor, Robust AI Planning (2025-05-01), https://scsc.uk/r3149.pdf
Ibrahim Habli, John McDermid, AI Safety (2024-05-16), https://scsc.uk/r3192.pdf
Yves Génevaux, Ken Nathan, Fabien Gaucher, Bruno Joffret, Requirements in the Loop The Future of Model-Based System Engineering (2019-01-01), https://scsc.uk/r3212.pdf
Paul Hampton, James Inge, Louise Harney, How Do I Get Into Safety (2023-10-12), https://scsc.uk/r3214.pdf
Paul Hampton, Mike Parsons, The Data Risk Zoo (2023-10-12), https://scsc.uk/r3215.pdf
Paul Hampton, Dewi Daniels, Boeing 737 MAX – Safe to Fly (2021-02-01), https://scsc.uk/r3231.pdf
Keith Armstrong, Davy Pissoort, Risks caused by Electromagnetic Interference (2019-10-01), https://scsc.uk/r3251.pdf
Robert Oates, James Cruise, Tangling with the Entangled (2025-02-01), https://scsc.uk/r3255.pdf
David Hand, Dark Data (2020-10-31), https://scsc.uk/r3268.pdf
Paul Hampton, Graham Jolliffe, Tom Anderson, Mike Parsons, How Do I Get Into Safety (2020-10-13), https://scsc.uk/r3272.pdf
Divya Atkins, Martin Atkins, Data Safety Analysis using RADISH (2023-02-01), https://scsc.uk/r3278.pdf
Paul Hampton, Roger Rivett, Jane Fenn, Dewi Daniels, Sean White, How Do I Get Into Safety (2022-10-01), https://scsc.uk/r3285.pdf
Lucia Capogna, Stephen Bull, Risk Matrices and Pitfalls (2022-10-01), https://scsc.uk/r3288.pdf
Paul Hampton, Mike Parsons, Data Risk Cygnology (2022-10-01), https://scsc.uk/r3289.pdf
Paul Hampton, Martin Atkins, Managing Unexpected Risks (2022-10-01), https://scsc.uk/r3293.pdf
Alastair Faulkner, Data, Data Everywhere ... (2020-02-10), https://scsc.uk/r3303.pdf
Paul Hampton, Mixin Things Up! (2025-10-16), https://scsc.uk/r3311.pdf