Hierarchical Integrated Simulation Techniques for the Design of Embedded Systems

this paper we present a modelling and simulation language for the design of those systems. The main elements of this language are the HiFAQ's (Hierarchical Functional Augmented Queuing Networks). HiFAQ's consist of three layers: the transformatorial, the reactive and the architectural layer. Elements of the HiFAQ's are functional and architectural model elements. Each element is associated to one of the three layers. After the interfaces between the layers are defined, the layers can be modelled seperately. Depending on the point of view, one gets a transformatorial functional view, a reactive functional view or an architectural/resource oriented view. Through mapping of the functional models onto the architectural models the effects of architecture modifications are unveiled via simulation. Within a HiFAQ the reactive elements are represented by extended finite state machines, and the transformatorial layer's elements are described via difference /differential equations. The architecture is modelled by transaction/resource models. These elements themselves allow the classcial stepwise refinement approach for each layer. A HiFAQ Model defines the following couplings