|
Published Articles >> Table of Contents >> Abstract
Fourth International Workshop on Real-Time Computing Systems and Applications (RTCSA'97)
p. 182
A logical approach for specification and execution of concurrent real-time systems
R. Ramirez, Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTCSA.1997.629210
Send link to a friend
| Abstract |
|
We present a declarative logic programming based language for concurrent real time programming. In the language, the time requirements and safety properties of programs can be explicitly stated as temporal constraints. This provides great advantages in writing concurrent real time systems and manipulating them while presenting correctness. The language has a procedural interpretation that allows the specification to be executed, also concurrently. The language is sufficiently high level to simulate several practical concurrent programming paradigms, and can act as kernel language in a concurrent real time object oriented framework.
|
 Additional Information
|
Index Terms- logic programming languages; logical approach; concurrent real time system specification; declarative logic programming based language; concurrent real time programming; time requirements; safety properties; temporal constraints; correctness; procedural interpretation; concurrent programming paradigms; kernel language; concurrent real time object oriented framework
Citation:
R. Ramirez,
"A logical approach for specification and execution of concurrent real-time systems,"
rtcsa,
p. 182,
Fourth International Workshop on Real-Time Computing Systems and Applications (RTCSA'97),
1997
|
|
