The Paradise Design Environment
Wolf‐Dietrich Hardt, Achim Rettberg, Bernd Kleinjohann · 1999
The design of embedded systems (ES) has to address several interacting design dimensions to implement parallelism, distribution over different locations, and hard real-time (RT) requirements'. Consequently, the modern, structured design process has to deal with heterogeneous requirements' and restrictions. Especially the integration of tasks for HFF-design and SkF-design and operating system functionality with respect to RT requirements' is a main challenge. The integration leads' to systems with enormous overall complexity because the complexity of each design partition itself has been doubled nearly eve three years. This explains the need of theoretically well-founded paradigms, automation tools; and a globally applicable design methodology. Traditionally several design dimensions are existing beside each other. Knowledge, algorithms and techniques used in one design dimension may be called core competence. Core competencies needed for establishing a design methodology for ES are: specification and modelling, analysis and verification, RT $W-synthesis and RT operating systems, HW-synthesis and rapid prototyping.