DocumentCode :
3205968
Title :
A logical approach for specification and execution of concurrent real-time systems
Author :
Ramirez, Rafael
Author_Institution :
Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
fYear :
1997
fDate :
27-29 Oct 1997
Firstpage :
182
Lastpage :
185
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
Keywords :
formal specification; logic programming; logic programming languages; object-oriented programming; parallel programming; real-time systems; concurrent programming paradigms; concurrent real time object oriented framework; concurrent real time programming; concurrent real time system specification; correctness; declarative logic programming based language; kernel language; logical approach; procedural interpretation; safety properties; temporal constraints; time requirements; Computer science; Concurrent computing; Information systems; Kernel; Logic programming; Object oriented modeling; Object oriented programming; Real time systems; Road safety; Writing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Real-Time Computing Systems and Applications, 1997. Proceedings., Fourth International Workshop on
Conference_Location :
Taipei
Print_ISBN :
0-8186-8073-3
Type :
conf
DOI :
10.1109/RTCSA.1997.629210
Filename :
629210
Link To Document :
بازگشت