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