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

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.

[1]  Aloysius K. Mok,et al.  Safety analysis of timing properties in real-time systems , 1986, IEEE Transactions on Software Engineering.

[2]  Patrick J. Hayes,et al.  Short Time Periods , 1987, IJCAI.

[3]  Peter Øhrstrøm,et al.  Temporal Logic , 1994, Lecture Notes in Computer Science.

[4]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[5]  Gary G. Hendrix,et al.  Expanding the Utility of Semantic Networks Through Partitioning , 1975, IJCAI.

[6]  Mordechai Ben-Ari,et al.  The temporal logic of branching time , 1981, POPL '81.

[7]  Fred Krögr.  Temporal Logic Of Programs , 1987 .

[8]  Amir Pnueli.  The Temporal Semantics of Concurrent Programs , 1981, Theor. Comput. Sci..

[9]  Ronald J. Brachman,et al.  What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks , 1983, Computer.

[10]  Angelo Montanari,et al.  A methodology for an incremental, logical specification of real-time systems , 1990, Proceedings. EUROMICRO '90 Workshop on Real Time.

[11]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[12]  John Mylopoulos,et al.  Knowledge Representation as the Basis for Requirements Specifications , 1985, Computer.

[13]  Bruce D. Shriver,et al.  Research Directions in Object-Oriented Programming , 1987 .

[14]  W. T. Harwood,et al.  The specification of complex systems , 1986 .

[15]  John L. Bell,et al.  A course in mathematical logic , 1977 .

[16]  Richard A. Kemmerer,et al.  RT-ASLAN: A specification language for real-time systems , 1986, IEEE Transactions on Software Engineering.

[17]  Jeffrey D. Ullman,et al.  Database theory—past and future , 1987, PODS.

[18]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[19]  Elena Ratto,et al.  TRIO, a logic formalism for the specification of real-time systems , 1989, [1989] Proceedings. EUROMICRO Workshop on Real Time.

[20]  Willem P. de Roever,et al.  Real-time programming and asynchronous message passing , 1983, PODC '83.

[21]  Pierre Wolper.  Temporal Logic Can Be More Expressive , 1983, Inf. Control..

[22]  M. Kendall,et al.  The Logic of Scientific Discovery. , 1959 .

[23]  Willem P. de Roever,et al.  Examples of a Real-Time Temporal Logic Specification , 1983, The Analysis of Concurrent Systems.

[24]  R. Kowalski,et al.  The relation between logic programming and logic specification , 1984, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.

[25]  Lenhart K. Schubert,et al.  Determining Type, Part, Color, and Time Relationships , 1983, Computer.

[26]  Jay Banerjee,et al.  Composite object support in an object-oriented database system , 1987, OOPSLA '87.

[27]  Jay Banerjee,et al.  Composite object support in an object-oriented database system , 1987, OOPSLA 1987.

[28]  Niklaus Wirth,et al.  Toward a discipline of real-time programming , 1977, CACM.

[29]  Carlo Ghezzi,et al.  TRIO: A logic language for executable specifications of real-time systems , 1990, J. Syst. Softw..

[30]  Douglas Herrmann,et al.  A Taxonomy of Part-Whole Relations , 1987, Cogn. Sci..

[31]  Gary James Jason,et al.  The Logic of Scientific Discovery , 1988 .