Interface models

ABSTRACT

This paper proposes a model for specifying interfaces between concurrently executing modules of a computing system. The model does not prescribe a particular type of communication protocol and is aimed at describing interfaces between both software and hardware modules or a combination of the two. The model describes both functional and timing properties of an interface.

REFERENCES

• 1: E. Brinksma. On the Design of Extended LOTOS. Technical University Twente, Holland, 1988. Dissertation.
• 2: K. Mani Chandy, Parallel program design: a foundation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1988
• 3: Zhou Chaochen, C. A. R. Hoare, and A. P. Ravn. A calculus of durations. Information Proc. Letters, 40(5), December 1991.
• 4: J. Dawes. The VDM-SL reference guide. Pitmann, 1991.
• 5: J. W. de Bakker, C. Huizing, W.-P. de Roever, and G. Rozenberg, editors. Real-Time: Theory in Practice, REX Workshop, volume 600 of LNCS. 1992.
• 6: M. R. Hansen, Z. Chaochen, and J. Staunstrup. A real-time duration semantics for circuits. In Proceedings TAU 1992 ACM/SIGDA Workshop on Timing Issues in Specification and Synthesis of Digital Systems, 1992. Princeton, NJ, March 18--20, 1992.
• 7: C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
• 8: IEEE, New York. VHDL Language Reference Manual, std 1076--1987 edition, 1988.
• 9: R. Inal. Modular specification of real-time systems. In Proc. 6th Euromicro Workshop on Real-Time Systems. IEEE Computer Society Press, 1994.
• 10: L. Lamport. The temporal logic of actions. Technical report, Digital Systems Research Center, 130 Lytton Avenue, Palo Alto, California 94301, USA, 25 December 1991.
• 11: R. Milner, Communication and Concurrency, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
• 12: B. Moszkowski. A temporal logic for multilevel reasoning about hardware. IEEE Computer, 18(2):10--19, 1985.
• 13: A. P. Ravn. Design of embedded real-time computing systems. Manuscript, May 1994.
• 14: A. P. Atlee , H. Gannon, Specifying and Verifying Requirements of Real-Time Systems, IEEE Transactions on Software Engineering, v.19 n.1, p.41-55, January 1993 [doi>10.1109/32.210306]
• 15: J. M. Spivey, The Z notation: a reference manual, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
• 16: Jorgen Staunstrup, A Formal Approach to Hardware Design, Kluwer Academic Publishers, Norwell, MA, 1994
• 17: Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, January 1992
• 18: Zhou Chaochen , Anders P. Ravn , Michael R. Hansen, An Extended Duration Calculus for Hybrid Real-Time Systems, Hybrid Systems, p.36-59, January 1993