Below is an archive of slides from previous events.
Slides from 2024 Programme
- Rust for Certifiable Software: Bridging Communities
Jose F. Ruiz, Embedded Product Manager, AdaCore - Using Linux in Safety Critical Systems, up to DAL-D or can we go higher?
Olivier Charrier, Principal Technologist - Functional Safety, Wind River - Adding robustness to C++ Development
Robin Clay, Technical Expert – Distributed Computing, MBDA UK John Price, Technical Expert, MBDA UK - Good enough? Certification and integrity in a rapidly changing industry
Alex Powell, Safety Critical Lead, Volant Autonomy - Pointers to failing software projects
Paul Caseley, Fellow, Dstl - Evolution of Standards for High-Integrity Software in Railways
Roger Short, Chair of Subcommittee GEL/9/1 [Railway Signalling], BSI/RSSB - 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) - Standards, Changes and Supply chain
Lucia Capogna, Cyber Security and Software Assurance Lead, SYSTRA Ltd
View the complete agenda from the 2024 Programme »
Slides from 2023 Programme
- Considering Change: Understanding the Impact of Security Weaknesses in Safety-Critical Systems
Nikita Johnson, Product Cyber Security Engineer, Rolls Royce - Verifying novel cryptography: forging a forward path
Wrenna Robson, PhD Candidate, Royal Holloway, University of London - Optimizing the human - Safety critical on a budget
Alex Powell, Safety Critical Lead, Volant Autonomy - 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 - Challenges of meeting software and hardware diversity requirements in aviation security standard ED‑203A/DO‑356A
Adrian Waller, Security Expert, Thales UK and Visiting Professor, University of Surrey - The End of Binary Protocol Parser Vulnerabilities
Tobias Reiher, RecordFlux Technial Lead, AdaCore - AMP OSes, Single SMP OS or Hypervisor based solution, how to choose in a multi-core Safety Certification context?
Olivier Charrier, Functional Safety Specialist, Wind River - The Software Engineering SQEP Pipeline Problem: Challenges and Opportunities
Shamal Faily, Principal Scientist, Defence Science and Technology Laboratory (Dstl) James H Sharp, Principal Scientist, Defence Science and Technology Laboratory (Dstl)
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 - SPARKNaCl: A verified, fast cryptographic library
Rod Chapman, Director, Protean Code - RCA OCORA: Safe Computing Platform using open standards
Angel Martinez, Senior Software Engineer, RTI Mario Brotz, Director R&T, SYSGO GmbH - Rust and the coming age of high integrity languages
Florian Gilcher, Managing Director, Ferrous Systems 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 - Taming event-driven software via formal verification
Thomas Gibson-Robinson, Chief Technology Officer, Cocotec - Pushing the Boundary of Mostly Automatic Program Proof
Yannick Moy, Static Analysis Lead, AdaCore
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 - Adaptive AUTOSAR - The New AUTOSAR Architecture
Stuart Mitchell, AUTOSAR Expert, ETAS Ltd - Software Engineering for Robotics - The RoboStar Technology
Ana Cavalcanti, Professor, University of York - MISRA C in an ISO 26262 context
Andrew Banks, Technical Specialist, LDRA Limited, and Chairman, MISRA C Working Group - 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 - Multi-core Interference Tuning and Analysis
Dan Iorga, Research Postgraduate, Imperial College Department of Computing - Programming Languages for C-cured Software
Yannick Moy, SPARK Product Manager and Research Directions Lead, AdaCore - Software for a Total Artificial Heart
Nils Brynedal Ignell, Lead software developer, Scandinavian Real Heart - 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 - Towards Trustable Software
Paul Sherwood, CEO, Codethink Limited - Secure Updates for Embedded Systems
Rod Chapman, Director, Protean Code - Industrial concurrency specification for C/C++
Dr Mark Batty, Senior Lecturer, University of Kent - Keynote Address: Unpatchable – Living with a Vulnerable Implanted Device
Dr. Marie Moe, Research Manager at SINTEF, Associate Professor at NTNU - The importance of data in developing safe software
Louise Harney, Lead Systems Engineer, Leonardo UK - Your car is not a safe box - breaking automotive keyless entry systems
David Oswald, Lecturer, University of Birmingham - Rigorous-Assurance Points in Software Development
Peter Ladkin, Director, Causalis Limited - Delivering quality, time after time
Jonathan Pallant, Principal Embedded Systems Engineer, Cambridge Consultants
View the complete agenda from the 2017 Programme »
Slides from 2016 Programme
- Ada 202x: A broad overview of relevant news
Florian Schanda, SPARK Technical Authority, Altran UK - Verification and Validation of Robotic Assistants
Dr Clare Dixon, Senior Lecturer, University of Liverpool - 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 - The Application of Formal Methods to Railway Signalling Software
Laurent Voisin, R&D Manager, Systerel - Multi-Core (MC) Processor Qualification for Safety Critical Systems
Dr Mark Hadley, Senior Scientist - Software Systems, DSTL Mike Standish, Senior Engineer - Systems, DSTL - Bounded Model Checking for C programs in an enterprise environment
Michael Tautschnig, Research Scientist at Amazon Web Services and Lecturer in Theoretical Computer Science at Queen Mary, University of London
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 - Murphy vs Satan: Why programming secure systems is still hard
Roderick Chapman, Director, Protean Code - 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 - Formal Security Analysis of Critical Infrastructure
Tom Chothia, Senior Lecturer in Cyber Security, University of Birmingham - 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) - Mixed Criticality Systems and Many-Core Platforms
Professor Alan Burns, University of York - How should we build that? Evolving a development environment that's suitable for constructing today's systems
Neil White, Head of Engineering, Altran UK - Practical Application of Agile Techniques in Developing Safety Related Systems
David Nicoll, Managing Director, Project Realization - An Insight into MISRA-C
Dave Banham, Software System Specialist, Rolls-Royce - 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 »
Sponsored by
Official Media Partners
Supported by
