Figure 2 - uploaded by Martin Naedele
Content may be subject to copyright.
Source publication
Industrial applications of Petri nets for modeling and design often result in very complex models (Zurawski and Zhou 1994; Esser, Janneck, and Naedele 1997). Designers can handle this complexity much better if they can (re)use structures expressing expert modeling experience at a higher level of design and abstraction than the basic elements. In th...
Contexts in source publication
Context 1
... structure: See the decoding of the column and row addresses at the places col s and row s by the associated transitions in Fig. ...
Context 2
... In the shaded area in Fig. 2, RAM cells are physically distributed over a bank, and their selec- tion basically constitutes a deterministic choice. It seems inappropriate, however, to model the selec- tion transitions as being in direct conflict to each ...
Similar publications
We present a novel approach to representing uncertain information in ontologies based on design patterns. We provide a brief
description of our approach, present its use in connection with fuzzy information and probabilistic information, and describe
the possibility to model multiple types of uncertainty in a single ontology. We also shortly presen...
Citations
... In a similar way, modeling patterns are parameterized templates for modeling commonly encountered system components. As an example, [27] proposes such patterns to deal with the complexity of Petri net models by reusing structures expressing expert modeling experience at a higher level of abstraction than the basic elements. The patterns presented in this article alleviate the process of modeling soft real-time systems. ...
Worst-case assumptions about the timing of systems are often too conservative when analyzing distributed soft real-time systems as they lead to over-dimensioned and expensive products. For these systems, a certain percentage of deadline misses is often affordable. Instead of a binary answer regarding the schedulability of such a system, a more interesting metric is the degree to which the system meets the timing requirements. For this, an appropriate model that realistically expresses the behavior of a soft real-time system when deployed on a multiprocessor platform should be built and analyzed. In this article, we present such a modeling approach based on the formal modeling language POOSL (parallel object-oriented specification language). Moreover, to alleviate the process of modeling, we present a pattern-based description language that allows an application, together with the multiprocessor platform and the deployment to be described in a concise way. Such a pattern-based description can be translated automatically into an executable POOSL model through which performance properties can be analyzed based on simulations. The suitability of our approach is demonstrated by exploring the design space of a distributed in-car radio navigation system.
... Design patterns refer to problems encountered in the design process itself, but problems appear also in the specification of components that are commonly encountered in complex systems [GJN99]. Although components of the analysed systems exhibit some common aspects for all real-time systems (e.g. ...
Basedondesignexperience for real-time systems, weintroducemodellingpatterns to enable easy composition of models for design space exploration. Our proposed approach does not require deep knowledge of the modelling language used for the actual specification of the model and its related analysis techniques. The patterns proposed in this paper cover different types of real-time tasks, resources and mappings, and include also aspects that are usually ignored in classical analysis approaches, like task activation latency or execution context switches. In this paper, we present a library of such modelling patterns expressed in the POOSL language. By identifying the patterns that are needed for the specification of a system, the POOSL model can be automatically generated and analysed using its related tools and techniques as illustrated in two case studies. Keywords Real-time systems, modelling patterns, design space exploration models
... Therefore, an expressive and formal modelling language is required instead in order to capture in a compact model timing, concurrency, probabilities and complex behaviour. Design patterns refer to problems encountered in the design process itself, but problems appear also in the specification of components that are commonly encountered in complex systems [11]. Although components of the analysed systems exhibit some common aspects for all real-time systems (e.g. ...
... Design patterns refer to problems encountered in the design process itself, but problems appear also in the specification of components that are commonly encountered in complex systems [GJN99]. Although components of the analysed systems exhibit some common aspects for all real-time systems (e.g. ...
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time sys- tems and using the concepts of the POOSL language, we introduce modelling patterns that allow easy com- position of models for design space exploration. These patterns cover difierent types of real-time tasks, re- sources and mappings, and include also aspects that are usually ignored in classical analysis approaches, like task activation latency or execution context switches. The construction of system models can be done by in- tegrating the necessary patterns, as illustrated in two case studies.
... With the help of the quickly developed performance model, promising performance increases have been deduced for particular access patterns. A more detailed description is published in [68,65,70]. Further investigations in the following section focus on examinations of real applications to quantify how often the different access patterns are actually used. ...
The increasing use of computer networks for all kinds of information exchange between autonomous computing resources is associated with a number of side-effects. In the Internet, where computers all over the globe are interconnected, the traffic volume grows faster than the infrastructure improves, leading to congestion of networking routes. In the application domain of embedded systems, networks can be used to couple complex sensor systems with a computing core. The provision of raw bandwidth may not be sufficient in such systems to allow control with real-time constraints. The underlying requirement in both cases is a network service with a defined quality, for instance, in terms of traffic loss ratio and worst-case communication delay. The provision of suitable communication services however requires a noticeable overhead in terms of computing
load. Therefore, application-specific hardware accelerators – so-called network
processors – have been introduced to speed up or even enable the maintenance
of certain network services.
This booklet is the author's PhD-dissertation.
We present a Colored Petri Net approach to model check three atom- icity properties for the NetBill electronic cash system. We verify that the proto- col satisfies money atomicity, goods atomicity and certified delivery in the presence of potential site or communication failures and all possible unilateral transaction abort cases. Model checking is performed in CPN Tools, a graphical ML-based tool for editing and analyzing Colored Petri Nets (CP-nets). In case of property violation, protocol failure analysis aims in exploring all property violation scenarios, in order to correct the protocol's design. Model checking exploits the provided state space exploration functions and the s upported Com- putation Tree like temporal logic (CTL). On the other hand, protocol failure analysis is performed by inspection of appropriately selected markings and if necessary, by interactively simulating certa in property violation scenarios. In e - commerce, Colored Petri Net model checking has been used in verifying ab- sence of deadlocks, absence of livelocks and absence of unexpected dead transi- tions, as well as in verifying a protocol against its service. To the best of our knowledge, our work is the first attempt to employ CP-nets for model checking atomicity properties. We believe that the described approach can also be ap- plied in model checking other functional properties that are not directly related to the structural properties of the generated state space graph.
This booklet contains the proceedings of the Fourth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, August 28-30, 2002. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark. The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop02
