HEAVEN: A Framework for the Refinement of Heterogeneous Systems.
Rüdiger Schroll, Christoph Grimm, Klaus Waldschmidt · Forum on specification and Design Languages · 2004
A key issue in system design is the evaluation of different architectures. For this task, designers create models of these architectures. In industrial practice, designers create such models by modifying and combining existing models. This leads to systems that combine different models of computation and different kinds of signals at different levels of abstraction. Especially in signal processing systems, very different kinds of signals are combined. Without further actions, such as the programming of converters or adapters, the resulting models are inconsistent and cannot be simulated directly. In the following, we discuss the use of polymorphism for automatically converting inconsistent models into consistent ones. We introduce polymorphic signals, and give an overview of a prototypical implementation HEAVEN with an example that demonstrates the use of polymorphic signals.