The specification language SPECC within the paradise design environment

Abstract

The design of embedded systems has to address several interacting design aspects, so-called dimensions, to capture parallelism, distribution over different 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 specification to final chip realization. In this paper, we describe how system specification and refinement is covered in combination with the processes available in PARADISE. An example of an adequate specification and modeling language is considered and adapted for integration into PARADISE. First results show the feasibility of integrating the respective concepts. © 2001 by Springer Science+Business Media New York.