Publication Details

Executable System-Level Specifications of HW/SW Architecture for Embedded Multiprocessor Systems

DVOŘÁK Václav. Executable System-Level Specifications of HW/SW Architecture for Embedded Multiprocessor Systems. In: Proceedings of the Joint Workshop on Formal Specifications of Computer-Based Systems, 2002. Stirling: University of Stirling, 2002, pp. 65-70. ISBN 1-85769-169-5.
Czech title
Proveditelné specifikace architektury HW/SW vestavěných multiprocesorů na systémové úrovni
Type
conference paper
Language
english
Authors
Dvořák Václav, prof. Ing., DrSc. (DCSY FIT BUT)
Keywords

performance-oriented specifications, multiprocessor simulation, parallel embedded systems, performance prediction

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.

Published
2002
Pages
65-70
Proceedings
Proceedings of the Joint Workshop on Formal Specifications of Computer-Based Systems, 2002
Conference
IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Lund, SE
ISBN
1-85769-169-5
Publisher
University of Stirling
Place
Stirling, GB
BibTeX 
@INPROCEEDINGS{FITPUB6901,
   author = "V\'{a}clav Dvo\v{r}\'{a}k",
   title = "Executable System-Level Specifications of HW/SW Architecture for Embedded Multiprocessor Systems",
   pages = "65--70",
   booktitle = "Proceedings of the Joint Workshop on Formal Specifications of Computer-Based Systems, 2002",
   year = 2002,
   location = "Stirling, GB",
   publisher = "University of Stirling",
   ISBN = "1-85769-169-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6901"
}
Back to top