Abstract
Due to the many possible interactions with an ever changing environment, combined with stringent requirements regarding temporal behaviour, robustness, availability, and maintainability, large-scale embedded systems are very complex in their design. Coordination models offer the potential of separating functional requirements from other aspects of system design. In this paper we present a software architecture for large-scale embedded systems that incorporates an explicit coordination model. Conceptually the coordination model consists of application processes that interact through a shared data space - no direct interaction between processes is possible. Starting from this relatively simple model we derive successive refinements of the model to meet the requirements that are typical for large-scale embedded systems. The software architectture has been applied in the development of commercially available command-and-control, and traffic management systems. Experience confirms that due to the resulting very high degree of modularity and maximal independence between modules, these systems are relatively easy to develop and integrate in an incremental way. Moreover, distribution of processes and data, fault-tolerant behaviour, graceful degradation, and dynamic reconfiguration are directly supported by the architecture.
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
Banatre, J.-P., Le Metayer, D.: Programming by Multiset transformation. Communications of the ACM, Vol. 36(1993) 98–111
Bergstra, J., Klint, P.: The discrete time ToolBus-A software coordination architecture. Science of Computer Programming, Vol 31 (1998) 205–229
Boasson, M.: Control Systems Software, IEEE Transactions on Automatic Control. Vol. 38(1993) 1094–1107
Boasson, M.: Complexity may be our own fault. IEEE Software(1993)
Boasson, M.: Software Architecture special issue (guest editor). IEEE Software 1(995)
Boasson, M., Mouaddib, A.: Comparison of two solutions to a reactive planning problem. Proc. of Avignon (1994)
Carriero, N., Gelernter, D.: Linda in Context. Communications of the ACM, Vol. 32 (1989) 444–458
Dechering, P. et al: Formalization of a Software Architecture for Embedded Systems: a Process Algebra for SPLICE. To appear
Dijkstra, E.W.: A Discipline of Programming. Prentice Hall(1976)
Garlan, D., Le Metayer, D. (Eds.): Coordination Languages and Models. Lecture Notes in Computer Science Vol. 1282 (1997)
Gelernter, D., Carriero, N.: Coordination Languages and their Significance. Communications of the ACM, Vol. 35(1992) 97–107
Hoare, C.A.R.: Communicating Sequential Processes, Prentice Hall(1985)
Hoare, C.A.R., Jifeng, H.: Unifying Theories of Programming. Prentice Hall(1998)
Jackson, K., Boasson, M.: The importance of good architectural style. Proc. of the workshop of the IEEE TF on Engineering of Computer Based Systems, Tucson (1995)
Josephs, M.B.: Receptive Process Theory. Acta Informatica 29(1992) 17–31
Josephs, M.B., Udding, J.T.: An Overview of DI Algebra. In Proc. of the 26th Annual Hawaii Int. Conf. on System Sciences. IEEE CS Press (1993) 329–338
Milner, R.: Communication and Concurrency. Prentice Hall(1989)
Roman, G.-C., Cunningham, H.C.: Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency. IEEE Trans. of Software Engineering, Vol. 16(1990) 1361–1373
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boasson, M. (1998). Software Architecture for Distributed Reactive Systems. In: Rovan, B. (eds) SOFSEM’ 98: Theory and Practice of Informatics. SOFSEM 1998. Lecture Notes in Computer Science, vol 1521. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49477-4_1
Download citation
DOI: https://doi.org/10.1007/3-540-49477-4_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65260-1
Online ISBN: 978-3-540-49477-5
eBook Packages: Springer Book Archive