Publication Details
Executable System-Level Specifications of HW/SW Architecture for Embedded Multiprocessor Systems
performance-oriented specifications, multiprocessor simulation, parallel embedded systems, performance prediction
The paper addresses the problem of preliminary system level modeling and simulation of parallel embedded applications oriented to performance estimation. A CSP-based simulation tool Transim, originally intended for simulating message-passing architectures, proved to be very useful in quest for optimum HW/SW architectures in much wider area of applications. Particularly, it has been retargeted for shared memory architectures with a bus. Processing of a formal description of a system architecture, communication as well as software modules and their mapping onto hardware leads directly to performance figures. The technique is demonstrated on the generic hybrid pipeline/farm architecture suitable for embedded tasks and on a small cluster of SMPs.
@inproceedings{BUT9825,
author="Václav {Dvořák}",
title="Executable System-Level Specifications of HW/SW Architecture for Embedded Multiprocessor Systems",
booktitle="Proceedings of the Joint Workshop on Formal Specifications of Computer-Based Systems, 2002",
year="2002",
pages="65--70",
publisher="University of Stirling",
address="Stirling",
isbn="1-85769-169-5"
}