SAFETY-CRITICAL ELECTRONIC COMPONENTS AND SYSTEMS

August 29-31^st, Austin, Texas

Sponsored by: IEEE Computer Society Test Technology Technical Council

IEEE Central Texas Section

Program Chairs:

Tony Ambler, (UT Austin, USA) - ambler@ece.utexas.edu

Robert Zimmer (Goldsmith Coll., UK), r.zimmer@gold.ac.uk

Jerry Soden (Sandia National Labs, USA) - sodenjm@sandia.gov

THE PURPOSE This workshop has been established to consider the implications and requirements for complex electronic systems that are to be used in safety-critical/high-integrity applications. Examples of these include: reactor protection systems in nuclear power plants, flight control computers and other avionics, railroad signaling systems, automotive control including ABS breaking systems, heart pacemakers etc. This workshop will consider all aspects of safety-critical electronic systems, including ASICs, COTS components, software, and systems integration.

AREAS OF INTEREST: Specific topics of interest include, but are not limited to:

· Specification of Systems

· Formal Verification

· Self-Testing Techniques

· Reliability Analysis

· Upgrade of Legacy Systems

· Compatability

· Reliability Improvement

· Technology Issues

· Experience Reports

· Field Service

· Environmental/User Considerations

· System Degradation

· Software Interaction

· Human Factors

· Weapons Systems

· Model/Equivalence Checking

· INDUSTRIAL CASE STUDIES PARTICULARLY WELCOME

Proposals for Panel Sessions are invited.

AUTHOR INFORMATION:

Authors are invited to submit 2 hard copies, or a .pdf or .ps version, of an extended summary of at least 500 words and containing a 50-60 word abstract, the title of the presentation, author names, affiliation, addresses, telephone and fax numbers, e-mail address, and the person who will present the work if accepted. Authors of accepted papers will be required to submit an illustrated text prior to the Workshop for inclusion in the Workshop Proceedings. Authors of selected papers may be invited to submit a fuller version of their submission after the Workshop for possible inclusion in a special issue of a IEEE Design and Test of Computers.

IMPORTANT DATES:

Submission deadline: Mon July 2^nd; Author notification: Mon 16th July; Final Submission: Wed 8th August