Abstract
An embedded system is in constant interaction with its environment. It can consist of several, possibly distributed, components communicating with each other using interfaces. Collective behaviour between the system and its environment may be nondeterministic or random, and can include continuous quantities. The effects of the collective behaviour to the architecture of the system are non-obvious and should be considered before defining the interfaces between system components. This calls for methods capable of expressing complex collective behaviour and providing proper structuring of complex specifications. In this paper we discuss such capabilities in conjunction with the DisCo method.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35409-5_23
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Aaltonen, T., Katara, M., Pitkänen, R. (2000). Verifying real-time joint action specifications using timed automata. In 16 6 World Computer Congress 2000, Proc. Conference on Software: Theory and Practice,pp. 516–525, Beijing, China, August 2000. IFIP.
DisCo (1999). The DisCo project WWW page. At URL http://disco.cs.tut.fi1999.
Back, R.J.R, Kurki-Suonio, R. (1988). Distributed cooperation with action systems. ACM Transactions on Programming Languages and Systems, 10 (4): 513–554, October 1988.
Back, R.J.R., Kurki-Suonio, R. (1989). Decentralization of process nets with centralized control. Distributed Computing, 3: 73–87, 1989.
Järvinen, H.-M., Kurki-Suonio, R., Sakkinen, M., Systä, K. (1990). Object-oriented specification of reactive systems. In Proc. 12 1h International Conference on Software Engineering, pp. 63–71 IEEE Computer Society Press, 1990.
Katara, M. (2000). Hybrid models for mobile computing. In Proc. COORDINATION 2000, number 1906 in LNCS, pp. 216–231. Springer-Verlag, 2000.
Kellomäki, P. (1997). Verification of reactive systems using DisCo and PVS. In FME’97: Industrial Applications and Strengthened Foundations of Formal Methods, number 1313 in LNCS, pp. 589–604. Springer-Verlag, 1997.
Kurki-Suonio, R. (1993). Hybrid models with fairness and distributed clocks. In Hybrid Systems, number 736 in LNCS, pp. 103–120. Springer-Verlag, 1993.
Kurki-Suonio R., Katara, M. (1999). Logical layers in specifications with distributed objects and real time. Computer Systems Science Engineering, 14 (4): 217–226, July 1999.
Kurki-Suonio R., Mikkonen, T. (1998). Liberating object-oriented modeling from programming-level abstractions. Object-Oriented Technology, ECOOP ‘87 Workshop Reader, number 1357 in LNCS, pp. 195–199. Springer-Verlag, 1998.
Kurki-Suonio, R., Mikkonen, T. (1999). Harnessing the power of interaction. In Information Modelling and Knowledge Bases X, pp. 1–11. IOS Press, 1999.
Lamport, L. (1994). The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16 (3): 872–923, May 1994.
Maibaum, T. (2000). Mathematical foundations of software engineering: a roadmap. In Future of Software Engineering, pp. 163–172. ACM, 2000.
Mikkonen, T. (1999). Abstractions and Logical Layers in Specifications of Reactive Systems. Doctoral dissertation. Tampere University of Technology, 1999.
Ross, S.M. (1997). Introduction to Probability Models. Academic Press, sixth edition, 1997. Systä, K. (1991). A graphical tool for specification of reactive systems. In Proc. Euromicro ‘81 Workshop on Real-Time Systems, pp. 12–19, Paris, France, June 1991 IEEE Computer Society Press.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Katara, M., Luoma, A. (2001). Environment Modelling in Closed Specifications of Embedded Systems. In: Kleinjohann, B. (eds) Architecture and Design of Distributed Embedded Systems. DIPES 2000. IFIP — The International Federation for Information Processing, vol 61. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35409-5_14
Download citation
DOI: https://doi.org/10.1007/978-0-387-35409-5_14
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-4535-1
Online ISBN: 978-0-387-35409-5
eBook Packages: Springer Book Archive