Computer-aided design of dependable mission critical systems (Panel session)

Ravishankar K Iyer, W. H. Bryant, Brian Randell, Joanne Bechta Dugan, Walter L. Heimerdinger, John Peterson, Jaynarayan H. Lala

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The objective of this panel is to assess the state of the art and the future perspectives for automating the design of high-dependability systems. The rationale for their selection and use in design, evaluation, and validation is examined. Design methodologies for multiprocessor systems based on these tools and possible directions for future development efforts such as automated design for reliability, fault tolerance, and verification are addressed.

Original languageEnglish (US)
Title of host publicationDigest of Papers - FTCS (Fault-Tolerant Computing Symposium)
Editors Anon
PublisherPubl by IEEE
Pages416-420
Number of pages5
ISBN (Print)0818619597
StatePublished - Dec 1 1989
EventNineteenth International Symposium on Fault-Tolerant Computing - Chicago, IL, USA
Duration: Jun 21 1989Jun 23 1989

Publication series

NameDigest of Papers - FTCS (Fault-Tolerant Computing Symposium)
ISSN (Print)0731-3071

Other

OtherNineteenth International Symposium on Fault-Tolerant Computing
CityChicago, IL, USA
Period6/21/896/23/89

ASJC Scopus subject areas

  • Hardware and Architecture

Fingerprint Dive into the research topics of 'Computer-aided design of dependable mission critical systems (Panel session)'. Together they form a unique fingerprint.

  • Cite this

    Iyer, R. K., Bryant, W. H., Randell, B., Dugan, J. B., Heimerdinger, W. L., Peterson, J., & Lala, J. H. (1989). Computer-aided design of dependable mission critical systems (Panel session). In Anon (Ed.), Digest of Papers - FTCS (Fault-Tolerant Computing Symposium) (pp. 416-420). (Digest of Papers - FTCS (Fault-Tolerant Computing Symposium)). Publ by IEEE.