Exception handling in RT-CDL

Liu, Leo Y. ; Shyamasundar, R. K. (1990) Exception handling in RT-CDL Computer Languages, 15 (3). pp. 177-192. ISSN 0096-0551

Full text not available from this repository.

Official URL: http://www.sciencedirect.com/science/article/pii/0...

Related URL: http://dx.doi.org/10.1016/0096-0551(90)90010-M


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.

Item Type:Article
Source:Copyright of this article belongs to Elsevier Science.
Keywords:Exception Handling; Indeterminacy; Non-buffered Broadcast; Priority; Reactive Systems; Real-time Exceptions; Timing Constaints
ID Code:56569
Deposited On:24 Aug 2011 10:57
Last Modified:24 Aug 2011 10:57

Repository Staff Only: item control page