Abstract
In this paper we motivate the need for applying logic programming to the specification of real-time systems, i.e., systems which must react to external asynchronous stimuli within strict time bounds.
Our ultimate goal is to develop a methodology and an environment to support specification, design, and validation of such time critical systems. To set a firm step in this direction, we describe here the lessons learned in the application of logic programming to a real-world case study.
Work supported by CNR-CSISEI and MPI 40%.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Allen, J.F. "Towards a General Theory of Action and Time", Artificial Intelligence 23, pp. 123–154, 1984.
Auernheimer, B., Kemmerer, R.A. "RT-ASLAN: A Specification Language for Real-Time Systems", IEEE Trans. on Software Engineering SE-12, n.9, Sept. 1986.
Clocksin, W.F., Mellish, C.S. Programming in Prolog, Springer-Verlag, New York, NY, 1981.
Futo I., Szeredi J., System Simulation and Cooperative problem Solving on a prolog basis, in Implementatio of Prolog, Campbell ed., Ellis Horwood Publication, distributed by John Wiley & Sons, New York, 1984.
Garzotto F., Ghezzi C., Mandrioli D., Morzenti A., An Exercise on the Specification of Real-Time Systems Using Logic Programming, Int. Rep. 86_031, Dipartimento di Elettronica Politecnico di Milano, 1986.
Ghezzi, C., Jazayeri, M. Programming Language Concepts, J. Wiley & Sons, New York, 2nd Edition, 1987.
Ghezzi, C., Mandrioli, D. On Eclecticism in Specifications: A Case Study Centered Around Petri Nets, Int. Rep. Dipartimento di Elettronica Politecnico di Milano 1986, to appear in Proc. 4th Int.l Workshop on Software Specification and Design, Monterey, April 1987.
Kowalski, R. Logic for Problem Solving, Elsevier North-Holland, New York, 1979.
Kowalski, R., Sergot, M. A Logis Based Calculus of Events, Int. Rep. Dept. of Computing, Imperial College, London, Nov. 1985.
Lloyd, J.W. Foundations of Logic Programming, Springer-Verlag, New York, 1984
Manna, Z., Pnueli, A. Proving Precedence Properties: The Temporal Way, Proc. Conf. Automata, Languages and Programming, Lecture Notes in Computer Science 154, Springer-Verlag, 1983.
Sadri, F. Representing and Reasoning About Time and Events: Three Recent Approaches, Int. Rep. Dept. of Computing, Imperial College, London, Jan. 1986.
Skillicorn, D.B., Glasgow, J.I. A Real-Time Specification Using Lucid, Int. Rep. Dept. of Computing and Information Science, Queen's Univ., Kingston, Ontario, Canada, 1986.
Sommerville, I. Software Engineering, Addison Wesley, Englewood Cliffs, NJ, 2nd Edition, 1986.
Turner, R. Logics for Artificial Intelligence, Ellis Horwood Ltd., Chichester, WS, Great Britain, 1984.
Wirth, N. "Toward a Discipline of Real-Time Programming," Comm.ACM 20-8, 577–583, Aug. 1977.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Garzotto, F., Ghezzi, C., Mandrioli, D., Morzenti, A. (1987). On the specification of real-time systems using logic programming. In: Nichols, H., Simpson, D. (eds) ESEC '87. ESEC 1987. Lecture Notes in Computer Science, vol 289. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022111
Download citation
DOI: https://doi.org/10.1007/BFb0022111
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18712-7
Online ISBN: 978-3-540-48117-1
eBook Packages: Springer Book Archive