Interface-based design

1 January 1997

proceedings article
Published by Association for Computing Machinery (ACM)

p. 178-183
https://doi.org/10.1145/266021.266060

Abstract

A new system design methodology is proposed that separates communicationfrom behavior. To demonstrate the methodology weapplied it to a simple ATM design. Since verification is clearly amajor stumbling block for large system design, we focussed on theverification aspects of our methodology.In particular, a simulator was developed that is based on the communicationparadigm typical of our methodology. The simulatorgives substantial performance improvements without sacrificinguser access to detail.Finally, the potential for this methodology to improve verification,modeling and synthesis is explored.

Keywords

INTERFACE-BASED DESIGN
SIMPLE ATM DESIGN
SIMULATORGIVES SUBSTANTIAL PERFORMANCE IMPROVEMENT
NEW SYSTEM DESIGN METHODOLOGY
SEPARATES COMMUNICATIONFROM BEHAVIOR
THEVERIFICATION ASPECT
SACRIFICINGUSER ACCESS
AMAJOR STUMBLING BLOCK
LARGE SYSTEM DESIGN
INTEGER LINEAR PROGRAMMING
CONTROL SYSTEMS
SYSTEM DESIGN
COMPUTATIONAL MODELING
DESIGN METHODOLOGY
COMPUTER NETWORKS
COVERING PROBLEMS
ENGINES
AUTOMOTIVE ENGINEERING
NETWORK SYNTHESIS

This publication has 0 references indexed in Scilit: