Přístupnostní navigace
E-application
Search Search Close
Publication detail
DVOŘÁK, V.
Original Title
Executable System-Level Specifications of HW/SW Architecture for Embedded Multiprocessor Systems
Type
conference paper
Language
English
Original Abstract
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.
Keywords
performance-oriented specifications, multiprocessor simulation, parallel embedded systems, performance prediction
Authors
RIV year
2002
Released
23. 4. 2002
Publisher
University of Stirling
Location
Stirling
ISBN
1-85769-169-5
Book
Proceedings of the Joint Workshop on Formal Specifications of Computer-Based Systems, 2002
Pages from
65
Pages to
70
Pages count
6
BibTex
@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" }