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.
On the specification of real-time systems using logic programming
GARZOTTO, FRANCA;GHEZZI, CARLO;MANDRIOLI, DINO;MORZENTI, ANGELO CARLO
1987-01-01
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.