University of Minnesota
Software Engineering Center
/

You are here

Summer Software Symposium 2012

Date of Event: 
Friday, July 20, 2012 -
8:00am to 4:30pm
Location: 
McNamara Alumni Center

SSS '12 is the fourth in a series of 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 strive to make it practical, relevant, free of hype, and non-commercial. This year’s theme is “Effective Testing and Analysis.” The event is being hosted in conjunction with ISSTA 2012, a premier international conference on software testing and analysis.

When:
Friday, July 20th 2012, 8:00-16:30
On-site registration and continental breakfast start at 8:00.
Where:
University of Minnesota, Minneapolis Campus, McNamara Alumni Center, at the corner of Oak and Washington.
See Directions and Parking or explore the Interactive Map for other options. (A word of warning: there is a lot of construction on campus. Driving can be painful).
Cost:
The early registration fee is $250. ACM members and students are eligible for a discount. The fees for non-students increase by $50 after June 18, 2012.
Registration:
Please follow the directions for registration at the ISSTA 2012 conference page.
Lodging:
The University Hotel Minneapolis is less than a block away.

Effective Testing and Analysis

Testing and verification account for a significant fraction of the development costs associated with critical software. Recent advances in analysis algorithms have opened up a wide range of automated analysis approaches, including automated test generation, static analysis, and model checking. Each of these approaches can increase the rigor of verification and validation of software while reducing costs. However, there are many questions as to how to deploy each technique effectively and how to combine results from different verification approaches. In this symposium, we will discuss current research in automated analysis and how to craft an effective V&V strategy that uses a range of verification techniques.

Program

08:00 - 08:30 Breakfast and On-site Registration
08:30 - 09:00 Welcome Address and Program Overview Mats Heimdahl
(Professor and Director of U of M Software Engineering Center)
09:00 - 10:30 Safety Assurance Cases and the FDA: Current Status and Future Plans Richard Chapman
(Branch Chief, General Hospital Devices Branch, Office of Device Evaluation,
Center for Devices and Radiological Health, FDA)
10:30 - 10:45 Refreshment Break
10:45 - 11:45 Instrumention-Based Verification for Medical-Device Software
Rance Cleaveland
(Professor, University of Maryland, and
Executive and Scientific Director, Fraunhofer USA Center for Experimental Software Engineering)
11:45 - 12:45 Lunch Break
12:45 - 13:45 Finding the Static Analysis Sweet Spot Paul Anderson
(Vice President of Engineering, GrammaTech)
13:45 - 14:15 The FDA Forensics Lab: Mission and Capabilities Richard Chapman
14:15 - 14:30 Refreshment Break
14:30 - 15:30 Practical Software Analysis
Klaus Havelund
(Senior Research Scientist, LaRS @ JPL, NASA)
15:30 - 16:15 Ask The Experts Panel with Speakers Moderator: Mats Heimdahl
16:15 - 16:30 Concluding Remarks Mats Heimdahl