**Cancelled** Software tools in the development of safety systems

Andrew is a software engineer with over 30 years’ experience in real-time/embedded systems. For the last ten of those years, he has been the Chair of the MISRA C Working Group, and an active participant in various standards activities. Now working with LDRA as a Technical Specialist.

Andy is a Chartered Engineer has been working in the UK Defence Industry for more than 41 years and has been involved in High Integrity Software and Safety Engineering for most of that time. He is the Technical Director for Resilience Engineering within Aerospace, Defence, Security and Technology division and a Fellow of SCN-Lavalin.  Andy has been with Atkins (part of the SCN-Lavalin group) for over 16 years. He is using Model Based Systems Engineering and Digital Twins to create a wholistic risk understanding of enterprise resilience rooted in Defence system survivability to ensure that system-of-systems are secure, safe, certified, useable, trainable, available, reliable, and maintainable.

Matthew has a background as an Electronic & Electrical Engineer, with 10 years working in Functional Safety. He is lead developer of the ProSET software toolset.

With a background in design of safety-related control functions in manufacturing, Simon is co-founder of Engineering Safety Consultants Ltd. (ESC), which is now part of the ERM Group. He is a member of international IEC 61508 and IEC 61511 maintenance committees for the development of global Functional Safety standards. Matthew is also a Functional Safety software tool designer, FS Expert (TÜV Rheinland, #269/16, SIS & PH&RA) & Trainer

Ed Marszal is President and CEO of Kenexis. He has over 25 years of experience in risk analysis and technical safety engineering of process industry plants, including design of Safety Instrumented Systems and Fire and Gas Systems. Ed is an ISA Fellow and former Director of the ISA Safety Division and 20 year veteran of the ISA 84 standards committee for safety instrumented systems. He is also the author of the “Safety Integrity Level Selection” and “Security PHA Review” textbooks from ISA.

With a degree in Electrical Electronic Engineering, Nick had a full career of 20 years’ with the RAF as an Officer Engineer. After a MSC in Software Engineering, he became a senior software advisor on multiple air programmes including JSF, Eurofighter, Chinook and Hawk. After the RAF, Nick was an active contributor to DO-178C. In 2012, Nick co-founded D-RisQ which produces automated formal methods verification tools for systems and software which support compliance to many standards. He is one of only 4 invited members from the UK of the Forum for Aeronautical Software following on from the DO-178C working group.