[ AGENDA | REGISTRATION | ARRANGEMENTS | MENU ]
[ 9/30/03 HOME | SUSTAINABILITY RESEARCH WORKSHOP SERIES HOME ]

Workshop on

Software Development Best Practices, and Artifact Measurement

 

PROGRAM AGENDA

Tuesday, September 30, 2003
Carnegie Mellon University
University Center, Rangos #3
Pittsburgh, PA

9:00 am          Continental Breakfast

10:00               Introduction to Workshop
                       Dr. William Guttman, CMU, SCC Founder

10:15               Motor Industry Software Best Practices Program Outline
           Robert Buckley, CEO, Programming Research, and SCC Member

10:30               Motor Industry Software Reliability Association
                      
                       MISRA provides a forum for discussion, mutual advice and learning on                        current best practise for safety-related systems, which contain embedded                        software, within the automotive industry and associated suppliers; to                        provide feedback on the use of the MISRA Guidelines, and to contribute to                        their promotion and use throughout the world.

                      MISRA Panel
                      Ronald P. Brombach, P.E., Ford Motor Company
                      Bob Gruszczynski, IAV Automotive Engineering
                      Dr. Joao H. Silva, Visteon Corporation
                      James M. Weinfurther, Ford Motor  Company       

11:45               Break

12:00pm          Motor Industry Software Reliability Association (Continued)

1:00                Lunch
                      Speaker:  Thomas Ball, Senior Researcher, Microsoft Research,                       Testing, Verification and Measurement Group
                      Solidifying Software Interfaces: Checkable Contracts

2:00                Artifact Measurement Program Outline
                      Larry Maccherone, SCC Executive Director, Artifact Measurement                       Workgroup leader

2:10                Why Artifact Measurement is Important
                       William Scherlis, Ph.D., CMU, SCC Founder

2:25                Industry Panel
                      Moderated by Larry Maccherone

                      2:30 Finding the bugs you care about: an extensible approach to static                       analysis
                      David Park, Coverity

                      2:50 Automated Error Prevention (AEP)
                      Adam Kowala, Ph.D., Parasoft

                      3:10 The Perils of Modifying Software
                      Rix Groenboom, Ph.D., Reasoning

3:30                 Member Q&A

4:00                Break
                      
4:15                Researcher Panel
                      Moderated by Larry Maccherone

                      4:30 Architecture Choices
                     David Garlan, Ph.D., CMU

                      4:50 Concurrency
                      William Scherlis, Ph.D., CMU, SCC Founder

                      5:10 Proof Carrying Code
                      Peter Lee, Ph., D., CMU

5:30                Member Q&A
                      Panel will include Jeanette Wing, Ph.D., CMU

6:00                Workshop Closes

6:15                Cocktails - Schatz Dining Room Atrium

7:00                Dinner - Schatz Dining Room
                      Keynote Speaker
                      Dr. Gary McGraw, CTO, Cigital
                      Building a Software Security Capability
                      How to foster best practices in software security
                     

Wednesday, October 1, 2003
Carnegie Mellon University
Pittsburgh, PA

8:30 am           Continental Breakfast (Rangos #3)

9:00                 Board Member Meeting (Rangos #3)

10:00               Workgroup Meetings
                       Artifact Measurement (Rangos #3)
                       Risk Management (Rangos #2)
                        

12:30 pm         Workshop closes

 

 

[ AGENDA | REGISTRATION | ARRANGEMENTS | MENU ]
[ 9/30/03 HOME | SUSTAINABILITY RESEARCH WORKSHOP SERIES HOME ]