University of Minnesota
Software Engineering Center

You are here

Summer Software Symposium: Static Code Analysis and Complex Medical Devices

Date of Event: 
Thursday, July 23, 2009 - 9:00am
McNamara Alumni Center, University of Minnesota, Minneapolis Campus

Static code analysis is performed without actually executing programs built from that code. At this event, we are covering analysis performed by automated tools. There are numerous commercial as well as open source tools of varying capability available. The sophistication of the tools ranges from those that highlight simple--but serious--coding errors (misuse of libraries, ignored return values, erroneous equality checks, etc.), through tools with more sophisticated analysis that can detect deeper problems (null pointer dereferencing, division by zero, array out of bounds, etc.), to formal methods that mathematically prove properties about a given program (that its behavior matches its specification).

Our focus will be on automated techniques that are directly and immediately applicable in current software development processes. We will cover how these techniques work, their advantages and limitations, how they can be used in your development processes, the fact that they are becoming necessary best practices, and how they are currently used in the FDA Forensics Lab.


9:00 - 9:15 Introduction, Overview, and Goals of Workshop
Mats Heimdahl (Professor and Director of U of M Software Engineering Center)
9:15 - 10:30 Keynote Address: Introduction to Static Analysis for Assurance (pdf slides)
Dr. John Rushby (Program Director, SRI International)
10:30 - 11:00 Refreshment Break
11:00 - 11:45 FDA Policy with Regards to Static Analysis (PowerPoint slides)
Brian Fitzgerald, Deputy Director (FDA Office of Science and Engineering Laboratories)
11:45 - 12:30 The FDA Forensics Lab, New Tools and Capabilities (pdf slides)
Richard Chapman (FDA Office of Science and Engineering Laboratories)
12:30 - 1:30 Lunch
1:30 - 2:30 Using Static Analysis in Medical Device Development
Chao Wang (Medtronic Inc.)
2:30 - 3:00 Refreshment Break
3:00 - 4:00 Beyond Static Code Analysis
Dr. Michael Whalen (Rockwell Collins Inc.)
4:00 - 4:30 Closing panel “The proper place for Static Analysis”
Moderator: Patty Krantz (Medtronic Inc.)

SSS '09 is the second in an annual series of summer symposia on best practices in software engineering and development in the embedded and critical systems domain, organized by the University of Minnesota Software Engineering Center. Each year, we choose a theme, and present a full day of stimulating talks, workshops, tutorials, and other activities. We will do our best to make it practical, relevant, free of hype, and non-commercial.

This year’s theme is “Static Code Analysis and Complex Medical Devices.“

Thursday, July 23rd 2009, 9:00-16:30
Registration and continental breakfast start at 8:30.
University of Minnesota, Minneapolis Campus, McNamara Alumni Center, at the corner of Oak and Washington
$90. We will provide continental breakfast, coffee break, and conference materials.
We encourage all participants to pre-register since seating is limited.
On-Line Registration with Credit Card
Park in the University Avenue Ramp
The Radisson University Hotel is less than a block away.