VF2017: Automated Certification – from Soup to Nuts

Conference: Verification Futures 2017 (click here to see full programme)
Speaker: Nick Tudor, Business Director
Organisation: D-RisQ Ltd
Presentation Title: Automated Certification from Soup to Nuts
Abstract: This talk will examine the use of automated tools to verify requirements expressed in English through the development life cycle to object code. Evidence from the process will support a DO-333 Formal Methods Supplement to DO-178C certification process for Level A software.
Speaker Bio: Nick has been involved in software certification for over 15 years and prior to that was involved with aircraft certification for the RAF throughout his career. His Masters in Software Engineering at York was followed up with an interest in Formal Methods. He was a member of WG71 – the committee that wrote ED-12C (aka DO-178C) with a focus on the Formal Methods Supplement as well as the model based design and tool qualification documents. He is now one of only 4 UK nationals on the invite only follow on panel. He is an owner/Director of D-RisQ based in Malvern which has 10 employees most of whom who are formal methods experts. The presentation will examine a use of the formal methods supplement to verify an autonomous decision making system, including the aspects relating to object code.
Slides