Publication detail

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

DVOŘÁK, V.

Original Title

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

Type

article in a collection out of WoS and Scopus

Language

English

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

Keywords

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

Authors

DVOŘÁK, V.

RIV year

2002

Released

23. 4. 2002

Publisher

University of Stirling

Location

Stirling

ISBN

1-85769-169-5

Book

Proceedings of the Joint Workshop on Formal Specifications of Computer-Based Systems, 2002

Pages from

65

Pages to

70

Pages count

6

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"
}