A logical approach for specification and execution of concurrent real-time systems

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by R. Ramirez

Fourth International Workshop on Real-Time Computing Systems and Applications (RTCSA'97)

Taipei, TAIWAN

October 27-October 29

ISBN: 0-8186-8073-3

	ASCII Text	x
	R. Ramirez, "A logical approach for specification and execution of concurrent real-time systems," Real-Time Computing Systems and Applications, International Workshop on, pp. 182, Fourth International Workshop on Real-Time Computing Systems and Applications (RTCSA'97), 1997.

	BibTex	x
	@article{ 10.1109/RTCSA.1997.629210, author = {R. Ramirez}, title = {A logical approach for specification and execution of concurrent real-time systems}, journal ={Real-Time Computing Systems and Applications, International Workshop on}, volume = {0}, year = {1997}, isbn = {0-8186-8073-3}, pages = {182}, doi = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.1997.629210}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Real-Time Computing Systems and Applications, International Workshop on TI - A logical approach for specification and execution of concurrent real-time systems SN - 0-8186-8073-3 SP EP A1 - R. Ramirez, PY - 1997 KW - 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 VL - 0 JA - Real-Time Computing Systems and Applications, International Workshop on ER -

R. Ramirez, Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTCSA.1997.629210

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.

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, pp.182, Fourth International Workshop on Real-Time Computing Systems and Applications (RTCSA'97), 1997

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.