Conclusions
In this chapter we applied Action Systems formalism to the specification and refinement of communication channels between digital system components, within the larger concept of platform-based design. Issues such as abstraction level — reflected in the representation of the communication channels, and asynchronous as well as synchronous communication schemes were addressed. The refinement techniques were used to correctly transform the initial abstract specification into a more concrete form, closer to implementation level.
While the communication platform was analyzed in more detail, the actual computation units were only viewed as communication partners. Hence, their individual internal behavior can be analyzed and specified later, as a separate refinement process that preserves the external behavior established earlier.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
K. Keutzer, S. Malik, R. Newton, J. Rabaey, and A. L. Sangiovanni-Vincentelli. System Level Design: Orthogonalization of Concerns and Platform-Based Design. IEEE Trans. on CAD, 2000.
J. Plosila. Self-Timed Circuit Design — The Action Systems Approach. Ph.D. Thesis, University of Turku, Finland, 1999.
T. Seceleanu. Systematic Design of Synchronous Digital Circuits. Ph.D. Thesis, Åbo Akademi, Turku, Finland, 2001.
R. J. R. Back, R. Kurki-Suonio. Decentralization of Process Nets with Centralized Control. Proc. of the 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, p. 131–142, 1983.
R.-J. R. Back, J. von Wright. Trace Refinement of Action Systems. In B. Jonsson and J. Parrow, ed., CONCUR’94: Concurrency Theory, 5th International Conference, LNCS, vol. 836. Springer-Verlag, 1994.
E. Sekerinski, K. Sere. A Theory of Prioritizing Composition. The Computer Journal, VOL. 39, No 8, pp. 701–712. The British Computer Society. Oxford University Press.
E. W. Dijkstra. A Discipline of Programming. Prentice-Hall International, 1976.
R. J. R. Back, J. von Wright. Refinement calculus: A Systematic Introduction. Springer-Verlag. April 1998.
R. J. R. Back. A Calculus of Refinements for Program Derivations. Acta Informatica, 26(6), p. 593–624, 1988.
A. Peeters. Single-Rail Handshake Circuits. PhD Thesis, Eindhoven University of Technology, The Netherlands, 1996.
ARM Limited. AMBA Specification (Rev 2.0), 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer Science + Business Media, Inc.
About this chapter
Cite this chapter
Plosila, J., Seceleanu, T., Sere, K. (2005). Formal Communication Modeling and Refinement. In: Nurmi, J., Tenhunen, H., Isoaho, J., Jantsch, A. (eds) Interconnect-Centric Design for Advanced SoC and NoC. Springer, Boston, MA. https://doi.org/10.1007/1-4020-7836-6_12
Download citation
DOI: https://doi.org/10.1007/1-4020-7836-6_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-7835-4
Online ISBN: 978-1-4020-7836-1
eBook Packages: EngineeringEngineering (R0)