Detail publikace

Executable Specifications with Rapid Prototyping for Embedded Distributed Systems

ŠVÉDA, M. Executable Specifications with Rapid Prototyping for Embedded Distributed Systems. Programmable Devices and Systems 2003. IFAC Proceedings, Pergamon. Kidlington, Oxford: Elsevier Science, 2003. p. 49-54. ISBN: 0-08-044130-0.
Název česky
Proveditelné specifikace při ryhlém prototypování vestavěných distribuovaných systémů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Klíčová slova

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

Abstrakt

Tento příspěvek pojednává o metodě ryhlého prototypování vestavěných distribuovaných systémů, která využívá hardwarové komponenty a proveditelný specifikační jazyk. Jeho příkazy pokrývající správu procesů, časování a komunikaci jsou interpretovány využitím služeb exekutivy reálného času a komunikační úlohou v každém prototypovém uzlu. Proveditelnost jazyka je realizována technikou využívající atributové gramatiky a generování prototypů komunikačního programového vybavení s podporou makroprocesoru nebo interpretu Prologu. Provedení nebo interpretace rozvinutého kódu v opakovaně využitelných komponentách realizuje poslední krok metody.

Rok
2003
Strany
49–54
Sborník
Programmable Devices and Systems 2003
Řada
IFAC Proceedings, Pergamon
ISBN
0-08-044130-0
Vydavatel
Elsevier Science
Místo
Kidlington, Oxford
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"
}
Nahoru