Detail publikace

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

Originální název

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

Anglický název

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

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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.

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