Oleg Sokolsky
Department of Computer and Information Science - University of Pennsylvania
Philadelphia, PA 19104 USA
Fax: ++1 215 573-3573
sokolsky@saul.cis.upenn.edu
http://www.cis.upenn.edu/~sokolsky
Abstract
We addresses the problem of analysis of alternatives in the design of distributed real-time systems. In the design of such a system, a hardware architecture needs to be chosen; then the system algorithm must be mapped onto the chosen architecture. As a result, the design space is very large, and evaluation of alternatives is very expensive. We propose an approach to an approximate analysis of alternative design decisions, which allows to eliminate infeasible solutions faster. The approach involves high-level modeling of the problem using a library of architectural components, and analysis of these models by state-space exploration.
Joint work with Insup Lee and James Hilger
Last Updated: May 17, 2000 by Elisabetta Ferrando