Modeling Communication with Synchronized Environments

• Autorzy: Seceleanu T. , Jantsch A.
• Języki publikacji: EN

Abstrakty

EN

A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability. The compatibility of the selected components may become a problem even at abstract design levels, due to possible different degrees of model determinacy, possible different execution models, etc. In this cases, an overall deterministic system behavior is difficult to achieve. The development of communication mechanisms between such components will have then to accommodate the differences, so that both correct processing and information exchange (data and control, appropriate choices and relative timing or sequencing) are achieved. For instance, human-machine interaction offers a good example of cooperation between deterministic models (machines) communicating with highly non-deterministic counterparts (the human models, if not restricted). We analyze here such communication mechanisms by "confronting" synchronized and un-synchronized models of execution, in the framework of action systems, a state based formalism. We "force" the two models to coexist within the same context and explore the possibilities of building trustworthy communication channels between them. We base our approach on a combined polling - interrupt scheme, which allows us to mitigate communication issues that may otherwise compromise the correct input-output system behavior. More robust system models are obtained by applying specific correctness rules of refinement. We illustrate our methods on an audio system example, implementable as either a software or a hardware device.

Słowa kluczowe

EN

system modeling; synchronized / interleaved communication; action system

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2008
• Tom: Vol. 86, nr 3
• Strony: 343--369
• Opis fizyczny: bibliogr. 27 poz., wykr.

Twórcy

autor

Seceleanu T.

autor

Jantsch A.

• University of Turku, Finland,

Bibliografia

• [1] P. Ashenden. The Designers Guide to VHDL - Second Edition. Morgan Kaufmann Publishers, 2002.
• [2] Protected Shared Variables in VHDL: IEEE Standard 1076a. IEEE Design & Test, Volume 16, Issue 4, pp: 74 - 83, 1999.
• [3] R. J. R. Back. Refinement Calculus, part II: Parallel and reactive programs. J.W. de Bakker,W.-P. de Roever, and G. Rozenberg. Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. LNCS vol. 430. Springer-Verlag, pp. 67-93, 1990.
• [4] R. J. R. Back, R. Kurki-Suonio. Distributed Cooperation with Action Systems. ACM Transactions on Programming Languages and Systems, Vol. 10, No. 4, pp. 513-554, 1988.
• [5] R.J.R. Back, K. Sere. Action Systems with Synchronous Communication. Programming Concepts, Methods and Calculi. In E.-R. Olderog. IFIP Trans. A-56, pp. 107-126, 1994.
• [6] R. J. R. Back, J. von Wright. Trace refinement of action systems. Proceedings of CONCUR-94, Springer-Verlag, 1994.
• [7] R. J. R. Back, J. von Wright. Refinement Calculus: A Systematic Introduction. Springer-Verlag, 1998.
• [8] R. J. R. Back and J. von Wright. Compositional Action System Refinement. Formal Aspects of Computing (2-3): 103-117 2003.
• [9] G. Berry. Real-time programming: special purpose or general purpose languages. Proceedings of the IFIP Congress, North-Holland, Amsterdam, 1989.
• [10] G. Berry. The Foundations of Esterel. Proof, Language and Interaction: Essays in Honour of Robin Milner, G. Plotkin, C. Stirling and M. Tofte, eds., MIT Press, 1998.
• [11] G. Berry, S. Ramesh, R.K. Shyamasundar. Communicating Reactive Processes. Proceedings of the 20th ACMSIGPLAN-SIGACT symposium on Principles of programming languages, Charleston, South Carolina, United States, 1993, pp: 85 - 98.
• [12] J. Borkowski. Interrupt and Cancellation as SynchronizationMethods. R. Wyrzykowski et al. (Eds.): PPAM 2001, LNCS 2328, pp. 3-9.
• [13] E. W. Dijkstra. A Discipline of Programming. Prentice-Hall International, 1976.
• [14] N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud. The synchronous dataflow programming language Lustre. Proceedings of the IEEE, 79(9):1305-1320, September 1991.
• [15] S.J. Hartley. Concurrent Programming Using Java. Oxford University Press, 1998.
• [16] C. Hawblitzel, T. von Eicken. Luna: a Flexible Java Protection System. USENIX Association: Proceedings of the 5th Symposium on Operating Systems Design and Implementation, 2002.
• [17] C.A.Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
• [18] E.C.Ifeachor, B.W.Jervis Digital Signal Processing Practical Approach. Addison Wesley Publishing Company, 1997.
• [19] A. Jantsch. Modeling Embedded Systems and SoCs - Concurrency and Time in Models of Computation. Systems on Silicon. Morgan Kaufmann Publishers, June 2003.
• [20] R.M. Keller. Towards a theory of speed independent modules. IEEE Transactions on Computers, C-23(1):2133, Jan. 1974.
• [21] S. Marlow at al. Asynchronous Exceptions in Haskell. Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, 2001, pp. 274-285.
• [22] P. Raymond, D. Weber, X. Nicollin, N. Halbwachs. Automatic testing of reactive systems. In 19th IEEE RealTime Systems Symposium,Madrid, Spain, December 1998.
• [23] A. Rudys, D. S. Wallach. Termination in Language-Based Systems. ACM Transactions on Information and System Security Vol. 5, Issue 2, 2002, pp. 138-168.
• [24] I. Sander and A. Jantsch. System modeling and transformational design refinement in ForSyDe. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 23(1):17-32, January 2004.
• [25] C. Cerschi Seceleanu, T. Seceleanu. SynchronizationCan Improve Reactive Systems Control andModularity. Journal of Universal Computer Science (J.UCS), Vol. 10, Nr. 10, 2004, pp. 1429 - 1468.
• [26] T. Seceleanu, D. Garlan. Developing Adaptive Systems with Synchronized Architectures. The Journal of Systems and Software 79 (2006) 15141526.
• [27] E. Sekerinski, K. Sere. A Theory of Prioritized Composition. The Computer Journal, VOL. 39, No 8, pp. 701-712. University Press.