Learn More
Distributed real-time system is realized in many fields such as automotive, avionics, medical, and manufacturing automation. However, it is difficult to develop and verify distributed real-time systems due to its different system clocks with drifts of distributed nodes. In this paper, we introduce our software platform for designing, implementing, and(More)
  • 1