Implementing the real-time processes of RTPA using Real-Time Java']Java

This paper discusses the implementation of the real-time processes of Real-Time Process Algebra (RTPA) using Real-Time Java. The difficulty in implementing real-time software from formal specifications comes from the fact that some real-time features expressed using a formal specification language cannot be easily transformed into a programming language. The paper shows how a combination of a real-time support library for RTPA (RTPASupportLib) and the recently developed extensions to real-time Java can overcome some of these difficulties. The strategies and techniques employed in implementing RTPA real-time features such as concurrency, interleaving, and interrupt/event/time-driven dispatching of real-time processes are presented. A number of case studies on the implementation of RTPA real-time features show that the approach is a feasible one.