May 10, 2012 -- For many years, formal methods have promised great things for the development of safety-critical software, such as that used in medical devices. Unfortunately, except for a few well-publicised exceptions, formal methods have failed to meet expectations when applied to the development of commercial products.
As a result of a major initiative funded by the European Union, practical tools are now emerging that allow formal construction of software. Thanks to this formal construction we now build the proof that our design is correct as we build the product.
This webinar describes the experiences QNX has had in applying Rodin, the European formal design tool, to the design of software for a simple medical device. We discuss what worked, what didn't work, how much work was required to use the tool, what skills are needed to create a formal specification, and what surprises we uncovered.
Finally, we briefly discuss how the evidence provided by the tool can be used to support a safety case, and how it can help in the approval process.
Go directly to the EE Times Education & Training webcast site to view this presentation. Registration may be required.