Detail publikace

Executable Specifications with Rapid Prototyping for Embedded Distributed Systems

ŠVÉDA, M.

Originální název

Executable Specifications with Rapid Prototyping for Embedded Distributed Systems

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

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

Autoři

ŠVÉDA, M.

Rok RIV

2003

Vydáno

15. 2. 2003

Nakladatel

Elsevier Science

Místo

Kidlington, Oxford

ISBN

0-08-044130-0

Kniha

Programmable Devices and Systems 2003

Edice

IFAC Proceedings, Pergamon

Strany od

49

Strany do

54

Strany počet

6

BibTex

@inproceedings{BUT13783,
  author="Miroslav {Švéda}",
  title="Executable Specifications with Rapid Prototyping for Embedded Distributed Systems",
  booktitle="Programmable Devices and Systems 2003",
  year="2003",
  series="IFAC Proceedings, Pergamon",
  pages="49--54",
  publisher="Elsevier Science",
  address="Kidlington, Oxford",
  isbn="0-08-044130-0"
}