Title: Real-Time RTI: Theory and Formalization

Abstract:

The real-time extension of High Level Architecture (HLA) is very essential and useful for most large-scale distributed simulation systems. However, most of the previous attempts to design a Real-time Run time Infrastructure (RT-RTI) use the scheduling and prioritization services from the underlying Real-Time Operating Systems (RTOSs), augmented by communication QoS mechanisms. We will present a RT-RTI design, which differentiates the processing of services within the RTI core. This design is able to incorporate load-balancing mechanisms with different scheduling and allocation policies. Moreover, the system design is formalized using Real Time Discrete Event System Specification (RT-DEVS). Simulation results from the design model have verified the experimental results from a real implementation of the proposed RT-RTI design.