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