Hosted by: Institute for Software Integrated Systems (ISIS) Vanderbilt University Software Reliability for FCS May 18-19, 2004 ARO Workshop

Janos Sztipanovits 2 Outline  Workshop Objectives  Terms of Reference  Draft Agenda  Workshop Deliverables and Time Frame

Janos Sztipanovits 3 Objectives  Identify the most significant problems/challenges to be faced by the DoD FCS program regarding software reliability – Workshop sponsor: Dr. Mark Swinson, ARO  Meeting Date: May 18-19, 2004 (check in evening May 17th)  Meeting Location: Faculty Conference Room, Law School, Vanderbilt University, Nashville, TN  Participants by invitation only (max. 20): – Government Offices – Industry – Academia – ARO

Janos Sztipanovits 4 Terms of Reference  ARO has requested a workshop to determine the most challenging software reliability issues and the best way of mitigating those  A group of people across the country should be assembled for a two-day workshop to discuss the critical issues  The deliverable of the workshop is a set of charts containing:  Topic 1. Emerging software development paradigms that have major improvements on software reliability  Topic 2. Balance between formal and informal methods, engineering and artistry, evolution and rebuilt  Topic 3. The role of open standard, open source development, end user programming and other radically different models  Topic 4: Effects of software certification on the current balance between software/system modeling, analysis and testing  Topic 5: Reliability metrics for real-time, embedded software for FCS.

Janos Sztipanovits 5 Administrative Details  Arrival to hotel – Monday 17 th, 2004 – For those arriving before 7pm to the hotel, we organize an informal dinner. Please send arrival information (time and hotel) to Mrs. Lorene Morgan  Administrative Point of Contact – Mrs. Lorene Morgan – ISIS-Vanderbilt – Phone: –

Janos Sztipanovits 6 Agenda - Tuesday, May 18,  Breakfast 7:30 am  Day 1 Kickoff8:30 – 9:00 am  Participants Introduction  Workshop Objectives  Agenda overview and format  Topic 1 Moderated by Gabor Karsai 9:00 – 10:00 am Emerging Paradigms for Improvements of Software Reliability  Break15 min.  Topic 1 Cont. 10:15 – 11:00 am  Topic 2 Moderated by Edward Lee 11:00 – 12:00 pm Balance Between Formal and Informal Methods, Engineering and Artistry, Evolution and Rebuild  Lunch12:00 – 1:00 pm

Janos Sztipanovits 7 Agenda - Tuesday, May 18,  Topic 2 Cont. 1:00 – 1:45 pm  Topic 3 Moderated by Doug Schmidt 1:45 – 3:30 pm The Role of Open Standards, Open-Source Development, End-User Programming and Other Radically Different Models  Break15 min.  Topic 4 Moderated by Wendy Roll 3:45 – 5:30 pm Effects of Software Certification on the Current Balance Between Software/System Modeling, Analysis and Testing  Day 1 Summary5:30 – 5:45 pm  University Club Cash Bar6:00 – 7:00 pm  University Club Dinner7:00 – 9:00 pm

Janos Sztipanovits 8 Agenda - Wednesday, May 19,  Breakfast 7:30 am  Day 2 Introduction8:30 – 8:45 am – Agenda overview  Topic 5 (Moderated by John Goodenough)8:45 – 10:00 am Reliability metrics for real-time, embedded software for FCS  Break15 min.  Topic 5 Cont. 10:15 – 10:45 am  Session Leads Assemble Summaries – Break 10:45 – 12:00 pm  Lunch12:00 – 1:00 pm  Session Leads Present Summaries 1:00 – 2:30 pm  Summary and Wrap-up2:30 – 3:30 pm  Adjourn3:30 pm

Janos Sztipanovits 9 Workshop Deliverables and Time Frame  Workshop Chair (Mark Swinson, Co-Chair (Janos Sztipanovits) and the Session Leads formulate the workshop results in a briefing format  Briefing should be put together by July 15th, 2004 – 1st draft June 15th – Final brief July 15th