Modelling aspects of system level design

In this paper the neccessity for a common modelling approach for heterogeneous systems is discussed. As an ezample for such a modelling techniqrre eztended Predicate/l)-ansition Nets are introdrrced. These nets can combine modelling in a declarative way by means of first order logic with an operational interpretation inheritedfrom Petri Nets. The added concepts of hierarchy and recursion allow the description of ertremely complez systems. Three applications of Pr./T-Nets are shown: Control of complez design systems, timing analysis and the implementation of communication protocols.

[1]  Elisabeth Kupitz,et al.  DECOR - tightly integrated Design Control and Observation , 1992, ICCAD.

[2]  P. Altenbernd,et al.  Solving the path sensitization problem in linear time , 1992, [1992] Proceedings The European Conference on Design Automation.

[3]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[4]  Michael Rupprecht.  Implementierung und parallele Verarbeitung von Kommunikationssoftware , 1993 .

[5]  Alberto Di Janni.  A monitor for complex CAD systems , 1986, DAC.

[6]  Rajesh Gupta,et al.  System synthesis via hardware-software co-design , 1992 .

[7]  Ludmila Cherkasova,et al.  Structured Nets , 1981, International Symposium on Mathematical Foundations of Computer Science.

[8]  Bernd Kleinjohann,et al.  A formal model for coupling computer based system and physical systems , 1993, Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference.

[9]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[10]  Alberto L. Sangiovanni-Vincentelli,et al.  Design management based on design traces , 1991, DAC '90.

[11]  Bernd Steinmüller.  The JESSI-COMMON-FRAME Project - A Project Overview , 1992, Electronic Design Automation Frameworks.

[12]  Helmut Lagger,et al.  Knowledge based design flow management , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.