ASSURE: automated design for dependability

Authors:
Patrick Edmond;Anurag P. Gupta;Daniel P. Siewiorek;Audrey A. Brennan
Affiliations:
Silicon & Software Systems, Dublin, Ireland;Electrical and Computer Engineering Department, Carnegie Mellon University, Pittsburgh, PA;Electrical and Computer Engineering Department, Carnegie Mellon University, Pittsburgh, PA;Unisys Corp., Plymouth, Michigan
Venue:
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Year:
1991

Citing 5
Cited 3

Survey of software tools for evaluating reliability, availability, and serviceability

ACM Computing Surveys (CSUR)
The MICON system for computer design

DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Capturing designer expertise the CGEN system

DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
M1: a small computer system synthesis tool

Proceedings of the sixth conference on Artificial intelligence applications
WEAVER: a knowledge-based routing expert

DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference

SIDECAR: design support for reliability

DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Transformation-based high-level synthesis of fault-tolerant ASICs

DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Optimized state assignment of single fault tolerant FSMs based on SEC codes

DAC '93 Proceedings of the 30th international Design Automation Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

Design for dependability has long been an important issue for computer systems. While several dependability analysis tools have been produced, no effort has been made to automate the design for dependability. This paper describes ASSURE, an automated design for dependability advisor, which is part of the MICON system for rapid prototyping of small computer systems. A design for dependability methodology and a formal interface between synthesis and dependability analysis are presented. ASSURE's operation includes dependability analysis, evaluation of dependability enhancement techniques using predictive estimation, and selection of a technique. Different kinds of knowledge used in designing for dependability are identified, including an algorithmic approach for dependability analysis and a knowledge-based approach for suggesting dependability enhancement techniques. Examples of designs produced using ASSURE as a dependability advisor are provided and show an order of magnitude dependability improvement.