New webinar: Using formal methods to develop medical device software

Do formal tools have what
it takes to design medical
device software?
I'm lucky. Every day, I get to work with extremely smart and articulate people. And two of the smartest are my colleagues Chris Hobbs and Yi Zheng. It seems that, every time I talk to either of them, I learn something new. Good, that.

This Thursday, Chris and Yi will deliver a webinar on using formal methods to develop safety-critical software. Specifically, they will discuss the experience of using Rodin, a European formal design tool, to design software for a simple medical device. They plan to cover what worked, what didn’t, how much work was involved, and most intriguingly, what surprises were uncovered.

Formal methods, which use mathematically based techniques to specify, develop, and verify software, have often failed to meet expectations when applied to the development of commercial products. But that is starting to change, thanks to a new generation of tools. The potential benefits of these tools are many, including reduced implementation and test times, not to mention the ability to “prove” that your design is correct — something that can come in handy during the device approval process.

Interested? Here are the webinar coordinates:

Lessons learned: using formal methods to develop medical device software
Thursday, May 10, 2012, 2:00 - 3:00 pm EST
Registration: http://www.qnx.com/news/web_seminars/medical_device_software.html

POSTSCRIPT: If you didn't catch the live version of the webinar, no worries. You can always download the archived version, which should appear about 48 hours after the live broadcast. Same link as above.

No comments: