Environment Modelling in Closed Specifications of Embedded Systems

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.