Held in Conjunction with the International Conference on Software Engineering (ICSE)

May 9-10, 2003
Hilton Portland
Portland, Oregon, USA
Web: http://cs.oregonstate.edu/icse2003/

---

Friday, May 9: Day 1

8:30 a.m. - 8:45 a.m. - Welcome and Introduction
Martin Feather, Jet Propulsion Lab

8:45 a.m. - 10:00 a.m. - Session 1
Applying Formal Analysis Tools in the Existing Software Development Process Challenges and Accomplishments, Connie Heitmeyer, NRL

Model Checking Code, John Penix, NASA Ames
Automated Test Case Generation, Allen Nikora, Jet Propulsion Lab

10:00 a.m. - 10:30 a.m. - Break

10:30 a.m. - 12:00 noon - Session 2
Role of Formal Verification in Developing High Assurance Systems, Chair: John Rushby, SRI

In Safety-Critical Systems - Dewi Daniels, Praxis Critical Systems Ltd.
In Secure Systems - Connie Heitmeyer, NRL

12:00 noon - 1:30 p.m. - Lunch

1:30 p.m. - 3:00 p.m. - Session 3
Obtaining the Needed Artifacts, Requirements Specifications, Designs, etc., Chair: Tom Maibaum, King's College

Building Artifacts, Dino Mandrioli, Politechnico di Milano

Challenges in Safety-Critical Applications, John Rushby, SRI

3:00 p.m. - 3:30 p.m. - Break

3:30 p.m. - 5:00 p.m. - Session 4
Effective Processes for Developing High Assurance Systems, Chair: Nancy Mead, SEI

Traceability Processes for High Assurance Systems, Jane Cleland-Huang, DePaul University
How to Fake a Rational Design Process, Ramesh Bharadwaj, NRL

Saturday, May 10: Day 2

8:30 a.m. - 10:00 a.m. - Session 5
Synergies Between Testing Analysis and Formal Methods, Paola Inverardi, Universita d'Aquila

Testing and Static Analysis, Michal Young, University of Oregon

10:00 a.m. - 10:30 a.m. - Break

10:30 a.m. - 12:00 p.m. - Session 6
Extending the Use of Measurement, Allen Nikora, Jet Propulsion Lab

12:00 noon - 1:00 p.m. - Lunch

1:00 p.m. - 2:30 p.m. - Session 7
Technology Transfer and Infusion, Martin Feather, Jet Propulsion Lab

2:30 p.m. - 3:00 p.m. - Break

3:00 p.m. - 4:30 p.m. - Session 8
Conclusions, Nancy Mead, SEI

return to top    |    SEHAS Workshop main page    |    SEI Home Page

---

The Software Engineering Institute (SEI) is a federally funded research and development center sponsored by the U.S. Department of Defense and operated by Carnegie Mellon University.

Copyright 2007 by Carnegie Mellon University
Terms of Use
URL: http://www.sei.cmu.edu/sehas-workshop/agenda.html
Last Modified: 1 March 2007