Detail publikace

Executable Specifications with Rapid Prototyping for Embedded Distributed Systems

ŠVÉDA Miroslav. Executable Specifications with Rapid Prototyping for Embedded Distributed Systems. In: Programmable Devices and Systems 2003. IFAC Proceedings, Pergamon. Kidlington, Oxford: Elsevier Science, 2003, s. 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
angličtina
Autoři
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
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
Konference
IFAC Workshop on Programmable Devices and Systems, Ostrava, CZ
ISBN
0-08-044130-0
Vydavatel
Elsevier Science
Místo
Kidlington, Oxford, GB
BibTeX 
@INPROCEEDINGS{FITPUB7124,
   author = "Miroslav \v{S}v\'{e}da",
   title = "Executable Specifications with Rapid Prototyping for Embedded Distributed Systems",
   pages = "49--54",
   booktitle = "Programmable Devices and Systems 2003",
   series = "IFAC Proceedings, Pergamon",
   year = 2003,
   location = "Kidlington, Oxford, GB",
   publisher = "Elsevier Science",
   ISBN = "0-08-044130-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7124"
}
Nahoru