Titlebook: Architecture and Design of Distributed Embedded Systems; IFIP WG10.3/WG10.4/W Bernd Kleinjohann Book 2001 IFIP International Federation for

monologue

Generic Architecture Platform for Multiprocessor System-on-Chip Designutomatic architecture generation. This chapter focuses on the definition of the architecture model. The feasibility and effectiveness of this architecture model are illustrated by a significant demonstration example.

等待

抵制

Environment Modelling in Closed Specifications of Embedded Systemsfaces 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.

1FAWN

Deriving Message Passing Protocols from Collective Behavioructure and abstractions present at the high level of design have been lost. Recovering abstractions can be quite expensive, necessitating the formulation and verification of large strengthening invariants.