The specification language SPECC within the paradise design environment
Achim Rettberg, Franz Josef Rammig, Andreas Gerstlauer, D.D. Gajski, Wolf‐Dietrich Hardt, Bernd Kleinjohann · 2001
The csign of embedded systems has to address several interacting design aspects, so-called dimensions, to capture parallelism, distribution over dfferent locations and hard realtime requirements. Thus, a structured design process has been established with the PARADISE design environment. The design process covers all steps from behavioral speccation tO ilhal chip realization. In this paper, we describe how system specification and refinement is covered m combination with the processes available in PARADISE. An example of an adequate speccation and modeling language is considered and adapted for integration into PARADISE. First results show the feasibility of rotegrating the respective concepts.