Environment modelling in closed specifications of embedded systems

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 methads 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 methad. © 2001 by Springer Science+Business Media New York.