Computer Assurance: COMPASS ´88 (Cat. No.88CH2628-6)

fYear

1988

fDate

June 27 1988-July 1 1988

Abstract

The following topics are discussed: safety challenges; computer-related risks; date computations; human errors; software systems safety; software safety analysis in distributed real-time system; requirements specification error detection; software specification; high-integrity systems implementation; VIPER microprocessor; software product assurance; back-to-back testing; predicting computer behavior; reducing software risks; developing error-free software; software safety management; avionics software safety; case study of system integrity; database systems integrity; and software engineering for the pacemaker industry. Abstracts of individual papers can be found under the relevant classification codes in this or other issues

Keywords

aerospace computing; performance evaluation; program testing; real-time systems; safety; software reliability; systems analysis; VIPER microprocessor; avionics software safety; back-to-back testing; case study; computer behaviour prediction; computer-related risks; critical system safety; database systems integrity; date computations; distributed real-time system; error-free software; high-integrity systems implementation; human errors; pacemaker industry; requirements specification error detection; safety challenges; software engineering; software product assurance; software risk reduction; software safety analysis; software safety management; software specification; software systems safety;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Assurance, 1988. COMPASS '88

Conference_Location

Gaithersburg, MD, USA

Type

conf

DOI

10.1109/CMPASS.1988.9649

Filename

9649