Title :
Computer Assurance: COMPASS ´88 (Cat. No.88CH2628-6)
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;
Conference_Titel :
Computer Assurance, 1988. COMPASS '88
Conference_Location :
Gaithersburg, MD, USA
DOI :
10.1109/CMPASS.1988.9649
