A common misconception about real-time computing is that it is equivalent to \fast computing." Many robotics examples in recent history have shown that without rigorous understanding of the resource requirements and interactions of the software, these systems are doomed to failure. In this paper, we discuss our application of rigorous real-time analysis and execution methods to Georgia Tech's M...

RT-LOTOS is a timed process algebra which enables compact and abstract specification of real-time systems. This paper proposes and illustrates a structural translation of RT-LOTOS terms into behaviorally equivalent (timed bisimilar) finite Time Petri nets. It is therefore possible to apply Time Petri nets verification techniques to the profit of RT-LOTOS. Our approach has been implemented in RT...

The Real-Time Message Passing Interface (MPI/RT) is a communication layer middleware standard that is aimed at providing guaranteed Quality of Service for data transfers on high performance networks. It poses “middleout” requirements both on applications and on the operating system. In this paper, we consider the “middledown” issues by modifying a POSIX compliant operating system in order to su...

Responsive Link is a communication standard as specified in ISO/IEC 24740:2008 for distributed real-time environments. Responsive Link has multiple features to meet both hard and soft real-time requirements. Unfortunately, current real-time operating systems do not support the main features of Responsive Link. In addition, distributed realtime systems in noisy environments require revealing the...