Slides from 2026 Programme

• Challenges and opportunities in integrating multi-agent AI into model-driven engineering of dependable systems
  Antonio Garcia-Dominguez, Senior Lecturer in Software Engineering, University of York
• Isolation as a Security Primitive: Building Real-World Critical Systems on a Formally Verified Microkernel
  Martin Dehnel-Wild, Chief Scientist, Kry10 Amy Brooks, Technical Programme Manager, Kry10
• Overcoming the challenges of data coupling and control coupling introduced by modern avionics architectures
  Dan Wright, Product Manager, Rapita Systems Andy Galloway, Senior Research Engineer, Rapita Systems
• Eating Toast: 50 years of MASCOT from single core to diverse, distributed multicore systems
  John Price, Technical Expert, MBDA
• Security in Avionics Systems
  Philippe Weber, DDC-I
• What is “Controlled” AI and how it supports Software Verification and Validation
  Edgar Hernandez, Senior Embedded Software Engineer, Developair Technologies
• Becoming a Software-Aware Client: Lessons from other projects and the HS2 Approach
  Gianpiero Colasante, Lead Software Integration Manager, HS2 Ltd
• Runtime and Behavioural Assurance - Can we make AI behave like a SIL 4 system?
  Matt Banham, CTO, SAIF Autonomy
• Integrating Security into Safe Airborne Software Development
  Carsten Beck, Partner Management, SYSGO
• A Modular Open Systems Approach to Complex, High-integrity Systems Development beyond US Defense
  Clifford Bilbrey, Senior Solutions Engineer - Global Aerospace and Defense, Qt Group
• Physical AI: The Collision of the Deterministic OS and the Non-Deterministic LLM
  Sandeep Modhvadia, Chief Product Officer, Wind River
• From requirements to HIL testing: Building a life-saving medical device in Rust
  Alex Senier, Head of Product & Engineering, Ferrous Systems
• AI and the Agnogenic Test Engineer
  Alec Banks, Senior Principal Scientist, Dstl

View the complete agenda from the 2026 Programme »

Slides from 2025 Programme

• Proving Reliability of Machine Learning using Explainable AI
  Dene Brown, Software Engineer, SysAda Limited
• Sonata™: A platform for high-integrity operational technology
  Dr Marno van der Maas, Principal Hardware Engineer, lowRISC
• Implementation of CHERI capabilities in a safety-critical real-time operating system and Type-1 hypervisor for intelligent edge systems
  Dmitriy Yeliseyev, Software Architect, Wind River

View the complete agenda from the 2025 Programme »

Slides from 2024 Programme

• Rust for Certifiable Software: Bridging Communities
  Jose F. Ruiz, Embedded Product Manager, AdaCore
• Adding robustness to C++ Development
  Robin Clay, Technical Expert – Distributed Computing, MBDA UK John Price, Technical Expert, MBDA UK
• Pointers to failing software projects
  Paul Caseley, Fellow, Dstl
• Formal methods for GPU Software Development and Verification using Ada SPARK: Experiences from Applications in Aerospace
  Dr Leonidas Kosmidis, Senior Researcher, Barcelona Supercomputing Center (BSC)

View the complete agenda from the 2024 Programme »

Slides from 2023 Programme

• Verifying novel cryptography: forging a forward path
  Wrenna Robson, PhD Candidate, Royal Holloway, University of London
• Automated Reasoning in and about the Cloud
  Rod Chapman, Senior Principal Applied Scientist, Amazon Web Services
• Expert testing without the experts
  Thomas Wilson, Senior Architect for Test, High-Integrity Expertise Centre, Capgemini Engineering
• The End of Binary Protocol Parser Vulnerabilities
  Tobias Reiher, RecordFlux Technial Lead, AdaCore

View the complete agenda from the 2023 Programme »

Slides from 2022 Programme

• Product Lines and Ecosystems: from customization to configuration
  Jan Bosch, Professor of Software Engineering, Chalmers University Technology
• RCA OCORA: Safe Computing Platform using open standards
  Angel Martinez, Senior Software Engineer, RTI Mario Brotz, Director R&T, SYSGO GmbH
• Have we a Human Ecosystem?
  James Davenport, Professor, Department of Computer Science, University of Bath
• Developing Future High Integrity Processing Solutions
  Dave Sanders, Associate Fellow - Complex Electronic Hardware, Rolls-Royce

View the complete agenda from the 2022 Programme »

Slides from 2021 Programme

• NCSC and High Integrity Systems
  Paul Waller, Head of Capability Research, National Cyber Security Centre
• The Art of Software Testing: Refining the Testing Palette
  Dr Mark Hadley, Principal Software Safety Consultant, Atkins Dr Mike Standish, Senior Scientist, DSTL (Portsdown West)
• Fuzzing for Airworthiness Security
  Paul Butcher, Senior Software Engineer, AdaCore
• The CyBOK Formal Methods Knowledge Area
  Prof Steve Schneider, Director of Surrey Centre for Cyber Security, University of Surrey
• Verified Trustworthy Software Specification
  Prof Philippa Gardner, Department of Computing, Imperial College London

View the complete agenda from the 2021 Programme »

Slides from 2020 Programme

View the complete agenda from the 2020 Programme »

Slides from 2019 Programme

• The Future of Aerospace – More Software Please!
  Mark Scully, Head of Technology - Advanced Systems & Propulsion, Aerospace Technology Institute
• Introducing the HICLASS Research Programme - Enabling Development of Complex and Secure Aerospace Systems
  Mike Bennett, Software Technology Specialist, Control Systems, Rolls-Royce
• Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of Qualification” for an Alternative Software Safety Assurance Approach
  Mark Hadley, Senior Principal Consultant - Software and Systems, DSTL Mike Standish, Senior Engineer - Systems, DSTL

View the complete agenda from the 2019 Programme »

Slides from 2018 Programme

• Making the Case for Safety of Machine Learning applied to Automated Driving
  Simon Burton, Chief Expert Safety Reliability and Availability, Bosch
• Virtual Verification and Validation – The Answer to Assurance of Highly Autonomous Vehicles?
  Dr Richard Porter, Director Technology and Innovation, Meridian Mobility
• Overcoming Critical Barriers to Assurance and Regulation of Robotics and Autonomous Systems
  Dr Ana MacIntosh, Programme Manager, Assuring Autonomy International Programme, University of York Dr Richard Hawkins, Senior Research Fellow, Assuring Autonomy International Programme, University of York
• Cyber Security Body of Knowledge: documenting foundation knowledge of the domain
  Dr. Howard Chivers, Honorary Fellow of the University of York

View the complete agenda from the 2018 Programme »

Slides from 2017 Programme

• Keynote Address: Assured Software – A Journey and Discussion
  Robert Martin, Senior Secure Software & Technology Principal Engineer, The MITRE Corporation
• Bridging the Gap Between Manned and Unmanned
  Dewi Daniels, Chief Software Engineer, Callen-Lenz Associates Ltd
• Keynote Address: Unpatchable – Living with a Vulnerable Implanted Device
  Dr. Marie Moe, Research Manager at SINTEF, Associate Professor at NTNU
• Your car is not a safe box - breaking automotive keyless entry systems
  David Oswald, Lecturer, University of Birmingham

View the complete agenda from the 2017 Programme »

Slides from 2016 Programme

• Keynote Address: An Alternative Approach to DO-178
  Duncan Brown, Rolls-Royce Engineering Fellow – Safety Critical Software
• MISRA C – Recent developments and a road map to the future
  Andrew Banks, Embedded Software Manager, Frazer-Nash Research Limited and Chairman, MISRA C Working Group
• Multi-Core (MC) Processor Qualification for Safety Critical Systems
  Dr Mark Hadley, Senior Scientist - Software Systems, DSTL Mike Standish, Senior Engineer - Systems, DSTL

View the complete agenda from the 2016 Programme »

Slides from 2015 Programme

• Keynote Address: Stronger than its weakest link
  Prof. Ian Phillips. CEng, FIMA, FIET, SMIEEE, Principal Staff Engineer at ARM Ltd, UK
• A Next Generation Avionics Software Architecture – the ECOA® Programme
  Paul Moxon, Lead Software Architect, BAE Systems
• VISIUMCORE – A High Integrity Processor for Safety Critical Applications
  Ivan Ellis, Lead Engineer and Software Specialist, Rolls-Royce Controls and Data Services Limited
• Fighting for Software Correctness in a Massively Parallel World
  Alastair Donaldson, Senior Lecturer, leader of the Multicore Programming Group, Department of Computing, Imperial College London
• Keynote Address: Study of Toyota Unintended Acceleration and Software Safety
  Prof. Philip Koopman, Carnegie Mellon University
• Advances in Practical Techniques for Critical Software Development
  Neil White, Head of Engineering, Intelligent Systems Division, Altran UK
• Keynote Address: Open Source Challenges in the Enterprise
  Prof. Mark Little, Vice President Red Hat, CTO of JBoss

View the complete agenda from the 2015 Programme »

Slides from 2014 Programme

• Mind your language(s), A Discussion about Languages and Security
  Olivier Levillain, ANSSI
• The Muen Separation Kernel
  Robert Dorn, Senior Consultant at secunet Security Networks AG Adrian-Ken Rueegsegger, Researcher at the University of Applied Sciences Rapperswil (HSR) Reto Buerki, Researcher at the University of Applied Sciences Rapperswil (HSR)
• Practical Application of Agile Techniques in Developing Safety Related Systems
  David Nicoll, Managing Director, Project Realization
• A Computer Vision Application for In Vitro Diagnostics Devices
  Andrea Carignano, bioMérieux Giacomo Donzelli, Altran Italy

View the complete agenda from the 2014 Programme »