TY - GEN
T1 - Computer-aided design of dependable mission critical systems (Panel session)
AU - Iyer, Ravishankar K
AU - Bryant, W. H.
AU - Randell, Brian
AU - Dugan, Joanne Bechta
AU - Heimerdinger, Walter L.
AU - Peterson, John
AU - Lala, Jaynarayan H.
PY - 1989
Y1 - 1989
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0024943344&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0024943344&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:0024943344
SN - 0818619597
T3 - Digest of Papers - FTCS (Fault-Tolerant Computing Symposium)
SP - 416
EP - 420
BT - Digest of Papers - FTCS (Fault-Tolerant Computing Symposium)
A2 - Anon, null
PB - Publ by IEEE
T2 - Nineteenth International Symposium on Fault-Tolerant Computing
Y2 - 21 June 1989 through 23 June 1989
ER -