Detail publikace

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

DVOŘÁK, V. Executable System-Level Specifications of HW/SW Architecture for Embedded Multiprocessor Systems. Proceedings of the Joint Workshop on Formal Specifications of Computer-Based Systems, 2002. Stirling: University of Stirling, 2002. p. 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
anglicky
Autoři
Dvořák Václav, prof. Ing., DrSc.
Klíčová slova

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

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