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

The is the citable list of Papers, Articles and Proceedings published by the SCSC. Note that this does not contain every resource published by the SCSC as resources only systematically began to be extracted from publications around 2013 when the SCSC switched to self-publication rather than using the Springer publishing house. However, prior to 2013, proceedings published via Springer will have already been indexed by Scholar indexing services so these can already be cited. You will however find that some papers prior to 2013 are included in this list where the pdf for that paper happened to be available but the record set will be increasingly patchy prior to 2013.

All SCSC pdf resources that are conference papers, newsletter articles, working group standards and journal papers are submitted to CrossRef for scholarly indexing and so will have unique Digital Object Identifier (doi). All doi numbers for the SCSC have a shared root id: 10.65391 and organisation id: 54895. The doi id for a given resource in then based on the resource id so for example:
https://doi.org/10.65391/r3352 will take you to the landing page for resource r3352, which happens to be: "An Updatable Process to Assess Human Interaction with Artificial Intelligence and Advanced Automation Over Time" by Abigial Post, David D. Woods and Martijn IJtsma

You can also search for all of the DOIs for the SCSC using this api call:
https://api.crossref.org/members/54895/works?select=DOI,title,author,published&rows=700

DateAuthor(s)TitleDownloadDOI
15/05/2026Mikela Chatzimichailidou60 Seconds with … Mikela ChatzimichailidouPDF10.65391/r3476
15/05/2026Paul HamptonSSS'26 Event ReportPDF10.65391/r3478
15/05/2026Mitali Atkins, Divya AtkinsThe shape that didn’t want to be a box!PDF10.65391/r3479
15/05/2026Dorthea Mathilde Kristin Vatn, Thor MyklebustHuman factors in the age of AIPDF10.65391/r3480
15/05/2026Nippin AnandFrom Power to PersonhoodPDF10.65391/r3482
15/05/2026Dewi DanielsAre software upsets really a cosmic mystery?PDF10.65391/r3483
15/05/2026Paul HamptonSafety Systems vol.34-2PDF10.65391/r3485
04/02/2026SCSWGGuidance on the Through-Life Assurance of Engineered Complex Systems (v2.0)PDF10.65391/r3376
03/02/2026DSIWGData Safety Guidance (Volume 1 - Normative)PDF10.65391/r3373
03/02/2026DSIWGData Safety Guidance (Volume 2 - Informative)PDF10.65391/r3374
03/02/2026DSIWGData Safety Guidance (Volume 3 - Discursive)PDF10.65391/r3375
31/01/2026Chris Hobbs, Jeff Joyce, Julian LapennaEnhancing Sensitivity Analysis in a Safety Case ArgumentPDF10.65391/r3359
31/01/2026Peter Bernard LadkinA Tutorial on Varieties of Possibility AnalysisPDF10.65391/r3360
31/01/2026Jon RickettsEnhancing Bowtie Hazard AnalysisPDF10.65391/r3361
23/01/2026Paul HamptonSCSC TimelinePDF10.65391/r3362
23/01/2026Paul Hampton Book ReviewPDF10.65391/r3363
23/01/2026Chris Hobbs60 Seconds with … Chris HobbsPDF10.65391/r3364
23/01/2026Roger RivettSeminar - New Developments in Rail Safety SystemsPDF10.65391/r3365
23/01/2026Paul HamptonSeminar - Complying with the EU AI ACTPDF10.65391/r3366
23/01/2026Beatriz CoutinhoSafety By Design - Reflections from an Early-Career EngineerPDF10.65391/r3367
23/01/2026Paul HamptonJoining The DotsPDF10.65391/r3368
23/01/2026Wendy Owen, Jonathan WigginsCracking Tales of Safety-Critical CablesPDF10.65391/r3369
23/01/2026Nick TudorMaritime Autonomy – A Way AheadPDF10.65391/r3370
23/01/2026Paul HamptonSafety Systems vol.34-1PDF10.65391/r3372
09/12/2025Mike ParsonsAI and Safety Critical SystemsPDF10.65391/r3336
09/12/2025Darendra Appanah, James Cruise, Walden Killick, Robert OatesQuantifying the quantised – the interface of quantum technology and safetyPDF10.65391/r3337
09/12/2025Lavinia BurskiTransforming Formal Verification - Insights from MALPASPDF10.65391/r3338
09/12/2025Simon Burton, Jie Zou, Sepeedeh Shahbeigi RoudposhtiEffective and reflective assurance for AI-based autonomyPDF10.65391/r3339
09/12/2025Laure Buysse, Mohammed Tloul, Dries Vanoost, Davy PissoortTowards Dynamic Safety Cases for Cobots - Leveraging Standards, Indicators, and Digital TwinsPDF10.65391/r3340
09/12/2025Adam Casey, Malav Naik, Simon Diemert, Nader Abu El Samid, Jeff Joyce, Emmanuel Lesser, Shaun FeakinsAI-Enabled Monitoring of Space Robotics TelemetryPDF10.65391/r3341
09/12/2025Mohamad CherryAuthority, Emotion, and Communication Breakdown - An Analysis of the Air France Flight 447 AccidentPDF10.65391/r3342
09/12/2025Shaun Feakins, Ibrahim Habli, Phillip MorganWhat’s Your Context - Assuring GPAI in Safety-critical SettingsPDF10.65391/r3343
09/12/2025Benjamin Fulford, Thomas Wilkinson, Mathew Wylie, Luke HankinsAI-assisted HAZOP - Can prompt engineering deliver a credible HAZOP assessmentPDF10.65391/r3344
09/12/2025Joe Hare, Leo Freitas, Ken Pierce, Callum Robinson, Patrick DegenaarModelling the Requirements of a Medical Device in Kapture and SimulinkPDF10.65391/r3345
09/12/2025Chris Hobbs, Mike ParsonsComplex Systems Guidance - Learning from SurprisesPDF10.65391/r3346
09/12/2025James Inge, Katia Potiron, Mark Carter, Ian HartwellIntegration of Human Factors into Complex System SafetyPDF10.65391/r3347
09/12/2025James Inge, Katia Potiron, Joseph MachrouhPutting importance into context - moving from the abstract to the concrete with IEC 63187PDF10.65391/r3348
09/12/2025Bernhard Kaiser, Rüdiger Diefenbach, Matthieu Paquet, Petr Fomin, Guilherme Goretkin, John Vergere, Tom Neely, John MacauleyAgile Model-Based Development and Safety Assessment for Light UAVsPDF10.65391/r3349
09/12/2025Helen Monkhouse, Michael OrgillAutomated Driving (AD) Residual RiskPDF10.65391/r3350
09/12/2025Meaghan O’Neil, Russell Lock, Patrick Baker, Tim WatsonPreliminary Findings of Practitioner’s Perspectives on AI Adoption in Engineering Processes - An Exploratory Study in Engineering PracticesPDF10.65391/r3351
09/12/2025Abigail M. Post, David D. Woods, Martijn IJtsmaAn Updatable Process to Assess Human Interaction with Artificial Intelligence and Advanced Automation Over TimePDF10.65391/r3352
09/12/2025Joshua Riley, Kez Smithson Whitehead, Mathew WylieTowards predictive accident prevention - can retrieval-augmented generation powered artificial intelligence inform preventative mitigationPDF10.65391/r3353
09/12/2025Olivier RousseCOTS computer-based devices - Qualification or safety justification needs in the nuclear industryPDF10.65391/r3354
09/12/2025Anne SeldonExploring the Role of Large Language Models in the Development of Safety ConceptsPDF10.65391/r3355
09/12/2025Oscar SlotoschAn AI-Based Toolchain Vision for Developing Safety Critical and Compliant Systems PDF10.65391/r3356
09/12/2025Harold ThimblebyA framework to update the Common Law presumption that computer evidence is reliablePDF10.65391/r3357
16/10/2025Paul HamptonSafety Systems vol.33-3PDF10.65391/r3156
16/10/2025Nancy Leveson60 Secs with … Nancy LevesonPDF10.65391/r3310
16/10/2025Paul HamptonMixin Things Up!PDF10.65391/r3311
16/10/2025Bill BlackburnProduct Owners – The key to Safe AgilePDF10.65391/r3312
16/10/2025Catherine MenonSeminar Report: How Safety Culture has to Change with AIPDF10.65391/r3314
16/10/2025Paul HamptonSeminar Report: Safe Agile DevelopmentsPDF10.65391/r3315
16/10/2025Paul Hampton, Dewi DanielsFlying Visits! An impromptu SCSC Tech TripPDF10.65391/r3316
16/10/2025Paul ListerThe Lean (but not mean) Learning MachinePDF10.65391/r3317
27/05/2025Paul HamptonSafety Systems vol.33-2PDF10.65391/r3121
27/05/2025Nick TudorOn-Board Safety Monitoring for DronesPDF10.65391/r3122
27/05/2025Padma IyengharBridging Gaps in ISO 26262 for Testing Machine Learning (ML) SystemsPDF10.65391/r3123
27/05/2025Aimée M.R. de KoningSafety and Highly Automated MachineryPDF10.65391/r3124
27/05/2025Malcolm JonesEntropy, Disorder, The Human Race, Religious BeliefsPDF10.65391/r3125
27/05/2025Paul HamptonSSS’25 Event ReportPDF10.65391/r3126
27/05/2025Wendy OwenManagement of Change in an Ever-Changing WorldPDF10.65391/r3127
27/05/2025Graham Jolliffe60 Seconds with … Graham JolliffePDF10.65391/r3128
01/05/2025Keith Collyer, Wendy OwenManagement of Change in an Ever-changing WorldPDF10.65391/r3148
01/05/2025Colin O'Halloran, Paul Whittaker, Nick TudorRobust AI PlanningPDF10.65391/r3149
01/05/2025Wendy OwenThe Development of a Hybrid Nuclear Requirements Hierarchy (HNRH) and its Application to a Non-Specific Fusion FacilityPDF10.65391/r3150
01/03/2025SISWGSecurity Informed SafetyPDF10.65391/r3102
01/02/2025Paul HamptonSafety Systems vol.33-1PDF10.65391/r2993
01/02/2025Mike ParsonsDeveloping Safer Complex SystemsPDF10.65391/r2994
01/02/2025DSIWGData Safety Guidance (Version 3.7)PDF10.65391/r3001
01/02/2025Paul Malcolm Darnell, Ravindra Sabbella, Saurabh Bagalwadi, Raghavendra Mithare, Amrendra KumarA framework for fostering a strong Safety CulturePDF10.65391/r3081
01/02/2025Helen Monkhouse, Roger Rivett, David BlackburnThe Bigger Picture of Safety on Roads and the Impact of Autonomous Vehicles on the Implicit Safety ArgumentPDF10.65391/r3082
01/02/2025Gary BrownSafe Integration of Machine Learning in Aircraft PlatformsPDF10.65391/r3083
01/02/2025Sofia Guerra, Luca Maria Castiglione, Emil C. LupuAutomated Identification of Safety-Critical Attacks against CPS and Generation of Assurance Case FragmentsPDF10.65391/r3084
01/02/2025Gareth Davies, Jaspal SagooTowards Verification of Learning-Based UAS Trajectory Generation in Uncertain EnvironmentsPDF10.65391/r3085
01/02/2025Dewi Daniels, Mike ParsonsLooking Beyond the HorizonPDF10.65391/r3086
01/02/2025Jane Fenn, Mark Nicholson, Richard HawkinsPractical Examples of a New Approach to Creating Clear Operational Safety CasesPDF10.65391/r3088
01/02/2025Benjamin Fulford, Mathew Wylie, Neil StiffBridging risk paradigms from cyber threats to safety impacts: a new assessment processPDF10.65391/r3089
01/02/2025Chris HobbsCharacteristics of Complex SystemsPDF10.65391/r3090
01/02/2025Graham JolliffeBring Three and Fourpence We’re Going to AdvancePDF10.65391/r3091
01/02/2025Bernhard Kaiser, Michael Soden, Rüdiger Diefenbach, Eckhardt HolzAn Agile Approach to Safety Cases for Autonomous Systems through Model-Based Engineering and SimulationPDF10.65391/r3092
01/02/2025Kevin King, Rahul NairThe challenges of assuring an eXtra Large Autonomous Underwater VehiclePDF10.65391/r3093
01/02/2025John McDermidAI Safety and SecurityPDF10.65391/r3094
01/02/2025Austen Rainer, Catherine MenonIdentifying Ethical Hazards in Safety-Critical Systems: The Role of CreativityPDF10.65391/r3095
01/02/2025Ibrahim Habli, Kate Preston, Mark SujanAssurance of AI and autonomous technology in complex environments: a human-centered perspectivePDF10.65391/r3096
01/02/2025Richard Hawkins, Sepeedeh ShahbeigiSpecifying Safety Requirements for Machine Learning Components in Autonomous Systems: A SurveyPDF10.65391/r3097
01/02/2025Oscar Slotosch, Marcel RoposImpact from Tools on System Safety and SecurityPDF10.65391/r3098
01/02/2025Harold Thimbleby, Martyn ThomasThe Post Office Horizon Scandal: Ensuring nothing like it ever happens againPDF10.65391/r3099
01/02/2025Colin O’Halloran, N. Moffat, Nick Tudor, William Simmonds, Callum Robinson, Hannah Saunders, Karen Stephenson, Mark TeasedaleExtending the State of the Art for the use of Formal Methods in Nuclear Control SystemsPDF10.65391/r3100
01/02/2025Eberechi Weli, Ashley ZeeHAZOP Re-Examined: Exposing the Challenges Posed by Edge Computing Devices in Safety SystemsPDF10.65391/r3101
01/02/2025Robert Oates, James CruiseTangling with the EntangledPDF10.65391/r3255
01/02/2025Aimee Avrill60 Secs with … Aimee AvrillPDF10.65391/r3257
01/02/2025Paul HamptonSeminar Report - Seminar Safe Autonomous TransportPDF10.65391/r3258
01/02/2025Paul HamptonModelling Our WorldPDF10.65391/r3259
01/02/2025Louise HarneyIET Young Woman Engineer AwardsPDF10.65391/r3260
01/02/2025Wendy OwenThe Sinking of the Unsinkable (again)PDF10.65391/r3261
01/02/2025Catherine MenonSeminar Report - Deployment, Operations and Maintenance of Safe AI SystemsPDF10.65391/r3262
28/01/2025SCSWGGuidance on the Through-Life Assurance of Complex Systems v1PDF10.65391/r2995
10/10/2024Paul HamptonSafety Systems vol.32-3PDF10.65391/r2972
10/10/2024Nick Hales60 Secs with … Nick HalesPDF10.65391/r3201
10/10/2024Dewi DanielsSeminar Report - Developing Safe AI SystemsPDF10.65391/r3203
10/10/2024Harold ThimblebyEnsuring computer reliability after the Post Office Horizon ScandalPDF10.65391/r3204
10/10/2024Catherine MenonSeminar Report - Frameworks for Safe AI SystemsPDF10.65391/r3205
10/10/2024Nick HalesEnvironmental Hazard And Impact IdentificationPDF10.65391/r3206
10/10/2024Wendy OwenWomen in Engineering ReflectionsPDF10.65391/r3207
13/08/2024Peter Bernard LadkinFunctional Safety and Oracular SubsystemsPDF10.65391/r3144
13/08/2024Niki MokSystem Analysis on Driver Monitoring System for Mainline RailwayPDF10.65391/r3145
13/08/2024Amit Sahu, Carmen CârlanTowards Defect-based Testing for Safety-critical ML ComponentsPDF10.65391/r3146
16/05/2024Paul HamptonSafety Systems vol.32-2PDF10.65391/r2935
16/05/2024Gavin WilsherIs there something hidden in the codePDF10.65391/r3184
16/05/2024Bill BlackburnEvidence Management – A Policing PerspectivePDF10.65391/r3185
16/05/2024Carmen Cârlan60 Secs with … Carmen CarlanPDF10.65391/r3186
16/05/2024Paul HamptonSSS’24 Event ReportPDF10.65391/r3187
16/05/2024Paul HamptonSCSC Statement on the Post Office HorizonPDF10.65391/r3189
16/05/2024Laura MillsBuilding Safety Post GrenfellPDF10.65391/r3191
16/05/2024Ibrahim Habli, John McDermidAI SafetyPDF10.65391/r3192
14/02/2024DSIWGData Safety Guidance (Version 3.6)PDF10.65391/r1941
13/02/2024Philip Koopman, William H. WidenBreaking the Tyranny of Net Risk Metrics forAutomated Vehicle SafetyPDF10.65391/r1937
13/02/2024Peter Bernard LadkinPrinciples of Conceptual Analysis forElectrotechnical Terminology (ConcAn)PDF10.65391/r1938
13/02/2024Carmen Cârlan, Michael WagnerThe Open Autonomy Safety Case FrameworkPDF10.65391/r1939
13/02/2024Jonathan WigginsHuman Factors in Functional Safety AssessmentPDF10.65391/r1940
12/02/2024Mike ParsonsSafe AI SystemsPDF10.65391/r1898
12/02/2024Lavinia BurskiSanity Checking Autonomous Vehicle Specifications using ZDRaPDF10.65391/r1901
12/02/2024Mikela ChatzimichailidouThe ‘Golden Thread’ of Information: A Systems Approach to Construction SafetyPDF10.65391/r1903
12/02/2024Dewi DanielsByzantine Generals Attack an Airbus A320PDF10.65391/r1904
12/02/2024Davy Pissoort, Dries Vanoost, Johan Catrysse, Laure Buysse, Rob Kleihorst, Vikas GhatgeEnsuring Safety and Effectiveness of Medical Devices in the Presence of Electromagnetic Disturbances through Unified EMC Assurance: A Compliance PatternPDF10.65391/r1908
12/02/2024Davy Pissoort, Dries Vanoost, Miriam Gonzalez-Atienza, Rob KleihorstSystem-Theoretic Process Analysis Approach to Analyse EMI-related Hazards and Prioritise Loss ScenariosPDF10.65391/r1909
12/02/2024Paul HamptonRed Cars are Killing Left-handed People!PDF10.65391/r1910
12/02/2024Chris HobbsThe Safety Case as a Process DriverPDF10.65391/r1912
12/02/2024Chris Hobbs, Jeff Joyce, Simon DiemertDriving the Development Process from the Safety CasePDF10.65391/r1913
12/02/2024Benita Lawrence, George HeadSafety and Certification Considerations of eVTOL AircraftPDF10.65391/r1916
12/02/2024Guy Burroughes, Lacey-Jo Marsland, Matt Osborne, Phillip Mulvana, Richard Hawkins, Tom BodenImplementing autonomy in nuclear robotics: an experience-informed review of applying SACEPDF10.65391/r1921
12/02/2024David SlaterHow do we make the case for “Safe” software and AI systems? - the Horizon ExamplePDF10.65391/r1927
12/02/2024Harold ThimblebySeeing beyond the Post Office HorizonPDF10.65391/r1928
12/02/2024Callum Rothon, Connor Walker, Koorosh Aslansefat, Nina Dethlefs, Yiannis PapadopoulosSafety Monitoring for Large Language Models: A Case Study of Offshore Wind MaintenancePDF10.65391/r1929
12/02/2024Michael WrightA Position Paper on Safety Culture Assessment and ImprovementPDF10.65391/r1931
10/02/2024SAWGService Assurance Guidance Version 4PDF10.65391/r1944
09/02/2024Philip KoopmanAnatomy of a Robotaxi Crash: Lessons from the Cruise Pedestrian Dragging MishapPDF10.65391/r1934
07/02/2024Paul HamptonSafety Systems vol.32-1PDF10.65391/r1889
07/02/2024Nick HalesEngineering, Ethics and Doughnut EconomicsPDF10.65391/r3294
07/02/2024Paul Hampton60 Secs with … ChatGPTPDF10.65391/r3295
07/02/2024Helen MonkhouseAutomotive AI Help or HindrancePDF10.65391/r3296
07/02/2024Christine HarperSeminar Report - How to write Compelling Safety ArgumentsPDF10.65391/r3297
07/02/2024John RidgwayIf We Can’t Define safe, What Chance Does AI HavePDF10.65391/r3298
07/02/2024Wendy OwenA Brief Quest for Lesser-Spotted News Articles in DependabilityPDF10.65391/r3299
07/02/2024Paul HamptonSeminar Report - What Makes Good Evidence for a Safety CasePDF10.65391/r3300
07/02/2024George Mason, Greg ChanceAI Governance Exploring Key Regulatory ApproachesPDF10.65391/r3301
02/02/2024SASWGSafety Assurance Objectives for Autonomous Systems V4PDF10.65391/r1942
01/02/2024SASWGSafety Assurance Objectives for Autonomous SystemsPDF10.65391/r1943
08/12/2023Michael Wright, SCWGA position paper for assessing and managing safety culturePDF10.65391/r1887
12/10/2023Paul HamptonSafety Systems vol.31-3PDF10.65391/r1871
12/10/2023Mike ParsonsTech Trip Report National Space CentrePDF10.65391/r3213
12/10/2023Paul Hampton, James Inge, Louise HarneyHow Do I Get Into SafetyPDF10.65391/r3214
12/10/2023Paul Hampton, Mike ParsonsThe Data Risk ZooPDF10.65391/r3215
12/10/2023Lucia CapognaSoftware in Railway ApplicationsPDF10.65391/r3217
12/10/2023Wendy OwenReflections on Ada Lovelace DayPDF10.65391/r3218
12/10/2023Davy Pissoort60 Secs with … Davy PissoortPDF10.65391/r3220
01/09/2023James Sharp, Mark Hadley, Rob AshmoreReducing the Risk of a Software Common Mode FailurePDF10.65391/r1857
01/09/2023Alasdair Graebner, Derek FowlerAn IEC 61508 Viewpoint on the Safety Assessment of Railway Control SystemsPDF10.65391/r1858
01/09/2023Malcolm JonesChasing the Black SwanPDF10.65391/r1859
31/08/2023John SpriggsSafety-Critical Systems eJournal vol.2 no.2PDF10.65391/r1855
01/05/2023Paul HamptonSafety Systems vol.31-2PDF10.65391/r1830
01/05/2023Paul HamptonSSS’23 Event ReportPDF10.65391/r3236
01/05/2023Paul HamptonThe Future of Testing for Safety Critical SystemsPDF10.65391/r3238
01/05/2023Mike ParsonsTech Trip Report STEAM GWR MuseumPDF10.65391/r3239
01/05/2023Jane Fenn60 Secs with … Jane FennPDF10.65391/r3240
01/05/2023Wendy OwenInternational Women in Engineering Day (INWED)PDF10.65391/r3241
01/05/2023Aimée M.R. de KoningInnovative Hydraulics and Automation LabPDF10.65391/r3242
07/02/2023Paul AlbertellaEngineering safety-critical systems with open-source softwarePDF10.65391/r1722
07/02/2023Mike Parsons, Roger Rivett, Tom AndersonWhat the first 100 years of the railways can teach us about the first 10 years of self-driving road vehiclesPDF10.65391/r1723
07/02/2023Lucia Capogna, Rob Davies, Stephen Bull, Stephen GillMaking the safety standards work for youPDF10.65391/r1724
07/02/2023Davy Pissoort, Dries Vanoost, Jens Vankeirsbilck, Jeroen Boydens, Laure Buysse, Simon WhiteleyCase Study Analysis of STPA on an Industrial Cooperative Robot and an Autonomous Mobile RobotPDF10.65391/r1725
07/02/2023Carmen CârlanBuild, monitor, and measure your live safety case in nLoopPDF10.65391/r1729
07/02/2023Fathi Tarada, James Catmur, Kevin King, Mike ParsonsA Service Analysis of the Mont Blanc Tunnel FirePDF10.65391/r1730
07/02/2023Dai DavisLegal Liability for Safety Critical SystemsPDF10.65391/r1731
07/02/2023Alastair Faulkner, Mark NicholsonChallenges in Safety Mitigation and Assurance of Multi-agent Complex SystemsPDF10.65391/r1732
07/02/2023Alastair Faulkner, Mark NicholsonCo-evolving development, implementation and Operational SMS using a Digital TwinPDF10.65391/r1733
07/02/2023Ganesh Pai, Jane Fenn, Mark Nicholson, Michael WilkinsonArchitecting Safer Autonomous Aviation SystemsPDF10.65391/r1735
07/02/2023Paul HamptonGrasping the Chalice – The Quest for the "Holy Grail" of Drone OperationsPDF10.65391/r1736
07/02/2023Tom HughesHow Nuclear New Builds Incorporate Lessons LearnedPDF10.65391/r1737
07/02/2023James IngeCan software engineering methods give us better software safety standards?PDF10.65391/r1738
07/02/2023James Inge, Phil WilliamsIEC 63187 – Tackling complexity in defence systems to ensure safetyPDF10.65391/r1739
07/02/2023Andrew Ireland, Craig Innes, Subramanian Ramamoorthy, Yuhui LinAnticipating Accidents through Reasoned SimulationPDF10.65391/r1740
07/02/2023Gill KernickMaking the Water Visible: A methodology for exploring Systemic ChangePDF10.65391/r1741
07/02/2023Aimée M.R. de Koning, Reza GhabchelooMachine safety conformance limitations for highly automated and autonomous heavy-duty mobile machineryPDF10.65391/r1742
07/02/2023John McDermid, Simon Burton, Zoë PorterSafe, Ethical and Sustainable: Framing the ArgumentPDF10.65391/r1743
07/02/2023John McDermid, Mike ParsonsIntroducing Autonomous Systems into Operations: How the SMS has to ChangePDF10.65391/r1744
07/02/2023Austen Rainer, Catherine Menon, Lorna GibbThe Language of Risks and the Risks of LanguagePDF10.65391/r1745
07/02/2023Jamie McFaddenRising to the challenge of certifying automated vehiclesPDF10.65391/r1746
07/02/2023Aditya Deshpande, Robert OatesHierarchical Approaches to Product Cyber Security: An Automotive Case StudyPDF10.65391/r1747
07/02/2023Mike Parsons, Paul HamptonDragons, Enigmas, Treasure Islands and Zombies: An Iconography of Risks Related to Dead DataPDF10.65391/r1748
07/02/2023Davy Pissoort, Keith ArmstrongAn Overview of IEEE Std 1848-2020: Standard for Techniques and Measurement to Manage Functional Safety and Other Risks with Regards to Electromagnetic DisturbancesPDF10.65391/r1749
07/02/2023Doria RamadanA Practical Approach for the automation of product safety case generation in CI FrameworkPDF10.65391/r1750
07/02/2023David SlaterResilience in Safety Critical Systems –Offshore FRAMPDF10.65391/r1751
04/02/2023Mike ParsonsThe Future of Safe SystemsPDF10.65391/r1712
01/02/2023Paul HamptonSafety Systems vol.31-1PDF10.65391/r1709
01/02/2023Dave BanhamTech Trip Report - RAF Museum Midlands (Cosford)PDF10.65391/r3276
01/02/2023Nick HalesApplying the Layered Enterprise Data Safety ModelPDF10.65391/r3277
01/02/2023Divya Atkins, Martin AtkinsData Safety Analysis using RADISHPDF10.65391/r3278
01/02/2023Dhanabal ArunachalamAvoiding Safety and Cybersecurity RisksPDF10.65391/r3279
01/02/2023Philip Koopman60 Secs with … Phil KoopmanPDF10.65391/r3280
01/02/2023Laure BuysseSafety Futures Initiative Introducing … Laure BuyssePDF10.65391/r3282
01/02/2023Bernard TwomeySeminar Report - The Future of Requirements for Safety Critical SystemsPDF10.65391/r3283
28/01/2023John SpriggsSafety-Critical Systems eJournal vol.2 no.1PDF10.65391/r1752
28/01/2023Sanjeev AppicharlaThe Boeing 737 MAX 8 CrashesPDF10.65391/r1755
28/01/2023Derek Fowler, Octavian Nicolas FotaSafety Assessment of Point Merge Operations in Terminal AirspacePDF10.65391/r1756
28/01/2023Dieter Schnäpp, Lou Xinxin, Peter Bernard LadkinThe Terminological Analysis Method SemAn and its ImplementationPDF10.65391/r1757
22/01/2023DSIWGData Safety Guidance (Version 3.5)PDF10.65391/r1697
18/01/2023SAWGService Assurance Guidance Version 3.1PDF10.65391/r1760
01/10/2022Paul HamptonSafety Systems vol.30-3PDF10.65391/r1675
01/10/2022Paul Hampton, Roger Rivett, Jane Fenn, Dewi Daniels, Sean WhiteHow Do I Get Into SafetyPDF10.65391/r3285
01/10/2022Les Hatton60 Secs with … Les HattonPDF10.65391/r3286
01/10/2022Zoë GarstangSafety Future InitiativePDF10.65391/r3287
01/10/2022Lucia Capogna, Stephen BullRisk Matrices and PitfallsPDF10.65391/r3288
01/10/2022Paul Hampton, Mike ParsonsData Risk CygnologyPDF10.65391/r3289
01/10/2022Dewi DanielsThe Future of Coding for Safety-Critical SystemsPDF10.65391/r3291
01/10/2022Jonathan EastwoodSpace Weather Risks, Challenges and SolutionsPDF10.65391/r3292
01/10/2022Paul Hampton, Martin AtkinsManaging Unexpected RisksPDF10.65391/r3293
28/07/2022John SpriggsEditorial to the Second IssuePDF10.65391/r1643
28/07/2022Derek FowlerIEC 61508 Viewpoint on System Safety in the Transport SectorPDF10.65391/r1645
28/07/2022Nick HalesThe Layered Enterprise Data Safety Model (LEDSM)PDF10.65391/r1646
28/07/2022Peter Bernard LadkinEvaluating Software Execution as a Bernoulli ProcessPDF10.65391/r1647
20/05/2022Paul HamptonSafety Systems vol.30-2PDF10.65391/r1614
20/05/2022Roger RivettAutonomous Driving – more than just avoiding collisionsPDF10.65391/r3243
20/05/2022Dai DavisBrexit and Software SafetyPDF10.65391/r3244
20/05/2022Wendy OwenWendy Owen’s SSS’22 SpeechPDF10.65391/r3245
20/05/2022Dewi DanielsTech Trip Report Bletchley ParkPDF10.65391/r3246
20/05/2022Paul HamptonSSS’22 Event ReportPDF10.65391/r3247
20/05/2022Zoë Garstang60 Seconds with … Zoe GarstangPDF10.65391/r3248
20/05/2022Tim KellyThought for the SymposiumPDF10.65391/r3249
20/05/2022Michael WrightSeminar Report - Accident Investigation and Safety CulturePDF10.65391/r3250
08/02/2022Mark Nicholson, Mike ParsonsSafer Systems: The Next 30 YearsPDF10.65391/r1498
08/02/2022DSIWGData Safety Guidance (Version 3.4)PDF10.65391/r1521
08/02/2022John McDermid, Yan Jia, Zoë PorterConsumerism, Contradictions, Counterfactuals: Shaping the Evolution of Safety EngineeringPDF10.65391/r1522
08/02/2022Gavin WilsherDoes an agile approach improve the way we derive RAMS requirements?PDF10.65391/r1523
08/02/2022Barbara Gallina, Carmen Cârlan, Carsten Thomas, Elham MirzaeiDesign-time Specification of Dynamic Modular Safety Cases in Support of Run-Time Safety AssessmentPDF10.65391/r1524
08/02/2022Austen Rainer, Catherine MenonStories and narratives in safety engineeringPDF10.65391/r1525
08/02/2022Paul Malcolm Darnell, Pavan Venkatesh KumarDevelopment of Rechargeable Electrical Energy Storage Systems for Automotive and AviationPDF10.65391/r1526
08/02/2022Paula PaladeEthics and Safety for Connected and Automated VehiclesPDF10.65391/r1527
08/02/2022Dracos Vassalos, Evangelos Boulougouris, Gerasimos Theotokatos, Victor BolbotTowards a robust safety assurance process for maritime autonomous surface shipsPDF10.65391/r1528
08/02/2022James Catmur, Mike Parsons, Mike SleathA Step-by-Step Methodology for Applying Service AssurancePDF10.65391/r1529
08/02/2022Peter Bernard LadkinThe German and Belgian Floods in July 2021PDF10.65391/r1530
08/02/2022Adam JohnsIntroducing a Restorative Just Culture and the Learning Review at the Docklands Light RailwayPDF10.65391/r1531
08/02/2022Rachel SelfeHuman Reliability in Complex SystemsPDF10.65391/r1532
08/02/2022Graham BraithwaiteThirty years of learning by accidentPDF10.65391/r1533
08/02/2022Harold Thimbleby“Cowboy digital” undermines safety-critical systemsPDF10.65391/r1534
08/02/2022Bernard Twomey, Chris Hobbs, Dewi Daniels, John McDermid, Mike ParsonsCould the Introduction of Assured Autonomy Change Accident Outcomes?PDF10.65391/r1535
08/02/2022James Sharp, Mike Drennan, Paul McKernanA Pipeline of Problems, or Software Development Nirvana? The Challenges of Adopting DevSecOps in a Safety-Critical EnvironmentPDF10.65391/r1536
08/02/2022Alexander Romanovsky, Alexei Iliasov, Dominic Taylor, Linas LaibinisFormal verification of railway interlocking and its safety casePDF10.65391/r1537
08/02/2022Gary GillilandSafety-critical Multi-core for AvionicsPDF10.65391/r1538
08/02/2022Reuben McDonaldAt the interface of engineering safety and cyber securityPDF10.65391/r1539
08/02/2022Dewi DanielsWhat do Byzantine Generals and Airbus Airliners Have in Common?PDF10.65391/r1540
29/01/2022Paul HamptonSafety Systems vol.30-1PDF10.65391/r1504
29/01/2022John McDermidSafe, Ethical & Sustainable: A Mantra for All Seasons?PDF10.65391/r1505
29/01/2022Joan Atkinson, Tom AndersonView From The Desk – 30 years of the SCSCPDF10.65391/r1506
29/01/2022John RidgwayThe Future of Human Factors?PDF10.65391/r1507
29/01/2022Stan PricePlanes and ComputersPDF10.65391/r1508
29/01/2022Brian JepsonThe SCSC and the InternetPDF10.65391/r1509
29/01/2022SCSCThe Future of Safety Engineering and AssurancePDF10.65391/r1510
29/01/2022Mike ParsonsCan We Quantify Risk? Event ReportPDF10.65391/r1511
29/01/2022Lee JacquesSafe use of Multi-Core and Manycore ProcessorsPDF10.65391/r1512
29/01/2022Zoë GarstangGetting to Know You An update from the Safety Futures InitiativePDF10.65391/r1513
29/01/2022SCSC60 Seconds with … Dr Mike ParsonsPDF10.65391/r1514
29/01/2022Mike Parsons60 Seconds with … Dr Mike ParsonsPDF10.65391/r3174
29/01/2022Brian JepsonThe SCSC and the InternetPDF10.65391/r3175
29/01/2022Stan PricePlanes and ComputersPDF10.65391/r3176
29/01/2022Tom AndersonView From The Desk – 30 years of the SCSCPDF10.65391/r3177
29/01/2022Joan Atkinson, John McDermidSafe, Ethical & Sustainable A Mantra for All SeasonsPDF10.65391/r3178
29/01/2022Lee JacquesSeminar Report - Safe Use of MulticorePDF10.65391/r3179
29/01/2022Paul HamptonThe Future of Safety Engineering & AssurancePDF10.65391/r3180
29/01/2022John RidgwayThe Future of Human FactorsPDF10.65391/r3181
29/01/2022Mike ParsonsSeminar Report - Can We Quantify RiskPDF10.65391/r3182
29/01/2022Zoë GarstangSafety Futures Initiative UpdatePDF10.65391/r3183
28/01/2022John SpriggsWelcome to the First Issue of a New Journal!PDF10.65391/r1516
28/01/2022James Sharp, Rob AshmoreGeneric Assurance Topics for Any Type of Programmable ContentPDF10.65391/r1517
28/01/2022Dewi Daniels, Nick TudorSoftware Reliability and the Misuse of StatisticsPDF10.65391/r1518
28/01/2022Bruce Hunter‘til the Next Zero-Day Comes Ransomware, Countermeasures, and the Risks They Pose to SafetyPDF10.65391/r1519
25/01/2022SASWGSafety Assurance Objectives for Autonomous Systems V3PDF10.65391/r1520
18/01/2022SAWGService Assurance Guidance Version 3PDF10.65391/r1503
13/10/2021Paul HamptonSafety Systems vol.29-3PDF10.65391/r1445
02/08/2021ACWGAssurance Case Guidance (Version 1)PDF10.65391/r1245
13/05/2021Paul HamptonSafety Systems vol.29-2PDF10.65391/r1422
13/05/2021John SpriggsIntroducing the Safety-Critical Systems eJournalPDF10.65391/r3193
13/05/2021Paul HamptonSeminar Report - SSS’21PDF10.65391/r3194
13/05/2021Rick VinterSeminar Report - Safety Culture DevelopmentsPDF10.65391/r3195
13/05/2021John Spriggs60 Seconds with … John SpriggsPDF10.65391/r3196
13/05/2021Mick WarrenCyber Security Aspects of Autonomy in AircraftPDF10.65391/r3197
13/05/2021Emma TaylorWhere next for complex software-based systemsPDF10.65391/r3198
13/05/2021Michael GreenArchitecting Wireless for Safety Critical M2M CommsPDF10.65391/r3199
13/05/2021Mike ParsonsThe SCSC is its Own Boss!PDF10.65391/r3200
04/05/2021ACWGGoal Structuring Notation Community Standard (Version 3)PDF10.65391/r1386
09/02/2021Mark Nicholson, Mike ParsonsSystems and Covid-19PDF10.65391/r1302
09/02/2021Arlen Baker, Paul ParkinsonIPnet Vulnerabilities: A Case StudyPDF10.65391/r1303
09/02/2021Simon WhiteleyWhat can be learned from the UK response to the Coronavirus using STAMP and how this learning could shape future responses & policiesPDF10.65391/r1304
09/02/2021Dave Banham, Michael BrownThe Impact of Über-Authorities on WCETPDF10.65391/r1308
09/02/2021Adrian Jones, Ian Burgoyne, James Edwards, Kai Barrington, Wendy OwenMeerkat – IoT-Based Solar-Powered SIL2 Footpath Level Crossing Warning SystemPDF10.65391/r1309
09/02/2021Iain Bate, Louise HarneyOpen Challenges and Gaps in the Guidance for the Use of Multi-Cores and MPSoCs in Safety-Critical SystemsPDF10.65391/r1312
09/02/2021John Rushby, Robin BloomfieldAssurance 2.0: A ManifestoPDF10.65391/r1313
09/02/2021John McDermid, Philip Garnett, Rob Weaver, Simon BurtonAn Initial Framework Assessing the Safety of Complex SystemsPDF10.65391/r1314
09/02/2021Chris Allsopp, J Calford, J Smith, K Eder, Richard Maguire, Rose GambonAssuring the Integration of Autonomy:A Fault TaxonomyPDF10.65391/r1315
09/02/2021Michael EllimsA Longitudinal Study in Medical Error:The Limits of ListsPDF10.65391/r1316
09/02/2021Michael GreenSafety-critical wireless communication linksPDF10.65391/r1317
09/02/2021Ibrahim Habli, Richard Hawkins, Rob AlexanderSafety Cases: An Impending Crisis?PDF10.65391/r1318
09/02/2021Nick HalesData Safety in Virus Outbreaks:Lessons Learnt and RecommendationsPDF10.65391/r1319
09/02/2021Chris Hobbs, Waqar AhmedUsing Bayesian Modelling to Predict Software DefectsPDF10.65391/r1320
09/02/2021John HolmesThe Future of Satellite Launch from the UKPDF10.65391/r1321
09/02/2021Patrick Hudson, Timothy HudsonSafety Culture Stories: News from the FrontPDF10.65391/r1322
09/02/2021Masao ItoTM Card: A way to provide a useful index for standards and guidelines for Autonomous VehiclesPDF10.65391/r1323
09/02/2021Kevin King, Mark NicholsonDigital Twins for Safety-Critical Systems: Principles to support their role in safety assurancePDF10.65391/r1324
09/02/2021Peter Bernard LadkinChances, Confidence and Risks Analysis:The Chance of Covid-19 Infection in the Day Care of Very Young ChildrenPDF10.65391/r1325
09/02/2021Peter Bernard LadkinA Simple Calculus of ConfidencePDF10.65391/r1326
09/02/2021Paul Chinneck, Yvonne OakshottSix Honest Serving Men for Today (Dialectic Argumentation for Assurance Cases)PDF10.65391/r1327
09/02/2021Mark Nicholson, Matt Osborne, Richard HawkinsAn “As Desired” Model of the Software Safety Assurance LifecyclePDF10.65391/r1328
09/02/2021Anil Ranjitbhai Patel, Nikita Bhardwaj Haupt, Peter LiggesmeyerPrediction of Dynamic Adaptation Techniquefor Autonomous Vehicles using Decision TreesPDF10.65391/r1329
09/02/2021David PennieHuman reliability assessment procedure fornon-Human Factors practitionersPDF10.65391/r1330
09/02/2021Davy PissoortPETER – A Pan-European Training, Researchand Education network onElectromagnetic Risk ManagementPDF10.65391/r1331
09/02/2021Lee Ramsay, Mick WarrenChallenges of Cyber-Resilience in Aviation:An ImplementationPDF10.65391/r1332
09/02/2021Anthony Finkelstein, Francesco Costantino, John Watt, Maria Luisa Villani, Mark Sujan, Riccardo PatriarcaDeveloping Leading Safety Indicators using the Functional Resonance Analysis MethodPDF10.65391/r1333
09/02/2021Emma TaylorInfluencing for Safety and Risk:A Novel ToolkitPDF10.65391/r1334
09/02/2021Harold ThimblebyThe pivotal pandemic - Why we urgently need to fix ITPDF10.65391/r1335
09/02/2021Michael Wright, Stuart KingSafe staffing levels:latest Energy Institute guidancePDF10.65391/r1336
08/02/2021DSIWGData Safety Guidance (Version 3.3)PDF10.65391/r1349
08/02/2021SAWGService Assurance Guidance Version 2PDF10.65391/r1352
01/02/2021Paul HamptonSafety Systems vol.29-1PDF10.65391/r1311
01/02/2021Harold Thimbleby60 Seconds with… Harold ThimblebyPDF10.65391/r3229
01/02/2021Zoë GarstangThe Safety Futures InitiativePDF10.65391/r3230
01/02/2021Paul Hampton, Dewi DanielsBoeing 737 MAX – Safe to FlyPDF10.65391/r3231
01/02/2021Kevin KingAssurance of Digital Twins for Safety-Critical SystemsPDF10.65391/r3232
01/02/2021Andy WilliamsSeminar Report - Management and Oversight of Complex SystemsPDF10.65391/r3233
01/02/2021Richard TrebilcockSeminar Report - New Safety Analysis TechniquesPDF10.65391/r3234
01/02/2021Davy PissoortSafer Autonomous Systems Training NetworkPDF10.65391/r3235
31/10/2020Paul HamptonSafety Systems vol.28-3PDF10.65391/r1259
31/10/2020John McDermid60 Seconds with … John McDermidPDF10.65391/r3263
31/10/2020Peter Bernard LadkinIf Music be the Food of Love, Sing On, Sing On, But HowPDF10.65391/r3264
31/10/2020John SpriggsMistakes and MisconceptionsPDF10.65391/r3265
31/10/2020Mike ParsonsDark Data and SafetyPDF10.65391/r3266
31/10/2020Rob AlexanderThe Safety of Autonomous SystemsPDF10.65391/r3267
31/10/2020David HandDark DataPDF10.65391/r3268
13/10/2020Peter Bernard LadkinDealing With Covid-19 Where We ArePDF10.65391/r3269
13/10/2020Zoë GarstangGetting to Know You An update from the Safety Futures InitiativePDF10.65391/r3270
13/10/2020Paul HamptonSeminar Report - Software Maintenance Legacy and ArchaeologyPDF10.65391/r3271
13/10/2020Paul Hampton, Graham Jolliffe, Tom Anderson, Mike ParsonsHow Do I Get Into SafetyPDF10.65391/r3272
13/10/2020Emma Taylor60 Seconds with … Dr Emma TaylorPDF10.65391/r3273
13/10/2020Phil WilliamsAssurance Case WG – Guidance document and GSN Standard updatePDF10.65391/r3274
13/10/2020Stephen BarkerAssessment of Change Safety CasesPDF10.65391/r3275
14/05/2020Paul HamptonSafety Systems vol.28-2PDF10.65391/r1249
14/05/2020Nick HalesFormalising Communication On Potentially Catastrophic Safety ProjectsPDF10.65391/r3221
14/05/2020Harold ThimblebyHow Reliable are Pandemic ModelsPDF10.65391/r3222
14/05/2020Andrew KingComplex Safety Cases – Enhancing The Goal Structuring NotationPDF10.65391/r3223
14/05/2020John RidgwayHow Smart Are Our MotorwaysPDF10.65391/r3224
14/05/2020Erik Hollnagel60 Seconds with… Professor Erik HollnagelPDF10.65391/r3225
14/05/2020Mike ParsonsService Assurance GuidancePDF10.65391/r3226
14/05/2020Tim KellyTim Kelly’s SSS’20 After-dinner SpeechPDF10.65391/r3227
14/05/2020Paul HamptonSymposium Report - Safety-Critical Systems Club Symposium 2020PDF10.65391/r3228
11/02/2020Dewi DanielsThe Boeing 737 MAX AccidentsPDF10.65391/r1168
11/02/2020Alastair Faulkner, Mark NicholsonThe Emergence of Accidental AutonomyPDF10.65391/r1169
11/02/2020John SpriggsSatellite Navigation ~ Where Are We Going?PDF10.65391/r1170
11/02/2020Alex White, Darryl Hond, Hamid AsgariQuantifying Dataset Properties for Systematic Artificial Neural Network Classifier VerificationPDF10.65391/r1172
11/02/2020Kevin King, Mark Sujan, Mike ParsonsA Service Perspective on AccidentsPDF10.65391/r1173
11/02/2020Ibrahim Habli, Irfan Sljivo, Omar Jaradat, Richard HawkinsModular Safety Cases for the Assurance of Industry 4.0PDF10.65391/r1174
11/02/2020Emma TaylorSafety in Space: A Changing Picture?PDF10.65391/r1175
11/02/2020Jane Fenn, Ran Wei, Richard Hawkins, Yvonne OakshottMaking Modular Assurance Cases Work Using Structured Assurance Case Metamodel(SACM)PDF10.65391/r1176
11/02/2020Mark Hadley, Mike StandishA Practical Assurance Approach for Multi-Cores (MCs) Within Safety-Critical Software ApplicationsPDF10.65391/r1177
11/02/2020Rajiv BongirwarDemystifying Functional Safety in Road Vehicles – ISO 26262PDF10.65391/r1178
11/02/2020Waleed N ChaudhryUtilising MBSE for Safety Assurance of COTS devices with embedded softwarePDF10.65391/r1179
11/02/2020Nikita Johnson, Tim Kelly, Youcef GheraibiaIndependent Co-Assurance using the Safety-Security Assurance Framework(SSAF):A Bayesian Belief Network Implementation for IEC 61508 and Common CriteriaPDF10.65391/r1180
11/02/2020Jonathan Pugh, Paul Hampton, Richard BallDevelopments in Safety & Security Integration: Remotely Piloted Unmanned Aircraft Systems Command and ControlPDF10.65391/r1181
11/02/2020Peter Bernard LadkinIEC TR 63069, Security Environments and Security-Risk AnalysisPDF10.65391/r1182
11/02/2020Martyn ThomasA Comment on IEC TR 63069PDF10.65391/r1183
11/02/2020Ali Hessami, Graham SutherlandSafety Critical Integrity Assurance in Large DatasetsPDF10.65391/r1185
11/02/2020Dominic Furniss, Ibrahim Habli, Mark Sujan, Richard HawkinsHuman Factors of Using Artificial Intelligence in Healthcare: Challenges That Stretch Across IndustriesPDF10.65391/r1186
11/02/2020Michael Wright, Sam Opiah, Suzanne CroesPsychological safety - facilitating self-reporting of error, mistakes and non-compliance: A rapid review for the Energy InstitutePDF10.65391/r1187
11/02/2020John Botham, Michael EllimsIssues with Rules for Autonomous Vehicle SafetyPDF10.65391/r1188
11/02/2020Alastair CrawfordSafety Systems and Defence in Depth in Nuclear New BuildPDF10.65391/r1189
11/02/2020Chris Allsopp, James McCloskey, Richard Maguire, Rose Gambon, Thom Kirwan-EvansGenerating the Evidence Necessary to Support Machine Learning Safety ClaimsPDF10.65391/r1190
10/02/2020Mark Nicholson, Mike ParsonsAssuring Safe AutonomyPDF10.65391/r1166
10/02/2020Paul HamptonSafety Systems vol.28-1PDF10.65391/r1205
10/02/2020Paul HamptonSenior Leadership Forum Safety Management SystemsPDF10.65391/r3302
10/02/2020Alastair FaulknerData, Data Everywhere ...PDF10.65391/r3303
10/02/2020Paul HamptonSeminar Report - Data Safety EvolutionPDF10.65391/r3304
10/02/2020Mike Standish, Mark HadleyAdapting to Changes in a Software Safety Assurance ApproachPDF10.65391/r3305
10/02/2020Shakir Laher, Mark SujanAssurance challenges for Artificial Intelligence and Machine Learning in healthcarePDF10.65391/r3306
10/02/2020Rick VinterSeminar Report - Creating and Maintaining Effective Safety CulturePDF10.65391/r3307
10/02/2020Tim Kelly60 Seconds with … Tim KellyPDF10.65391/r3308
10/02/2020Dave BanhamFormalising the Language of RiskPDF10.65391/r3309
09/02/2020DSIWGData Safety Guidance (Version 3.2)PDF10.65391/r1218
08/02/2020SAWGService Assurance GuidancePDF10.65391/r1212
07/02/2020SASWGSafety Assurance Objectives for Autonomous Systems V2PDF10.65391/r1204
01/10/2019Paul HamptonSafety Systems vol.27-2PDF10.65391/r1124
01/10/2019Keith Armstrong, Davy PissoortRisks caused by Electromagnetic InterferencePDF10.65391/r3251
01/10/2019Keith Armstrong, Davy PissoortHardware and Software Techniques and Measures to Effectively Manage EMI Functional Safety RisksPDF10.65391/r3252
01/10/2019David PennieHuman Factors Integration Technical Guide for Human Factors and Safety ManagementPDF10.65391/r3253
01/10/2019Keith Armstrong, Davy PissoortWhy do we need new standards for EMI Functional Safety RisksPDF10.65391/r3254
07/02/2019Graham R BraithwaiteForensics to Prognostics: From investigating failures to anticipating the vulnerabilities of increasingly complex systemsPDF10.65391/r1078
07/02/2019Nick HalesDesign of an Application to Make Maintenance Processes SaferPDF10.65391/r1079
07/02/2019David Radack, Harold G. Tiedeman Jr., Paul ParkinsonCivil Certification of Multi-core Processing Systems in Commercial AvionicsPDF10.65391/r1080
07/02/2019Bernhard Winkler, Helmut Martin, Martin Benedikt, Martin KrammerFunctional Safety in the Context of Distributed Co-SimulationPDF10.65391/r1081
07/02/2019Chris Allsopp, David H Smith, Elizabeth Lennon, James McCloskey, Lee Ramsay, Sam JenkinsTowards a Safety Argument for Autonomous Systems that Use Machine LearningPDF10.65391/r1082
07/02/2019Ali Hessami, Graham SutherlandPotential Methods to Enhance Safety within Neural Network Based SystemsPDF10.65391/r1083
07/02/2019Aaron Kane, Jen Black, Philip KoopmanCredible Autonomy Safety ArgumentationPDF10.65391/r1084
06/02/2019Jelena Frtunikj, Simon FürstEngineering Safe Machine Learning for Automated Driving SystemsPDF10.65391/r1070
06/02/2019Ben Pritchard, Hamid Asgari, Jason FarrellReview of Regulatory Issues of Robotic and Autonomous Systems: Learning for Civil Nuclear IndustryPDF10.65391/r1071
06/02/2019Colin O’Halloran, Nick Tudor, William SimmondsVerifying Behaviour of Swarms of Autonomous Cyber Physical SystemsPDF10.65391/r1072
06/02/2019Bhopinder Madahar, Rob AshmoreRethinking Diversity in the Context of Autonomous SystemsPDF10.65391/r1073
06/02/2019Gereon Weiss, Mario TrappTowards Dynamic Safety Management for Autonomous SystemsPDF10.65391/r1074
06/02/2019David Griffin, Emma TaylorReview of the context for a combined security - safety risk management framework for railPDF10.65391/r1075
06/02/2019Andrea Margheri, Brian Stevens, Rob Ashmore, Vladimiro SassoneDeveloping Critical Software in the Modern Threat EnvironmentPDF10.65391/r1076
06/02/2019David Shipman, Stephen BullAssuring EULYNX: Application of CSM-RA to Specification DevelopmentPDF10.65391/r1077
05/02/2019Mike Parsons, Tim KellyEngineering Safe AutonomyPDF10.65391/r1053
05/02/2019Sidney DekkerAutomation Surprise in the 21st Century: Culture, Collaborative Cognition, Complexity and Legacy SystemsPDF10.65391/r1054
05/02/2019Christian Raspotnig, Fabio Massacci, Johannes de Haan, Peter Bernard Ladkin, Pierantonia SterliniThe Risk of Relying on a Public Communications InfrastructurePDF10.65391/r1056
05/02/2019Ludmila Musalova, Michael Wright, Rebecca Canham, Stuart KingManaging major accident hazard risks (people, plant and environment) during organisational change: A new Energy Institute GuidePDF10.65391/r1057
05/02/2019John SpriggsSufficient Assurance?PDF10.65391/r1058
05/02/2019Maureen BakerSafety in NHS IT - A Personal NarrativePDF10.65391/r1059
05/02/2019Alan Simpson, Andy Scott, Mike Parsons, Nick DurstonThe Principles of Service AssurancePDF10.65391/r1060
05/02/2019Kevin King, Steve ElliottService-based Safety Assurance: A provider approach in a challenging environmentPDF10.65391/r1061
05/02/2019DSIWGData Safety Guidance (Version 3.1)PDF10.65391/r1086
04/02/2019SASWGSafety Assurance Objectives for Autonomous SystemsPDF10.65391/r1069
01/01/2019Katrina AttwoodSafety Systems vol.27-1PDF10.65391/r1108
01/01/2019Paul Hampton, Mark ThomasData Safety Guidance for Clinical Risk ManagementPDF10.65391/r3208
01/01/2019Nick HalesAutonomy’s Troubling QuestionsPDF10.65391/r3209
01/01/2019John RidgwayOn the Safest Way to KillPDF10.65391/r3210
01/01/2019Ludmila MusalovaThe Relationship Between Employee Well-Being and Safety-Related OutcomesPDF10.65391/r3211
01/01/2019Yves Génevaux, Ken Nathan, Fabien Gaucher, Bruno JoffretRequirements in the Loop The Future of Model-Based System EngineeringPDF10.65391/r3212
06/02/2018Jonas NilssonSafe Self-Driving Cars: Challenges and Some SolutionsPDF10.65391/r919
06/02/2018Andrew Banks, Rob Alexander, Rob AshmoreThe State of Solutions for Autonomous Systems SafetyPDF10.65391/r920
06/02/2018Catherine Menon, Rob AlexanderEthics and the safety of autonomous systemsPDF10.65391/r921
06/02/2018John McDermid, Kevin DaffeySafety of Artificial Intelligence and its role in Autonomy: A Maritime Perspective PDF10.65391/r922
06/02/2018José FariaMachine Learning Safety: An OverviewPDF10.65391/r923
06/02/2018Mark Douthwaite, Tim KellySafety-Critical Software and Safety-Critical Artificial Intelligence: Integrating New Practices and New Safety Concerns for AI systemsPDF10.65391/r924
06/02/2018Alan Simpson, Craig Harris, Mike ParsonsService-Based Safety AssurancePDF10.65391/r926
03/02/2018Mike Parsons, Tim KellyEvolution of System SafetyPDF10.65391/r140
31/01/2018ACWGGoal Structuring Notation Community Standard (Version 2)PDF10.65391/r142
29/01/2018DSIWGData Safety Guidance (Version 3.0)PDF10.65391/r138
26/01/2018SASWGSafety-Related Challenges for Autonomous SystemsPDF10.65391/r143
11/01/2018Roderick ChapmanThe Fumble ProgrammerPDF10.65391/r927
11/01/2018Frank van den BeukenThe Future of MISRA C under the SpotlightPDF10.65391/r928
11/01/2018Andrew Eaton, Stephen BarkerRegulatory perspective on the review and content of a behaviour-based safety casePDF10.65391/r929
11/01/2018Ludmila Musalova, Michael Wright, Rebecca CanhamError Management combining people and systemsPDF10.65391/r930
11/01/2018Arash Khabbaz Saberi, Frank Benders, Johan J. Lukkien, Mark van den Brand, Richard KochA method for quantitative measurement of safety culture based on ISO 26262PDF10.65391/r931
11/01/2018Chris JohnsonThe Increasing Risks of Risk Assessment: On the Rise of Artificial Intelligence and Non-Determinism in Safety-Critical SystemsPDF10.65391/r932
11/01/2018Ibrahim Habli, Sean WhiteHazard and Risk Analysis of Health Informatics: Fundamental Challenges and New DirectionsPDF10.65391/r933
11/01/2018Arlen Baker, Paul ParkinsonCyber security enhancements for an ARINC 653 safety-critical avionics platformPDF10.65391/r934
11/01/2018Andrew Hawthorn, Richard MyersSecuring a wireless command and control system for the UK national rail networkPDF10.65391/r935
11/01/2018Bill Blackburn, Mike Parsons, Paul HamptonData in Police and Criminal Justice Systems: How data errors could lead to harm to innocent citizensPDF10.65391/r936
11/01/2018Louise HarneyA Systems Engineering Approach to Data RiskPDF10.65391/r937
11/01/2018Ajay Mishra, Wolfgang ReineltAgile development of safety-related industrial automation solutionsPDF10.65391/r938
11/01/2018Are Hellandsvik, Geir Kjetil Hanssen, Jan-Arne Eriksen, Thor MyklebustThe Agile FMEA ApproachPDF10.65391/r939
01/04/2017Katrina AttwoodSafety Systems vol.26-1PDF10.65391/r1107
01/04/2017Rob Alexander, Philippa RyanWorking Group Report Safety of Autonomous SystemsPDF10.65391/r3161
01/04/2017Dick SelwoodGuest Editorial Twenty-Five Years of Safety - SSS'17 A Personal PerspectivePDF10.65391/r3162
01/04/2017Steve GandyConforming to IEC 61511 Operation and Maintenance RequirementsPDF10.65391/r3163
01/04/2017John RidgwayLet Me Make Myself UnclearPDF10.65391/r3164
01/04/2017Vicky GliddonAssessing Safety Culture - Where do I startPDF10.65391/r3165
01/04/2017Steve ThomasStructured Design of Safety ManagementPDF10.65391/r3166
09/02/2017Dewi DanielsFrom the IBM 29 Card Punch to the Boeing 787 Dreamliner (and Beyond)PDF10.65391/r904
09/02/2017Andy Degraeve, Chaouki Kasmi, Davy Pissoort, José Lopes Esteves, Keith ArmstrongAnalysis of Effects induced by EM disturbances on COTS Devices, from an EM Security and Functional Safety perspectivePDF10.65391/r905
09/02/2017Steve GregorySneak Path Analysis: Realising the PotentialPDF10.65391/r906
09/02/2017José Corrêa de SáHFACS: Helicopter Operations’ SafetyPDF10.65391/r907
09/02/2017Louise HarneyIntegrating Data into the Safety Assessment Methodology for DefencePDF10.65391/r908
09/02/2017Harold ThimblebyCybersecurity problems in a typical hospital (and probably in all of them)PDF10.65391/r909
09/02/2017Mike Parsons, Paul Hampton, Tom AdamsData: Your Life in its HandsPDF10.65391/r910
09/02/2017Ron BellSafety critical systems - A brief history of the development of guidelines and standardsPDF10.65391/r911
09/02/2017Les HattonBalancing safety with rampant software feature-itisPDF10.65391/r912
08/02/2017Kate Netkachova, Peter Bishop, Robin BloomfieldConfidence in a connected world: safe, secure, resilient and autonomousPDF10.65391/r896
08/02/2017Chris HobbsSoftware Handling of Hardware ErrorsPDF10.65391/r897
08/02/2017Bernhard Schommer, Christian Ferdinand, Daniel Kästner, Michael Schmidt, Sandrine Blazy, Xavier LeroyClosing the Gap – The Formally Verified Optimizing Compiler CompCertPDF10.65391/r898
08/02/2017Colin O’Halloran, Nick TudorUsing Formal Proof to meet Executable Object Code and Coverage Objectives in DO-333PDF10.65391/r899
08/02/2017Nancy LevesonMy 36 Years in System Safety Engineering: Looking Backward, Looking ForwardPDF10.65391/r900
08/02/2017Richard Hawkins, Rob Alexander, Tim KellyFrom Safety Cases to Security CasesPDF10.65391/r901
08/02/2017Kevin R. DriscollCyber Safety and Security for Reduced Crew Operations (RCO)PDF10.65391/r902
08/02/2017Robert Dickie, Ryan MeeksWaking up to The Insider as a Safety-Critical ThreatPDF10.65391/r903
07/02/2017John McDermidPlaying Catch – Up: The Fate of Safety Engineering?PDF10.65391/r889
07/02/2017Andy German, Ian Mitchell, Mike BrownswordThe “rise of the machine” and the need for a System - of - Systems safety methodology?PDF10.65391/r890
07/02/2017Elizabeth Lennon, Rob AshmoreProgress Towards the Assurance of Non - Traditional SoftwarePDF10.65391/r891
07/02/2017Audrey CanningFunctional Safety: Where have we come from? Where are we going?PDF10.65391/r892
07/02/2017Michael J. PontGoing ‘Back to the Future’: Developing safety - critical embedded systems using modern Time - Triggered software architecturesPDF10.65391/r893
07/02/2017David Ward, John Birch, Mark CousenProduct Integrity Assurance Argument Framework for Vehicle AutonomyPDF10.65391/r894
07/02/2017Paul ParkinsonExperiences of avionics safety certification of an ARINC 653 RTOS on multi-core processor architecturePDF10.65391/r895
01/01/2017DSIWGData Safety Guidance (Version 2.0)PDF10.65391/r133
19/01/2016DSIWGData Safety Guidance (Version 1.3)PDF10.65391/r130
30/12/2015Martyn ThomasCybersecurity in the Safety Life-cyclePDF10.65391/r853
30/12/2015Bernd Sieker, Peter Bernard LadkinResilience is an Emergent System Property: A Partial ArgumentPDF10.65391/r854
30/12/2015Ali HessamiSmart Safety Assessment, SSAPDF10.65391/r855
30/12/2015Mike Parsons, Paul HamptonAccidents and Incidents: Viewing the World through Data EyesPDF10.65391/r856
30/12/2015John DelafieldSafety Justifications for use of Smart Devices in Existing Nuclear Power Stations - “Getting the Balance Right”PDF10.65391/r857
30/12/2015Stephen BullImproving European Aviation Safety ApprovalsPDF10.65391/r858
30/12/2015Neil White, Roderick ChapmanIndustrial experience with Agile in high-integrity software developmentPDF10.65391/r859
30/12/2015Bev Littlewood, Peter Bernard LadkinPractical Statistical Evaluation of Critical SoftwarePDF10.65391/r860
30/12/2015Chris JohnsonWhy We Cannot (Yet) Ensure the Cyber-Security of Safety-Critical SystemsPDF10.65391/r861
30/12/2015Harold ThimblebyHuman error in safety-critical programmingPDF10.65391/r862
30/12/2015Carl SandomCompetence Considerations for Systems SafetyPDF10.65391/r863
30/12/2015Chris HobbsConfirmation Bias within Safety Case ArgumentsPDF10.65391/r864
30/12/2015Ben McCaulder, Rebecca Canham, Shona WatsonBeyond arrangements – making the link between safety management and safety culturePDF10.65391/r865
30/12/2015David McGeoch, Frederik Botes, John Birch, Paul DarnellDevelopment of an Adaptive Safety Monitoring FunctionPDF10.65391/r866
30/12/2015Masao ItoManaging the concept phase in the functional safety standard for automobilesPDF10.65391/r867
30/12/2015Alix Edwards, Iain Knight, Matthew AveryAutonomous Driving and Insurance: Implications for Automotive Design and the Insurance IndustryPDF10.65391/r868
30/12/2015David Ward, Ireri IbarraNext generation of driver assist systemsPDF10.65391/r869
30/12/2015M.G. Spencer, Nick DurstonThe challenges facing an autonomous car's risk assessmentPDF10.65391/r870
30/12/2015Dave BanhamModelling the Data Safety GuidancePDF10.65391/r871
30/12/2015Xiaocheng GeSafety of Socio-technical Systems from a Perspective of Enterprise EngineeringPDF10.65391/r872
30/12/2015Erwan Mottin, Thierry LecomteFormal Data Validation in the RailwaysPDF10.65391/r873
30/12/2015Carmen Castaño, Robert SchmittModel-Based Risk as a Path to Safer Medical DevicesPDF10.65391/r874
30/12/2015Christian Ferdinand, Daniel KästnerProving the Absence of Software-Induced Memory CorruptionPDF10.65391/r875
30/12/2015Edward Horabin, John Hoddinott, Luke HankinsThe Role of Standardisation and Guidance in the Development of Sub-sea Glider TechnologiesPDF10.65391/r876
30/12/2015Matthew NoonanImproving the testability of high integrity FPGAsPDF10.65391/r877
30/12/2015Graham BraithwaiteTime for a New Approach to Accident Investigation?PDF10.65391/r878
26/01/2015DSIWGData Safety (Version 1.2)PDF10.65391/r128
26/01/2015Adrian Allan, Eberechi WeliSubsea Safety Shutdown Architectures: Present and FuturePDF10.65391/r829
26/01/2015Martin TolandAre modern safety systems leading to deficiencies in post-accident control measures?PDF10.65391/r830
26/01/2015Alexander Romanovsky, Alexei IliasovFormal Modelling of Railway Safety and CapacityPDF10.65391/r831
26/01/2015Cody Fleming, John Thomas, Nancy LevesonA Comparison of SAE ARP 4761 and STPA Safety Assessment ProcessesPDF10.65391/r832
26/01/2015K.R. WallaceCan Evidence - Based Software Engineering Contribute To Safer Software?PDF10.65391/r833
26/01/2015M. Elshuber, P. Popat, R. Fink, S. Gulan, S. Kandl, S. Rieger, T. NguyenApplicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262PDF10.65391/r834
26/01/2015Derek FowlerFunctional Safety by Design – Magic or Logic?PDF10.65391/r835
26/01/2015Katrina Attwood, Tim KellyControlled Expression for Assurance Case DevelopmentPDF10.65391/r836
26/01/2015Stephen E. PaynterSystematically Self-Reflecting Safety-Arguments: Introduced, Illustrated and CommendedPDF10.65391/r837
26/01/2015Anh Nguyen-Tuong, Benjamin D. Rodes, Jack Crawford, Jason D. Hiser, John C. Knight, Michele CoA Case Study of Security Case DevelopmentPDF10.65391/r838
26/01/2015C. Michael HollowayExplicate ‘78: Uncovering the Implicit Assurance Case in DO–178CPDF10.65391/r839
26/01/2015Børge Haugset, Geir Kjetil Hanssen, Thor Myklebust, Tor StålhaneUsing a Goal-Based Approach to Improve the IEC 61508-3 Software Safety StandardPDF10.65391/r840
26/01/2015Peter Bernard LadkinRisks People Take and Games People PlayPDF10.65391/r841
26/01/2015Les ChambersRisk Tolerance - A tale of professional yachtsman and meddling bastardsPDF10.65391/r842
26/01/2015Amira Hamilton, Phil WebbAssessing the Safety Risk of Collaborative Automation within the UK Aerospace Manufacturing IndustryPDF10.65391/r843
26/01/2015Clive LeeUncertainty in Demonstrating RequirementsPDF10.65391/r844
26/01/2015José FariaCopernic SafetyPDF10.65391/r845
26/01/2015Mike Parsons, Paul HamptonThe Data ElephantPDF10.65391/r846
26/01/2015Benjamin Herd, Michael Luck, Peter McBurney, Simon MilesApproximate verification of swarm-based systems: a vision and preliminary resultsPDF10.65391/r847
26/01/2015Nick GolledgeDemonstrating Compliance in the ArcticPDF10.65391/r848
26/01/2015Andrew Rae, Christopher Megone, Ibrahim Habli, Kevin Macnish, Mark Nicholson, Tim KellyThe Ethics of Acceptable SafetyPDF10.65391/r849
26/01/2015Elizabeth JacobCombining Organisational and Safety Culture ModelsPDF10.65391/r850
26/01/2015Freyja Lockwood, Michael Wright, Rebecca CanhamDeveloping a Framework for Assessing Workplace & Product Safety Culture in BAE SystemsPDF10.65391/r851
05/02/2014DSIWGData Safety Guidance (Version 1.0)PDF10.65391/r127
10/01/2014John KnightSafety Standards – a New ApproachPDF10.65391/r805
10/01/2014Dewi Daniels, Nick Tudor, Ross HannanDO-178C – a PerspectivePDF10.65391/r806
10/01/2014Graham JolliffeRe-Issuing Def Stan 00-55PDF10.65391/r807
10/01/2014Keith ArmstrongEMC Compliance for Functional Safety by adapting 61508’s Techniques and Measures – New Guidance published by the IETPDF10.65391/r808
10/01/2014Mike Parsons, Paul HamptonStopping Data causing Harm: towards StandardisationPDF10.65391/r809
10/01/2014Stephen BromageAccident Sequence Based Method for Combining Safety StandardsPDF10.65391/r810
10/01/2014Adrian Roper, Andrew Neely, Bill Walby, Chris Johnson, Joe Fuse, Peter FielderProduct Safety in a World of Services: Through-Life AccountabilityPDF10.65391/r811
10/01/2014Donna Champion, Roger RivettThe Strategic Implications of ISO 26262PDF10.65391/r812
10/01/2014Elaine Holden, George Cleland, Ian BarnesElectronic Safety Cases in an Explosives EnvironmentPDF10.65391/r813
10/01/2014Paul CheesemanInternational Engineering Safety Management for the Rail IndustryPDF10.65391/r814
10/01/2014Alastair Faulkner, Phillip ProctorScale, Scope and Control: Safety Integrity Challenges in Railway Control SystemsPDF10.65391/r815
10/01/2014Harold ThimblebySafety versus Security in Healthcare ITPDF10.65391/r816
10/01/2014Andy Lowrey, Branka SuboticSafety and Human Factors: Two Sides of the Same CoinPDF10.65391/r817
10/01/2014Anil Kumar Davuluri, Karthikeyan NagarajanSafety Maturity ModelPDF10.65391/r818
10/01/2014Pippa MooreAircraft System Safety Assessment – the Challenge for Future Design and CertificationPDF10.65391/r819
10/01/2014David Randall, David Speed, Paul ParkinsonDevelopment and Certification of a Safety-Critical Avionics Touch Screen Display using Open StandardsPDF10.65391/r820
10/01/2014Dan Sheridan, Sofia GuerraCompliance with Standards or Claim-based Justification? The Interplay and Complementarity of the Approaches for Nuclear Software-based SystemsPDF10.65391/r821
10/01/2014Gabriele Schedl, Jürgen Floetzer, Lucas WindQuantitative Aspects of Common Cause Failures and Review of Commonly Applied ModelsPDF10.65391/r822
10/01/2014Alastair Faulkner, Mark NicholsonAn Assessment Framework for Data-Centric SystemsPDF10.65391/r823
10/01/2014Tim KellySoftware Certification: where is Confidence Won and Lost?PDF10.65391/r824
10/01/2014Mick Warren, Tim KellyModelling and analysing Safety Acceptance Decision Making Processes in the MoDPDF10.65391/r825
10/01/2014Chris HobbsCompiler or Compilation Validation?PDF10.65391/r826
28/12/2012Allan BainSafety Certification in the Defence SectorPDF10.65391/r754
28/12/2012Ron BellIEC61508: Assessment, Certification and Other Assurance MeasuresPDF10.65391/r755
28/12/2012Dewi DanielsCertification in Civil AviationPDF10.65391/r756
28/12/2012Roger RivettAutomotive RegulationsPDF10.65391/r757
28/12/2012Peter SheppardGetting Accepted in the UK Rail IndustryPDF10.65391/r758
28/12/2012John Thomas, Nancy LevesonGenerating Formal Model-Based Safety Requirements for Complex, Software- and Human-Intensive SystemsPDF10.65391/r759
28/12/2012Derek Fowler, Stephen ThomasSafety Case for the Airborne Collision Avoidance SystemPDF10.65391/r760
28/12/2012Linling Sun, Tim KellyElaborating the Concept of Evidence in Safety CasesPDF10.65391/r761
28/12/2012Anaheed Ayoub, Insup Lee, Jian Chang, Oleg SokolskyAssessing the Overall Sufficiency of Safety ArgumentsPDF10.65391/r762
28/12/2012Alberto Melzi, Alejandra Ruiz, Fulvio Tagliablò, Huáscar Espinoza, Sandra TorchiaroA Preliminary Study towards a Quantitative Approach for Compositional Safety AssurancePDF10.65391/r763
28/12/2012Jonathan StoreySafety Case Approach for the Victoria Line Re-signalling ProjectPDF10.65391/r764
28/12/2012Bill Walby, Chris Elliott, Nick SibleyFour Principles of Product SafetyPDF10.65391/r765
28/12/2012James Carr, John AllanThe Military Aviation Authority's Approach to Defence Aviation Risk ManagementPDF10.65391/r766
28/12/2012Makoto Takeyama, Yoshiki KinoshitaAssurance Case as a Proof in a Theory: towards Formulation of RebuttalsPDF10.65391/r767
28/12/2012John Colley, Michael ButlerA Formal, Systematic Approach to STPA using Event-B Refinement and ProofPDF10.65391/r768
28/12/2012Robert DewarTesting and Proving: Strange Bedfellows?PDF10.65391/r769
28/12/2012Akramul Azim, Chris HobbsBalancing Safety, Security and FunctionalityPDF10.65391/r770
28/12/2012Gavin Wilsher, Paul ChinneckChallenging the 'Safety Sausage Machine'PDF10.65391/r771
28/12/2012Gabriele Schedl, Lukas FritzThe Role of Human Factors in System Safety AnalysesPDF10.65391/r773
28/12/2012Keith JonesAn Analysis of Safety CulturePDF10.65391/r774
05/01/2012Andrew Miller, Benjamin Gorry, Nicola HerbertThe ASTRAEA Virtual Certification Process and the Use of Fault TreesPDF10.65391/r734
05/01/2012Ron Bell, Stuart MainProof Testing … the ChallengesPDF10.65391/r738
16/11/2011GSN User Community WGGoal Structuring Notation Community Standard (Version 1)PDF10.65391/r141
08/07/2011University of YorkSoftware Safety Evidence Selection and AssurancePDF10.65391/r1038
08/07/2011University of YorkGuidance on the Application of the Revised IEC 61508 to DS 00-56PDF10.65391/r1039
08/07/2011University of YorkExecutive Overview: Structural Compatibility in ModelsPDF10.65391/r1040
08/07/2011University of YorkExecutive Overview: Behavioural Compatibility in ModelsPDF10.65391/r1041
17/05/2011University of YorkGood Practice Guidance on the Management of System and Software Safety Case Interface RequirementsPDF10.65391/r1033
04/05/2011University of YorkModel Driven Integration: CMS-1 CS Case StudyPDF10.65391/r1049
01/05/2011University of YorkHigh Integrity FPGA Case Study – Anti-lock braking systemPDF10.65391/r1051
11/04/2011University of YorkEstablishing a Dependability Model for NEC/C4ISTAR InfrastructuresPDF10.65391/r1048
31/03/2011University of YorkTechnical Measures for Delivery TeamsPDF10.65391/r1050
08/03/2011University of YorkCertification of FPGAs: Current Practice, Issues and ResearchPDF10.65391/r1034
08/03/2011University of YorkState-of-the-art Survey of Model-Driven Integration of Software SystemsPDF10.65391/r1035
08/03/2011University of YorkPredictable Complex Systems Via IntegrationPDF10.65391/r1036
08/03/2011University of YorkFPGA Certification Evidence and Risk AssessmentPDF10.65391/r1037
01/02/2011University of YorkSupporting the certification of High Integrity FPGA based systemsPDF10.65391/r1046
01/02/2011University of YorkA Scalable Fault Detection Approach for FPGAsPDF10.65391/r1047
05/01/2011University of YorkEstablishing a Risk Modelling Approach for Communicating SoSPDF10.65391/r1045
15/12/2010John Knight, Patrick Graydon, Richard Hawkins, Tim KellyA New Approach to creating Clear Safety ArgumentsPDF10.65391/r674
22/07/2010University of YorkCulture, Standards and COTS: The Impact of Evolution on EvidencePDF10.65391/r1044
24/05/2010University of YorkExecutive Summary: Safety Arguments and Issues with use of FPGAs in Low Integrity SystemsPDF10.65391/r1042
24/05/2010University of YorkTechnical Report on the Use of Safety Case Architectures in Managing InterfacesPDF10.65391/r1043
15/12/2009Peter Bishop, Robin BloomfieldSafety and Assurance Cases: Past, Present and Possible Future - an Adelard PerspectivePDF10.65391/r658
15/12/2009George Despotou, Mike Bennett, Tim KellyEvaluation and Integration of COTS in evidence based Assurance FrameworksPDF10.65391/r668
24/08/2009University of YorkInterim Standard of Best Practice on Software in the Context of DS 00-56 Issue 4PDF10.65391/r1031
13/01/2009Iain Bate, Philippa ConmyCertification of FPGAs - Current Issues and Possible SolutionsPDF10.65391/r610
13/01/2009George DaviesWhat is Clinical Safety in Electronic Health Care Record Systems?PDF10.65391/r611
13/01/2009Glen Wilkinson, Rhys DavidBack to Basics: Risk Matrices and ALARP. This paper was published by its authors at the event; the Proceedings contain only an extended abstract.PDF10.65391/r612
25/01/2008Nic Turley, Stephen Clark, Steven ShorrockHuman Factors Safety Assurance for Changing ATM SystemsPDF10.65391/r152
25/01/2008Gabriele Schedl, Werner WinkelbauerPractical Ways of Improving Product Safety in IndustryPDF10.65391/r153
13/03/2007Andrew Furse, Andrew Vickers, Paul EdwardsIndependently Assessing Legacy Safety SystemsPDF10.65391/r168
13/03/2007Barry Kirwan, Huw GibsonCARA: A Human Reliability Assessment Tool for Air Traffic Safety Management - Technical Basis and Preliminary ArchitecturePDF10.65391/r170
07/02/2006Max Halbert, Steve TuckerRisk Assessment for M42 Active Traffic ManagementPDF10.65391/r174
07/02/2006Felix RedmillUnderstanding the Risks Posed by ManagementPDF10.65391/r180
07/02/2006Paul Mayo, Rob Weaver, Tim KellyGaining Confidence in Goal-based Safety CasesPDF10.65391/r188
08/02/2005Peter FroomeIndependent Safety Assessment of Safety ArgumentsPDF10.65391/r191
08/02/2005Michael PrinceDeveloping and Using Risk MatricesPDF10.65391/r197