On the specification of real-time systems using logic programming
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.
Keywords and PhrasesReal-time system software development environment logic theory meta-theory theorem proving logic programming Prolog temporal logic dynamic systems formal verification testing specifications rapid prototyping
Unable to display preview. Download preview PDF.
- [All 84]Allen, J.F. "Towards a General Theory of Action and Time", Artificial Intelligence 23, pp. 123–154, 1984.Google Scholar
- [A&K 86]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.Google Scholar
- [C&M 81]Clocksin, W.F., Mellish, C.S. Programming in Prolog, Springer-Verlag, New York, NY, 1981.Google Scholar
- [F&S 84]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.Google Scholar
- [G&G 86]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.Google Scholar
- [G&J 87]Ghezzi, C., Jazayeri, M. Programming Language Concepts, J. Wiley & Sons, New York, 2nd Edition, 1987.Google Scholar
- [G&M 86]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.Google Scholar
- [Kow 79]Kowalski, R. Logic for Problem Solving, Elsevier North-Holland, New York, 1979.Google Scholar
- [K&S 85]Kowalski, R., Sergot, M. A Logis Based Calculus of Events, Int. Rep. Dept. of Computing, Imperial College, London, Nov. 1985.Google Scholar
- [Llo 84]Lloyd, J.W. Foundations of Logic Programming, Springer-Verlag, New York, 1984Google Scholar
- [M&P 83]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.Google Scholar
- [Sad 86]Sadri, F. Representing and Reasoning About Time and Events: Three Recent Approaches, Int. Rep. Dept. of Computing, Imperial College, London, Jan. 1986.Google Scholar
- [S&G 86]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.Google Scholar
- [Som 86]Sommerville, I. Software Engineering, Addison Wesley, Englewood Cliffs, NJ, 2nd Edition, 1986.Google Scholar
- [Tur 84]Turner, R. Logics for Artificial Intelligence, Ellis Horwood Ltd., Chichester, WS, Great Britain, 1984.Google Scholar
- [Wir 77]Wirth, N. "Toward a Discipline of Real-Time Programming," Comm.ACM 20-8, 577–583, Aug. 1977.Google Scholar