Článek ve sborníku konference

 
Dvořák, V.: 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, GB, US, 2002, s. 65-70, ISBN 1-85769-169-5
Jazyk publikace:angličtina
Název publikace:Executable System-Level Specifications of HW/SW Architecture for Embedded Multiprocessor Systems
Název (cs):Proveditelné specifikace architektury HW/SW vestavěných multiprocesorů na systémové úrovni
Strany:65-70
Sborník:Proceedings of the Joint Workshop on Formal Specifications of Computer-Based Systems, 2002
Konference:IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
Místo vydání:Stirling, GB
Rok:2002
ISBN:1-85769-169-5
Vydavatel:University of Stirling
Klíčová slova
performance-oriented specifications, multiprocessor simulation, parallel embedded systems, performance prediction
Anotace
Článek se zabývá problémem předběžného modelování a simulace paralelních vestavěných aplikací na systémové úrovni orientovaného na určení výkonnosti. Simulační nástroj Transim založený na CSP, původně zamýšlený pro simulaci architektur se zasíláním zpráv, se ukázal jako velmi vhodný při hledání optimálních architektur HW/SW v mnohem širší oblasti aplikací.  Konkrétně byl přesměrován na architektury se sdílenou pamětí a sběrnicí.  Zpracování formálního popisu architektury systému, komunikací i sw modulů a jejich mapování na hw vede přímo k výkonnostním ukazatelům.  Technika je demonstrována na generické architektuře hybridní linky/farmy vhodné pro vestavěné aplikace a na malém svazku SMP. 
BibTeX:
@INPROCEEDINGS{
   author = {Václav Dvořá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}
}