|
Co-Design of a Fault-tolerant Communication Protocol - A Case Study
Abstract:
Hardware/software co-design is a design technology that supports the integrated
development of hardware and software components of a system. A special focus
of the work described here is the application domain of safety-critical
embedded systems. In addition to the raised abstraction level and shortened
design time offered by co-design relateive to conventional design methods, we
are therefore particularly interested in paradigms based on formal models.
This paper gives a brief overview of a co-design case study based on an
application typical for safety-critical applications. We compared two ways of
designing embedded systems: Statemate, a commercial system
design tool based on Statecharts, and Polis/Ptolemy
, with Esterel as a specification language. We
describe our design experiences and give preliminary experimental results.
UCB Design Technology Warehouse Homepage
|