Exception handling in RT-CDL

Abstract

RT-CDL, a real-time design language, has been proposed for the design of reliable reactive systems. In this paper, we discuss the interesting features of RT-CDL from the point of view of real-time exceptions. We show how exceptions can be detected the handled in RT-CDL. Through illustrative examples, we are able to show how to (a) achieve various termination levels and propagate exceptions, (b)introduce intermediate checkpoints in a natural way, and (c) handle exceptions in a coordinated fashion, without introducing any extra language mechanisms. The language is amenable for compositional reasoning and can be used for the specification and handling of various real-time exceptions-thus, leading to the design of reliable real-time systems.