Abstract
In this paper, we describe an approach to the representation, specification and implementation of real-time systems. The approach is based on the notion of concurrent object-oriented systems where processes are represented as objects. In our approach, the behaviour of an object (its safety properties and time requirements) is declaratively stated as a set of temporal constraints among events which provides great advantages in writing concurrent real-time systems and manipulating them while preserving correctness. The temporal constraints have a procedural interpretation that allows them to be executed, also concurrently. Concurrency issues and time requirements are separated from the code, minimizing dependency between application functionality and concurrency/timing control.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Allen, J.F. 1983. Maintaining knowledge about temporal intervals. Comm. ACM 26, 11, pp.832–843.
Alur, R., and Dill, D.L. 1990. Automata for modeling real-time systems, in ICALP’90: Automata, Languages and Programming, LNCS 443, pp.322–335. Springer-Verlag.
Chandy, K.M. and Misra, J. 1988. Parallel Program Design. Addison-Wesley.
Davison, A. 1991. From Parlog to Polka in Two Easy Steps, in PLILP’91: 3rd Int. Symp. on Programming Language Implementation and LP, Springer LNCS 528, pp.171–182, Passau, Germany, August.
Dill, D.L. 1989. Timing assumptions and verification of finite-state concurrent systems, in CAV’89: Automatic Verification Methods for Finite-state Systems, LNCS 407, pp. 197–212, Springer-Verlag.
Gregory, S. 1987. Parallel Logic Programming in PARLOG, Addison-Wesley.
Gregory, S. 1995. Derivation of concurrent algorithms in Tempo. In LOPSTR95: Fifth International Workshop on Logic Program Synthesis and Transformation.
Gregory, S. and Ramirez, R. 1995. Tempo: a declarative concurrent programming language. Proc.of the ICLP (Tokyo, June), MIT Press, 1995.
Hoare, C.A.R. 1985. Communicating Sequential Processes, Prentice Hall.
Kahn, K.M., Tribble, D., Miller, M.S., and Bobrow, D.G. 1987. Vulcan: Logical Concurrent Objects, In Research Directions in Object-Oriented Programming, B. Shriver, P. Wegner (eds.), MIT Press.
Kowalski R., and Sergot, M. 1986. A Logic-based Calculus of Events, New Generation Computing, 4, 1, pp.67–95.
Koymans, R. 1990. Specifying real-time properties with metric temporal logic, Realtime Systems, 2, 4, pp.255–299.
Lamport, L. 1994. The temporal logic of actions. ACM Trans. on Programming Languages and Systems, 16, 3, pp. 872–923.
Milner, R. 1989. Communication and Concurrency, Prentice Hall.
Pratt, V. 1986. Modeling concurrency with partial orders, International Journal of Parallel Programming, 1(15):33–71.
Ramirez, R. 1995. Declarative concurrent object-oriented programming in Tempo++. In Proceedings of the ICLP’95 Workshop on Parallel Logic Programming Japan, T. Chikayama, H. Nakashima and E. Tick (Ed.).
Ramirez, R. 1996. A logic-based concurrent object-oriented programming language, PhD thesis, Bristol University.
Ramirez, R. 1996. Concurrent object-oriented programming in Tempo++. In Proceedings of the Second Asian computing Science Conference (Asian’96), Singapore. LNCS 1179, pp. 244–253. Springer-Verlag
Saraswat V. 1993. Concurrent constraint programming languages, PhD thesis, Carnegie-Mellon University, 1989. Revised version appears as Concurrent constraint programming, MIT Press, 1993.
Saraswat V. 1993 et al. Programming in timed concurrent constraint languages. In Constraint Programming — Proceedings of the 1993 NATO ACM Symposium, pp. 461–410. Springer-Verlag.
Smolka, G. 1995. The Oz programming model, Lecture Notes in Computer Science Vol. 1000, Springer-Verlag, pp.324–243.
Ueda, K. and Chikayama, T. 1990. Design of the kernel language for the parallel inference machine. Computer Journal 33, 6, pp.494–500.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ramirez, R. (1998). Representing and executing real-time systems. In: Pritchard, D., Reeve, J. (eds) Euro-Par’98 Parallel Processing. Euro-Par 1998. Lecture Notes in Computer Science, vol 1470. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0057863
Download citation
DOI: https://doi.org/10.1007/BFb0057863
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64952-6
Online ISBN: 978-3-540-49920-6
eBook Packages: Springer Book Archive