R. Esser. "An Object Oriented Petri Net Approach to Embedded Systems Design". Dissertation. Swiss Federal Institute of Technology, Zurich, 1996.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....is correct regarding to the semantics by deduction of Dynamic Logic semantics. 5 OCA: a module for animation Next we introduce general properties of the developed module with some considerations about the auto matically obtained prototype using Petri Nets. We have used the Codesign tool [1] in order to animate the Petri Nets. Some reasons that justify this selection are: the simulation environment is graphical, it is possible to have a good modular decomposition of the system (OASIS) and it has inheritance. OCA has the following features: The translator takes as input the set of ....

....validated and the scenarios generated by the animation process. The starting point is the set of Dynamic Logic formulae for an OASIS specifications (The precise mapping between Dynamic Logic formulae and Petri Nets is given in [10] A translator produces Object Oriented Petri Nets (with Codesign [1] syntax) from Dynamic Logic formulae. The purpose of this translator is to obtain the Petri Nets (as class definitions) needed to animate the considered conceptual model (viewed as an OASIS specification) and taking into account the execution model implementing the operational semantics of Dynamic ....

Esser R. An Object Oriented Petri Net Approach to Embedded System Design. Phd. Thesis, Swiss Federal Institute of Technology Zurich, 1996.

....functions, taking streams as input and producing streams as output see (Broy 1995; Broy 1996) for a formal definition. The approach to composition suggested in this work is based on this notion of component and on the structuring concept for high level Petri nets that was developed in (Esser 1996). Instead of trying to directly refine either places or transitions, we will consider components to be subnets with inputs and outputs, contained in other components and connected to their environment by input and output connectors. For example, Fig. 1 shows the definition of a component ....

....nature, which can only be adequately modeled in a formalism supporting dynamic structures. 3. 1 Dynamically contained components A common approach for moving embedded components around in a net is by making them, or rather their designators, tokens that reside on places (Lakos 1994; Lakos 1995; Esser 1996). We adopt this idea, and define a way in which those components are hooked up to their environment. Designators are computed as results of the instantiation expressions in the last section, i.e. expressions such as Nats(3) or Adder have the side effect of initializing a component the designator ....

Esser, R. (1996). An Object Oriented Petri Net Approach to Embedded System Design. Ph. D. thesis, ETH Zurich.

....be developed anymore without the support of modeling and analysis or simulation stages during the design process [7] 2 Modeling with the CodeSign tool This section will give a short introduction to the CodeSign tool, which was used in the case study. A more detailed description can be found in [2]. We will also compare CodeSign to existing Petri net based tools. CodeSign is an integrated Petri net modeling environment based on a highlevel temporal Petri net formalisms. Besides the basic functionalities like graphical editing and animated simulation of Petri nets, it provides several ....

.... animated simulation of Petri nets, it provides several features that are central to the modeling of complex manufacturing automata used in semiconductor manufacturing: ffl Its component concept supports abstraction from component modeling details and hierarchical composition of components (cf. [2], 11] for the use of 3 subnets in synthesizing Petri net models) In this way, arbitrarily complex systems can be gradually constructed from smaller units. Since individual components are instantiated from component classes, they also provide basic reusability. ffl Component classes are fully ....

Robert Esser. An Object Oriented Petri Net Approach to Embedded System Design. PhD thesis, ETH Zurich, 1996.

....s) is then 1.23 seconds and the deadline is missed. This example shows that the simplified assumption of non preemptive and random scheduling often made in the Petri net modeling of real time systems [9, 17, 33] may lead to wrong results. Fig. 15 shows a screen shot of the CodeSign Petri net tool [13] with extensions for the evaluation of real time systems. 20 Figure 11: Result of the scheduling simulation of the mine drainage system for the first 1.4 seconds with preemptive fixed priority scheduling and non preemptable segments with resource access. Figure 12: Result of the scheduling ....

Robert Esser. An Object Oriented Petri Net Approach to Embedded System Design. PhD thesis, ETH Zurich, 1996.

....DRAM chips (SDRAMs [11] Ordinary controllers supporting FPM EDO and SDRAM chips do not distinguish between these two types of memory. Therefore, SDRAMs are rarely utilized to their full potential, that is, they are not capable of obtaining higher throughput rates than FPM and EDO 1 CodeSign [4] is developed at the Computer Engineering and Networks Laboratory (TIK) and is available at http: www.tik.ee.ethz.ch codesign. chips. At the same time, clock rates and throughput demands of modern CPUs grow constantly. One reaction of the computer manufacturing industry is the increase of the ....

....memory controller could compensate the need for caches in power dissipation or cost critical systems. 3 The modeling environment In this section, the CodeSign tool is presented and it is pointed out how the requirements for a modeling tool are met. A more detailed description can be found in [4]. CodeSign is based on a kind of colored Petri nets that allow efficient modeling of control and data flow. Components, composition, and hierarchy: Components are subnets of Petri nets with input and output interfaces that are applied to interconnect components. Inside components, input ....

[Article contains additional citation context not shown here]

Robert Esser. An Object Oriented Petri Net Approach to Embedded System Design. PhD thesis, ETH Zurich, 1996.

....tokens that are removed from a place or written to a place via this arc. In addition, the weight on incoming arcs also prescribes that at least this number of tokens has to be on the respective input place to enable the transition. ffl In so called high level Petri nets, tokens are distinguishable [11] (e.g. Coloured Petri Nets, CPN) 16] by carrying data values of different types. Futhermore, transition guards enable transitions based on token values and token manipulating functions change token values when a transition fires. ffl Transitions are annotated with firing durations. Temporal ....

....and categorization of the existing body of Petri net design knowledge and the patterns behind it. ffl Design of a sufficiently general Petri net language allowing for powerful mechanisms for composition and parametrization. The experience from and with different Petri net languages [6] [11], 16] 17] 23] must be taken into account as well as the huge body of knowledge from programming language design. ffl Design of a pattern language, at least for a restricted set of patterns. Experience shows that application knowledge of this kind enhances the acceptance of a tool or a ....

R. Esser. An Object Oriented Petri Net Approach to Embedded System Design. PhD thesis, ETH Zurich, 1996.

....systems, a concept of abstraction is an important that allows for structured design and analysis, and fosters composition of model parts. Previous work in this area includes the various techniques for refining places and transitions [1] as well as various object oriented Petri net approaches (e.g. [3, 8, 9]) Building on this work, we try to give a compositional approach to constructing individual Petri net components, which can be combined into larger components in a uniform fashion while at the same time facilitating compositional analysis. 1.1 Why compositional Petri nets Before we address the ....

.... building blocks, place and transition [7] 8] 9] 12] A common problem here is that refining places or transitions destroys some of their key properties [1] In this paper we will therefore use a different approach based on an structuring concept of high level Petri nets that was developed in [3]. Instead of trying to directly refine either places or transitions, we will consider components to be subnets with inputs and outputs, which can be embedded into other components. For example, Fig. 1 shows the definition of a component of type Adder that has two inputs and one output depicted as ....

[Article contains additional citation context not shown here]

Robert Esser. An Object Oriented Petri Net Approach to Embedded System Design. PhD thesis, ETH Zurich, 1996.

....more useful for engineers. 2 Basic modeling concepts In this section we will informally introduce a notation for Petri nets that will serve as a basis for illustrating the design patterns in the following section. It is based on colored Petri nets [18] and an object oriented component model [12]. 2.1 Components and their composition The absence of any concept of compositionality and abstraction in the pure Petri net formalism has long been observed (see for instance [17] and given rise to several approaches to overcome this deficiency. A common way to add hierarchical composition to ....

....is a purely syntactical property and does not say anything about the behavior of the respective components. 1 In fact, this form of embedding is a special case of a more general form, as will be outlined below. 2 Other object oriented extensions to Petri nets can be found, e.g. in [19] 7] [12]. RealFunc out : Real in Real Doubler RealFunc in Real out Real a 2a Figure 3: Simple inheritance. 2.3 Parametric classes In order to foster reuse of component classes and at the same time facilitate static type checking and polymorphism, we allow the definition of parametric classes. When ....

[Article contains additional citation context not shown here]

Robert Esser. An Object Oriented Petri Net Approach to Embedded System Design. PhD thesis, ETH Zurich, 1996.

....are a notation for modeling concurrent systems which combine a solid formal underpinning with an intuitive visual appearance. They have been extended in various ways in order to make them more suitable for real world modeling tasks, in particular with the addition of concepts such as time (e.g. [15, 12, 4]) and compositionality (e.g. 12, 14, 4] Our approach takes a high level time Petri net formalism similar to the one defined in [4] and adds three features: A concept of components that are connected to their environment using interfaces over which tokens may flow. Components can have ....

....systems which combine a solid formal underpinning with an intuitive visual appearance. They have been extended in various ways in order to make them more suitable for real world modeling tasks, in particular with the addition of concepts such as time (e.g. 15, 12, 4] and compositionality (e.g. [12, 14, 4]. Our approach takes a high level time Petri net formalism similar to the one defined in [4] and adds three features: A concept of components that are connected to their environment using interfaces over which tokens may flow. Components can have parameters that can be bound to any type ....

[Article contains additional citation context not shown here]

Robert Esser. An Object Oriented Petri Net Approach to Embedded System Design. PhD thesis, ETH Zurich, 1996.

....nets [11, 13] are a notation for modeling concurrent systems which combine a solid formal underpinning with an intuitive visual appearance. They have been extended in various ways in order to make them more suitable for real world modeling tasks, in particular by adding concepts such as time (e.g. [10, 2, 8, 12, 4]) and compositionality (e.g. 8, 9, 3, 4] Our approach takes a high level time Petri net formalism similar to the one de ned in [4] and adds three features (see [6, 7] for a more detailed treatment) A concept of components that are connected to their environment using interfaces over which ....

....systems which combine a solid formal underpinning with an intuitive visual appearance. They have been extended in various ways in order to make them more suitable for real world modeling tasks, in particular by adding concepts such as time (e.g. 10, 2, 8, 12, 4] and compositionality (e.g. [8, 9, 3, 4]. Our approach takes a high level time Petri net formalism similar to the one de ned in [4] and adds three features (see [6, 7] for a more detailed treatment) A concept of components that are connected to their environment using interfaces over which tokens may ow . Components can have ....

[Article contains additional citation context not shown here]

Robert Esser. An Object Oriented Petri Net Approach to Embedded System Design. PhD thesis, ETH Zurich, 1996.

....notation involves considerable coding. The Moses tool suite is closer to meta modeling environments such as CodeSign, DOME, or GME. These expose an underlying meta model of the (in these cases, visual) notations they support that users may configure to specify a particular notation. CodeSign [8] defines a visual language by using a graph grammar that transforms it into a base formalism (a timed Petri net language) It provides extensive support for configuring the graph editor, although this usually involves the host language, Smalltalk. Also defining the semantics using graph grammars ....

Robert Esser. An Object Oriented Petri Net Approach to Embedded System Design. PhD thesis, ETH Zurich, 1996.

....are an attractive specification technique, not only because they parallel the way textual syntax is defined, but also because of their relative conceptual simplicity and their descriptive power. There are several approaches to use them even in the definition of visual language semantics, e.g. [6], 2] 19] On the other hand, parsing algorithms on graphs tend to be significantly more complex than those for strings, and much harder to make well behaved. Sometimes, an alternative to parsing is to have users enter the pictures on the level of the abstract syntax, i.e. provide them with an ....

Robert Esser. An Object Oriented Petri Net Approach to Embedded System Design. PhD thesis, ETH Zurich, 1996.

No context found.

Esser R., An Object Oriented Petri Net Approach to Embedded System Design. PhD Dissertation ETH Zurich 1996, VDF Verlag Zurich, December 1996.

No context found.

R. Esser. "An Object Oriented Petri Net Approach to Embedded Systems Design". Dissertation. Swiss Federal Institute of Technology, Zurich, 1996.

No context found.

R. Esser. An Object Oriented Petri Net Approach to Embedded System Design. Ph.d. thesis, ETH, 1996.

No context found.

Robert Esser. An Object Oriented Petri Net Approach to Embedded System Design. PhD thesis, Computer Engineering and Networks Laboratory (TIK), ETH Zurich, Switzerland, 1996.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC