Conference paper

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.
Publication language:english
Original title:Executable System-Level Specifications of HW/SW Architecture for Embedded Multiprocessor Systems
Title (cs):Proveditelné specifikace architektury HW/SW vestavěných multiprocesorů na systémové úrovni
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
Place:Stirling, GB
Year:2002
ISBN:1-85769-169-5
Publisher:University of Stirling
Keywords
performance-oriented specifications, multiprocessor simulation, parallel embedded systems, performance prediction
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=6901}
}

Your IPv4 address: 54.158.55.5
Switch to IPv6 connection

DNSSEC [dnssec]