Results 1 -
4 of
4
2013 UKSim 15th International Conference on Computer Modelling and Simulation Composability Verification of Real Time System Models using Colored Petri Nets
"... Abstract � The discipline of component based modeling and simulation offers promising gains including reduction in development cost, time, and system complexity. It also promotes (re)use of modular components to build complex simulations. Many important issues in this area have been addressed, but c ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract � The discipline of component based modeling and simulation offers promising gains including reduction in development cost, time, and system complexity. It also promotes (re)use of modular components to build complex simulations. Many important issues in this area have been addressed, but composability verification is still considered a daunting challenge. In our observation most of the component based modeling frameworks possess weak built-in support for the composability verification, which is required to guarantee the correctness of the structural, behavioral and temporal aspects of the composition. In this paper we stage a practical approach to alleviate some of the challenges in composability verification and propose a process to verify composability of real-time system models. We emphasize on dynamic semantic level and present our approach using Colored Petri Nets and State Space analysis. We also present a Field Artillery model as an example of real-time system and explain how our approach verifies model composability. Keywords- Composability; Verification; Real-time systems; discrete event; Colored petri nets; Field Artillery
COMPOSABILITY VERIFICATION OF REAL TIME SYSTEM MODELS USING TIMED COLORED PETRI NETS
"... The discipline of component-based modeling and simulation offers promising gains including reduction in development cost, time, and system complexity. It also promotes (re)use of modular components to build complex simulations. Many important issues in this area have been addressed, but composabilit ..."
Abstract
- Add to MetaCart
(Show Context)
The discipline of component-based modeling and simulation offers promising gains including reduction in development cost, time, and system complexity. It also promotes (re)use of modular components to build complex simulations. Many important issues in this area have been addressed, but composability verification is still considered a daunting challenge. In our observation most of the component modeling frameworks possess weak built-in support for the composability verification, which is required to guarantee the correctness of the dynamic (behavioral) and temporal aspects of the composition. In this paper we stage a practical approach to alleviate some of the challenges in composability verification and propose a process to verify composability of real-time system models. We emphasize on dynamic semantic level and present our approach using Colored Petri Nets and State-Space analysis. We also present a Field Artillery model as an example of real-time system and explain how our approach verifies model composability. 1
Coloured Petri Nets - A Tool in Software Engineering
, 2000
"... This progress report presents and summarizes the research work done by the author during part A of his PhD study at the Department of Computer Science, University of Aarhus. The work described consists of three main parts. The first part is on language constructions for modular coloured Petri net mo ..."
Abstract
- Add to MetaCart
(Show Context)
This progress report presents and summarizes the research work done by the author during part A of his PhD study at the Department of Computer Science, University of Aarhus. The work described consists of three main parts. The first part is on language constructions for modular coloured Petri net models. Work on parameterisation of modules, and how this can be used to gain higher degrees of reuse, is presented, and work in progress on behaviour preserving module refinements is sketched. The second part is on state space analysis methods for model verification, where two new reduction methods are described. The first method exploits equivalences to gain finite representations for the usually infinite state spaces of timed coloured Petri nets. The second method exploits the progress, that is present in some models, to sweep through all reachable states without, at any given time, storing the entire state space. The third and last part is on a text format for exchanging models between different tools. An XML-based text format is described. This text format is now implemented in the tools Design/CPN, as an optional file format, and CPN/Tools, as the main file format. Techniques for separating content and graphical style information, using style sheets, is also described.
Integrated Analysis of Temporal Behavior of Component-based Distributed Real-time Embedded Systems
"... Abstract—Integrated analysis of temporal behavior for dis-tributed real-time embedded (DRE) systems is an important design-time step needed to verify safe and predictable system operation at run-time. In earlier work, we have shown a Colored Petri Net-based (CPN) approach to modeling and analyzing c ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract—Integrated analysis of temporal behavior for dis-tributed real-time embedded (DRE) systems is an important design-time step needed to verify safe and predictable system operation at run-time. In earlier work, we have shown a Colored Petri Net-based (CPN) approach to modeling and analyzing component-based DRE systems. In this paper, we present new CPN-based modeling approaches and advanced state space methods that improve on the scalability and efficiency of the analysis. The generality of the modeling principles used show the applicability of this approach to a wide range of systems. Index Terms—component-based, real-time, distributed, colored petri nets, timing, schedulability, analysis
