Skip to main content
SpringerLink
Log in

Dealing with different time granularities in formal specifications of real-time systems

  • Published:
Real-Time Systems Aims and scope Submit manuscript

Abstract

The article presents a formalization of the notion of time granularity within a logical language for specifying real-time systems. It provides the specifier with the ability of dealing with different time granularities within a single specification. That is, it allows the specifier to describe the behavior and the properties of a system and its environment with respect to different time scales and to switch among them in a suitable way. The extended logical formalism is then embedded in an object oriented structure that enhances both the expressive power and the executability of the specification language. With regard to expressiveness, it enables one to subdivide a single specification of the system and its environment into different part and to provide a number of specifications of them at different levels of abstraction, each one referring to a different time granularity. With regard to executability, it allows one to verify the consistency and the adequacy of specifications at each step of their incremental development. It also suggests an enlargement of the notions of verification and validation that takes into account the stratified structure of the object oriented specifications.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Auernheimer, B., Kemmerer, R. 1986. RT-ASLAN: A Specification Language for Real-Time Systems. IEEE TSE, vol. SE-12.

  • Bell, J., Machover, M. 1977. A Course in Mathematical Logic. Amsterdam: North-Holland.

    Google Scholar 

  • Ben-Ari, M., Pnueli, A., Manna, Z. 1983. The Temporal Logic of Branching Time. Acta Informatica.

  • Borgida, A., Greenspan, S., Mylopoulos, J. 1985. Knowledge Representation as the Basis for Requirements Specifications. IEEE Computer, vol. 18(4).

  • Brachman, R., J. 1983. What IS-A is and isn't: an Analysis of Taxonomic Links in Semantic Networks. IEEE Computer, vol. 16.

  • Brachman, R. J., Levesque, H., J. 1985. Readings in Knowledge Representation. San Mateo, CA: Morgan Kaufmann.

    Google Scholar 

  • Cohen, B., Harwood, W.T., Jackson, M.I. 1986. The specification of Complex Systems. Reading, MA: Addison-Wesley.

    Google Scholar 

  • Clifford, J., and Rao, A. 1988. In Temporal Aspects in Information Systems, Rolland, C., Bodart, F., and Leonard, M. (eds.) North-Holland: Elsevier Science Publishers B.V. IFIP.

    Google Scholar 

  • Corsetti, E., Meda, R., Montanari, A., Ratto, E. 1989. An Object-Oriented Framework Based on a Logic Formalism for an Execultable Specification of Real-Time Systems. AICA Working Days on Temporal Validation of Real-Time Software, Napoli-Portici.

    Google Scholar 

  • Corsetti, E., Montanari, A., Ratto, E. 1989. SPES: Strumenti di Specifica per Software di Tipo Concorrente e Real-Time. Attivita' 1989. Topical Report, CISE.

  • Corsetti, E., Montanari, A., Ratto, E. 1990. A Methodology for an Incremental, Logical Specification of Real-Time Systems. Proc. 2nd IEEE Euromicro Workshop on Real-Time Systems, Horsholm, Denmark.

  • Corsetti, E., Montanari, A., Ratto, E. 1990. A Methodology for Real-Time System Specifications based on Knowledge Representation. Proc. 3rd Computational Intelligence, Milano, Italy.

  • Fum, D., Guida, G., Montanari, A., Tasso, C. 1989. Using Levels and Viewpoints in Text Representation. Proc. 5th AIICSR, Strbske Pleso, Czechoslovakia.

  • Ghezzi, C., Mandrioli, D. Morzenti, A. 1990. TRIO, a Logic Language for Executable Specifications of Real-Time Systems. The Journal of Systems and Software.

  • Hayes, P.J., Allen, J.F. 1987. Short Time Periods. Proc. 10th IJCAI, Milano.

  • Hendrix, G. 1975. Expanding the Utility of the Semantic Networks Through Partitioning. Proc. 4th IJCAI, Tbilisi (USSR).

  • Hobbs, J.R. 1985. Granularity. Proc. 9th IJCAI, Los Angeles.

  • Jahanian, F., Mok, A.K. 1986. Safety Analysis of Timing Properties of Real-Time Systems. IEEE TSE, vol. SE-12.

  • Kim, W., Banerjee, J., Chou, H., Garza, J. Woelk, D. 1987. Composite Object Support in an Object Oriented Database System. Proc. OOPSLA.

  • Koymans, R., deRoever, W.P. 1985. Examples of Real-Time Temporal Logic Specifications. LNCS 207, New York, Berlin: Springer-Verlag.

    Google Scholar 

  • Kowalski, R.A. 1985. The Relation Between Logic Programming and Logic Specification. In Mathematical Logic and Programming Languages, (Hoare, C.A.R., Shepherdson, J.C. eds.), Englewood Cliffs, NJ: Prentice-Hall.

    Google Scholar 

  • Kroger, F. 1987. Temporal Logic of Programs. EATCS Monographs on Theoretical Computer Science, New York, Berlin: Springer-Verlag.

    Google Scholar 

  • Koymans, R., Vytopil, de Roever, W.P. 1983. Real-Time Programming and Asynchronous Message Passing. Proc. 2nd Annual ACM Symposium on Principles of Distributed Computing, Montreal, Canada.

  • Lloyd, J.W. 1987. Foundations of Logic Programming, New York-Berlin: Springer-Verlag.

    Google Scholar 

  • Minski, M. 1975. A Frameword for Representing Knowledge, The Psychology of Computer Vision (Winston, P. ed.) New York: McGraw-Hill.

    Google Scholar 

  • Meda, R., Morzenti, A., Ratto, E., Roncato, M. 1989. Un Ambiente per la Specifica di Sistemi in Tempo Reale basato su un Formalismo Logico. Proc. 4th GULP, Bologna.

  • Morzenti, A. 1989. The Specification of Real-Time Systems: Proposal of a Logical Formalism. Ph.D. Thesis, Dipartimento di Elettronica, Politecnico di Milano.

  • Morzenti, A., Ratto, E., Roncato, M., Zoccolante, L. 1989. TRIO, a Logic Formalism for the Specification of Real-Time Systems. Proc. IEEE Euromicro Workshop on Real-Time Systems 1989, Como, Italy.

  • Popper, K. 1959. The Logic of Scientific Discovery. London: Routledge and Kegan Paul.

    Google Scholar 

  • Pnueli, A. 1981. The Temporal Semantics of Concurrent Programs, Theoretical Computer Science 13, North-Holland.

  • Rescher, N., Urquhart, A. 1981. Temporal Logic. Wien-New York: Springer-Verlag.

    Google Scholar 

  • Shriver, B., Wegner, P. 1987. Research Directions in Object-Oriented Programming. Cambridge, MA: MIT Press.

    Google Scholar 

  • Schubert, L., K., Papalaskaris, M.A., Taugher, J. Determining Type, Part, Color and Time Relationships. IEEE Computer, vol. 16.

  • Ullman, J.D. 1987. Database Theory: Past and Future. Proceedings 2nd ACM Symp. on the Principles of Database Systems.

  • Winston, M., E., Chaffin, R., Herrmann, D. 1987. A Taxonomy of Part-Whole Relations. Cognitive Science, 11.

  • Wirth, N. 1977. Towards a Discipline in Real-Time Programming. Comm. ACM 20-8.

  • Wolper, P. 1983. Temporal Logic Can Be More Expressive. Information and Control, 56.

Download references

Author information

Authors and Affiliations

  1. CISE-Tecnologie Innovative, SPA, Via Reggio Emilia, 39-20090, Segrate (Milano), Italy

    Edoardo Corsetti, Angelo Montanari & Elena Ratto

Authors
  1. Edoardo Corsetti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Angelo Montanari
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Elena Ratto
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Corsetti, E., Montanari, A. & Ratto, E. Dealing with different time granularities in formal specifications of real-time systems. The Journal of Real-Time Systems 3, 191–215 (1991). https://doi.org/10.1007/BF00365335

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00365335

Keywords

Search

Navigation