Publication detail

Executable Specifications with Rapid Prototyping for Embedded Distributed Systems

ŠVÉDA, M.

Original Title

Executable Specifications with Rapid Prototyping for Embedded Distributed Systems

English Title

Executable Specifications with Rapid Prototyping for Embedded Distributed Systems

Type

conference paper

Language

en

Original Abstract

This contribution deals with an embedded distributed systems rapid prototyping method that employs hardware prototyping components and an executable specification language. Statements of such a language cover process management, timing and communication commands that are interpreted using the services of a real-time executive and a communication task located in each node prototype. The language is made executable by a technique that employs attribute grammars and either macroprocessor or Prolog-supported generation of software prototypes. Execution or interpretation of the expanded code embedded in reusable system components of the trial architecture provides final step of the method.

English abstract

This contribution deals with an embedded distributed systems rapid prototyping method that employs hardware prototyping components and an executable specification language. Statements of such a language cover process management, timing and communication commands that are interpreted using the services of a real-time executive and a communication task located in each node prototype. The language is made executable by a technique that employs attribute grammars and either macroprocessor or Prolog-supported generation of software prototypes. Execution or interpretation of the expanded code embedded in reusable system components of the trial architecture provides final step of the method.

Keywords

formal specification, prototyping, embedded systems, components, real time systems, communication protocols

RIV year

2003

Released

15.02.2003

Publisher

Elsevier Science

Location

Kidlington, Oxford

ISBN

0-08-044130-0

Book

Programmable Devices and Systems 2003

Edition

IFAC Proceedings, Pergamon

Pages from

49

Pages to

54

Pages count

6

Documents

BibTex


@inproceedings{BUT13783,
  author="Miroslav {Švéda}",
  title="Executable Specifications with Rapid Prototyping for Embedded Distributed Systems",
  annote="This contribution deals with an embedded distributed systems rapid prototyping method that employs hardware prototyping components and an executable specification language. Statements of such a language cover process management, timing and communication commands that are interpreted using the services of a real-time executive and a communication task located in each node prototype. The language is made executable by a technique that employs attribute grammars and either macroprocessor or Prolog-supported generation of software prototypes. Execution or interpretation of the expanded code embedded in reusable system components of the trial architecture provides final step of the method.",
  address="Elsevier Science",
  booktitle="Programmable Devices and Systems 2003",
  chapter="13783",
  edition="IFAC Proceedings, Pergamon",
  institution="Elsevier Science",
  year="2003",
  month="february",
  pages="49--54",
  publisher="Elsevier Science",
  type="conference paper"
}