Detail publikace

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, s. 65-70. ISBN 1-85769-169-5.
Název česky
Proveditelné specifikace architektury HW/SW vestavěných multiprocesorů na systémové úrovni
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Dvořák Václav, prof. Ing., DrSc. (UPSY FIT VUT)
Abstrakt

Č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. 

Rok
2002
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, Lund, SE
ISBN
1-85769-169-5
Vydavatel
University of Stirling
Místo
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"
}
Nahoru