A Petri net-based approach to modeling and analysis of component-based distributed real-time systems

Authors:
Xinhong Hei;Hiroshi Mochizuki;Sei Takahashi;Hideo Nakamura
Affiliations:
Nihon University, Chiba-ken, Japan;Nihon University, Chiba-ken, Japan;Nihon University, Chiba-ken, Japan;Nihon University, Chiba-ken, Japan
Venue:
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Year:
2007

Citing 9
Cited 0

PROTOB: an object oriented methodology for developing discrete event dynamic systems

Computer Languages
OPNets: an object-oriented high-level Petri net model for real-time system modeling

Journal of Systems and Software - Special issue on object-orientation
G-Nets: a Petri net based approach for logical and timing analysis of complex software systems

Journal of Systems and Software
Theory of software reliability based on components

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Modelling with Generalized Stochastic Petri Nets

Modelling with Generalized Stochastic Petri Nets
SPNP: Stochastic Petri Net Package

PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems

Proceedings of the 14th International Conference on Application and Theory of Petri Nets
A Component-Based Approach to Reliability Analysis of Distributed Systems

SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
A Formal Approach for Architectural Modeling and Prototyping of Distributed Real-Time Systems

HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Software Technology and Architecture - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

Research, development, and applications of distributed real-time control systems have grown immensely in recent years. However, increasing complexity, rising costs, and demands for high reliability have made it necessary to adopt component concepts in traditional distributed realtime systems, an approach which can also drastically improve system reusability. In this paper, we propose a formal approach which combines Generalized Stochastic Petri Nets (GSPN) and G-nets (a Petri Net extended with object-oriented concepts) to model and evaluate the performance of component-based distributed real-time systems. The components and their modules are standardized and modeled with G-nets, whereas the whole system is modeled with GSPN in order to describe its stochastic and concurrent characteristics. We apply the approach to a new Distributed Railway Interlocking System (DRIS), which is a real-time, safety-critical control system.