A Real-Time Discrete Event System Specification Formalismfor Seamless Real-Time Software Development

  • Authors:

  • Joon Sung Hong;Hae-Sang Song;Tag Gon Kim;Kyu Ho Park

  • Affiliations:

  • Department of Electrical Engineering, Korea Advanced Institute of Science and Technology, Taejon, Korea 305-701;Department of Electrical Engineering, Korea Advanced Institute of Science and Technology, Taejon, Korea 305-701;Department of Electrical Engineering, Korea Advanced Institute of Science and Technology, Taejon, Korea 305-701;Department of Electrical Engineering, Korea Advanced Institute of Science and Technology, Taejon, Korea 305-701

  • Venue:
  • Discrete Event Dynamic Systems
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present a time domain extension of the hierarchicaland modular discrete event specification (DEVS) formalism. Thisextension is important for establishing a seamless real-timesoftware development framework. Formalisms help describe a systemunambiguously. If formal models are implemented without any consistentframeworks, however, it is hard to guarantee that there is nosemantic gap between models and codes. Real-TimeDEVS, named RTDEVS, is an extension of DEVS that can be characterizedin three perspectives: the real time execution of models, theaddition of time interval functions, and the activity specificationfor each state. After analyzing a system, the framework basedon RTDEVS helps to expand each model of the system for executingin a real-time environment. In order to support the RTDEVS formalism,we propose abstract executive concepts based on the abstractsimulator concepts of the DEVS formalism. Also, we implementan RTDEVS execution engine, named DEVS Executive,which runs on real-time Mach.