Automated Software Engineering
2000
ASE2000 Panels
Panel 1: Automatic code generation of safety critical software: Is it a
viable idea?
Commercial automatic code generation tool are
becoming more prominent. Code generation from a high-level
specification promises large cost savings, but there are concerns
about the risks involved when code generation is used for safety
critical software. To realize cost savings, the goal is to verify
the specification and then generate code that does not have to go
through a full (and very expensive) verification effort. Several
safety concerns arise from this approach; for example, " Can the
generated code be trusted and how do we handle certification?" and
"How do we manage changes in the translation tools?".
In this panel, representatives from industry, government, and
academia will take a critical look at the current state of
automatic code generation of safety critical software, point out
areas of concern, and identify a research direction that may bring
us closer to the goal of fully automatic code generation.
Participants:
Organizer: Mats Heimdahl, University of Minnesota, USA
Panelists: (preliminary list)
Colin O'Halloran, Defence Evaluation and Research Agency, UK
Gérard Berry, INRIA, France
Michael Lowry, NASA Ames Research Center, USA
(tentative) Alain Kerbrat, Telelogic, France
Panel 2: Testing ... not for the eleventh hour.
Testing is an activity that has been relegated to
the eleventh hour, the last phase, of software development. As we
all know, this leaves little time or resources, so the activity is
incomplete. As a result, software quality may be low or at best
unknown. Taking a broader view, there is much that can be done
throughout the software lifecycle to "test&qot; the software. The
renegade "testers" participating on this panel will describe
"testing" activities that can be automated and address quality issues
earlier in the lifecycle than the eleventh hour.
Participants:
Organizer: Debra Richardson, UC Irvine
Panelists: (preliminary list)
Bob Hall, AT&T Labs Research
Jeff Maggee, Imperial College
Bruno Marre, LRI Orsay
Yves Le Traon, IRISA Rennes
Farid Ouabdesselam, LSR-IMAG Grenoble
Maintained by Jerry Gannod
(gannod@asu.edu)