DEVS Approach to Real-time RTI Design for Large-scale Distributed Simulation Systems

Authors:
Azzedine Boukerche; Ming Zhang;Ahmad Shadid
Affiliations:
PARADISE Research Laboratory University of Ottawa 800King Edwards St, Ottawa Ontario K1N 6N5, Canada;PARADISE Research Laboratory University of Ottawa 800King Edwards St, Ottawa Ontario K1N 6N5, Canada;PARADISE Research Laboratory University of Ottawa 800King Edwards St, Ottawa Ontario K1N 6N5, Canada
Venue:
Simulation
Year:
2008

Citing 12
Cited 2

HRT-HOOD: a structured design method for hard real-time systems

Real-Time Systems
A theory of timed automata

Theoretical Computer Science
OOPM/RT: a multimodeling methodology for real-time simulation

ACM Transactions on Modeling and Computer Simulation (TOMACS)
Theory of Modeling and Simulation

Theory of Modeling and Simulation
A Real-Time Discrete Event System Specification Formalismfor Seamless Real-Time Software Development

Discrete Event Dynamic Systems
Model-Based Codesign

Computer
Virtual Reality Transfer Protocol (VRTP) Design Rationale

WET-ICE '97 Proceedings of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises
HLA Real-Time Extension

DS-RT '01 Proceedings of the Fifth IEEE International Workshop on Distributed Simulation and Real-Time Applications
Middleware for real-time distributed simulations: Research Articles

Concurrency and Computation: Practice & Experience - Distributed Simulation and Real-Time Applications
Design and Performance Evaluation of a Real-lime RTI Infrastructure for Large-Scale Distributed Simulations

DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Efficient Load Balancing Schemes for Large-Scale Real-Time HLA/RTI Based Distributed Simulations

DS-RT '07 Proceedings of the 11th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Model continuity in the design of dynamic distributed real-time systems

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans

Modeling discrete event scalable network systems

Information Sciences: an International Journal
A time management optimization framework for large-scale distributed hardware-in-the-loop simulation

Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation

Quantified Score

Hi-index	0.00

Visualization

Abstract

HLA/RTI is one of the dominant middleware for large-scale distributed simulation. However, traditional RTI design and resulting implementations have been facing several difficulties, especially in satisfying the requirements for real-time distributed simulations. Many improved or novel RTI designs have been proposed in recent years, which aim to improve the real-time capabilities of RTI systems. Such designs are in general non-formalized, and the realizations of the designs are highly time-consuming and error-prone practices. In this paper, we propose a formal real-time RTI (RT-RTI) design approach using Discrete Event System Specification (DEVS). We discuss the feasibility of using DEVS and, as an additional step, we consider the case study of two recently proposed RT-RTI designs through a formalized DEVS model system. Our focus is how a DEVS component-based formalized design approach can predict some of the key design factors before the design is realized, or can further validate and consolidate realized RT-RTI designs.