Main Profile

At A Glance

Verifying Industrial Control Software

Google Tech TalksJune, 4 2008ABSTRACTIn this talk I will present the results of mathematically verifying third party flight control software. I will then present the results of mathematically verifying automatically generated code using The Mathworks code generation facilities and compare the cost against conventional development including V If time permits I will also present a small example of the form of the automatable formal verification of a specification in Simulink. The principles of the approach are generally applicable to other modelling languages that provide automatic code generation.Speaker: Colin O'HalloranColin has worked in the area of Formal Methods for 25 years. He is a Visiting Professor at the University of York and a Visiting Fellow at Kellogg College Oxford University. He was a member of the European Space Agency's Board of Inquiry into the failure of Arianne 5's first flight.His current interests are in the commercial assurance of software.
Length: 37:27


Questions about Verifying Industrial Control Software

Want more info about Verifying Industrial Control Software? Get free advice from education experts and Noodle community members.

  • Answer