Implementation of the kernel techniques of real-time process algebra

This paper presents the work on developing a code generator that automatically generates C++ code based on RTPA specifications of system architecture and behaviors. The traditional sequential part of RTPA specification can be mapped onto standard C++ counterparts or their combinations. However the important real-time features of RTPA, such as interrupt, concurrency, duration, and event/time-driven cannot be dealt with the standard C++ library. In order to implement the real-time functions of RTPA, we proposed a framework which facilitates automatic C++ code generation from RTPA specifications by two phases: the first phase processes the concrete syntax of RTPA specifications resulting in the corresponding abstract syntax trees; the second phase generates code from the abstract syntax trees. In the second phrase, the RTPA runtime library is introduced to provide real-time supporting code. This paper discusses the implementation of RTPA real-time features using real-time kernel techniques to guarantee timeliness and predictability. The hardware interrupt vectoring and interrupt service routines are used to implement RTPA interrupt, timing, and duration. The multitask-scheduling techniques are used to implement RTPA concurrency. Intertask communications are adopted to implement event/time-driven processes. Experimental case studies show the real-time features of RTPA can be achieved by this approach.