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

English Title

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

Type

conference paper

Language

en

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.

English 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

RIV year

2002

Released

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

Documents

BibTex


@inproceedings{BUT9825,
  author="Václav {Dvořák}",
  title="Executable System-Level Specifications of HW/SW Architecture for Embedded Multiprocessor Systems",
  annote="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.",
  address="University of Stirling",
  booktitle="Proceedings of the Joint Workshop on Formal Specifications of Computer-Based Systems, 2002",
  chapter="9825",
  institution="University of Stirling",
  year="2002",
  month="april",
  pages="65--70",
  publisher="University of Stirling",
  type="conference paper"
}