This article outlines a graphical software package for performance and dependability modeling with deterministic and stochastic Petri nets (DSPNs). The package is called DSPNexpress because its main scientific contrib...
详细信息
This article outlines a graphical software package for performance and dependability modeling with deterministic and stochastic Petri nets (DSPNs). The package is called DSPNexpress because its main scientific contribution lies in its efficient numerical solution component. The development of DSPNexpress has been motivated by the lack of a software package for an efficient numerical analysis of Deterministic and stochastic Petri nets (DSPNs) and the complexity requirements imposed by evaluating design alternatives for hardware and software components of multicomputer systems. The main scientific contribution of DSPNexpress lies in its efficient numerical solution component. The version 1.3 of DSPNexpress solves complex DSPNs with four orders of magnitude less CPU time than the previously known numerical method. As a consequence, DSPNexpress is able to calculate steady-state solutions of complex DSPNs with reasonable computational effort on a modern workstation (e.g. a DSPN with 100000 tangible marking and 5000000 state transitions with mild stiffness can be solved in 1 hour of CPU time on a Sun Spare station 2). The article summarizes the main innovative features of the software package DSPNexpress.
In order to build a fault-tolerant network, heterogeneous facilities are arranged in the network to prevent homogeneous faults from causing serious damage. This paper uses edge-colored graph to investigate the feature...
详细信息
In order to build a fault-tolerant network, heterogeneous facilities are arranged in the network to prevent homogeneous faults from causing serious damage. This paper uses edge-colored graph to investigate the features of a network topology which is survivable after a set of homogeneous devices malfunction. We propose an approach to designing such networks under arbitrary parameters. We also show that the proposed approach can be used to optimize inter-router connections in network-on-chip to reduce the additional consum!otion of energy and time delay.
The Radeox Wiki markup render engine is a basic component for the construction of a Wiki or any system that wishes to integrate basic Wiki functionality. With the availablility of such a component the compatibility of...
详细信息
ISBN:
(纸本)1595934138
The Radeox Wiki markup render engine is a basic component for the construction of a Wiki or any system that wishes to integrate basic Wiki functionality. With the availablility of such a component the compatibility of different Wiki systems can be improved and the simplicity of the Wiki way is now ready for deployment in business applications. This paper explains how this component emerged from its host Wiki SnipSnap and how it enables software developers to integrate the Wiki way into their own implementations and other software. Copyright 2006 ACM.
We point out some errors in the combinatorial approach for the steady-state analysis of a deterministic and stochastic Petri net (DSPN) presented by M. Lu, D. Zhang, and T. Murata (1990). However, the methodology for ...
详细信息
We point out some errors in the combinatorial approach for the steady-state analysis of a deterministic and stochastic Petri net (DSPN) presented by M. Lu, D. Zhang, and T. Murata (1990). However, the methodology for analyzing the self-stability of fault-tolerant clock synchronisation (FCS) systems introduced in that paper is applicable for FCS systems with many clocking modules, even if the combinatorial approach is not valid. This is due to the progress in improving the efficiency of the DSPN solution algorithm made in recent years. We show that the explicit computation of the steady-state solution of the DSPN can be performed with reasonable computational effort on a modern workstation by the software package DSPNexpress.< >
This paper presents the use of the Unified Modeling Language (UML) in the context of object-oriented modelling and simulation of hybrid systems with Modelica. The definition of a specialized version of UML for the gra...
详细信息
This paper presents the use of the Unified Modeling Language (UML) in the context of object-oriented modelling and simulation of hybrid systems with Modelica. The definition of a specialized version of UML for the graphical description and model based development of hybrid systems in Modelica - the UMLH - was taken place in the GENSIM project [1, 2]. For a better support of the modelling process, an UMLH editor with different views (class diagrams, statechart diagrams, collaboration diagrams) was implemented as a part of the Modelica simulation tool MOSILAB [3]. In the EOOLTworkshop the use of UMLH and its semantics will be demonstrated by the development of a simplified model of a Pool-Billiard game in Modelica.
A concept for an air pollution simulation environment to predict and manage smog situations is presented consisting of the necessary data bases, a mesoscale meteorological model, an air chemistry model, and decision s...
详细信息
A concept for an air pollution simulation environment to predict and manage smog situations is presented consisting of the necessary data bases, a mesoscale meteorological model, an air chemistry model, and decision support tools including result visualization. Simulation runs and scenario analyses of such numerically complex models take hours of computing time, even on today's supercomputers. Therefore a strategy for model decomposition and implementation on massively parallel computers is described. Simulation results are shown for an ozone smog situation in Berlin.
Models in testing are important for describing, understanding, and managing tests. In the automotive domain, AUTOSAR is an important standard to model components of electronic control units. AUTOSAR, however, lacks in...
详细信息
Huffman codes are being widely used as a very efficient technique for compressing data. To achieve high compressing ratio, some properties of encoding and decoding for canonical Huffman table are discussed. A study an...
详细信息
暂无评论