Detail publikace

Executable Specifications for Distributed Embedded Systems

ŠVÉDA Miroslav a VRBA Radimír. Executable Specifications for Distributed Embedded Systems. In: Proceedings IEEE/IFIP Joint Workshop on Formal Specification of CBS. Napier University, Edinburgh: University of Stirling, 2000, s. 81-85. ISBN 1-85-769121-0.
Název česky
Proveditelné specifikace distribuovaných vestavěných systémů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Švéda Miroslav, Doc. Ing., CSc. (UIVT FEI VUT)
Vrba Radimír, prof. Ing., CSc. (UMEL FEI VUT)
Abstrakt

Technika rychlého prototypování vestavěných distribuovaných systémů může být realizována pomocí prototypů hardwarových komponent a proveditelného specifikačního jazyka. Příkazy tohoto jazyka by měly pokrývat správu procesů, časování a komunikační příkazy interpretovatelné exekutivou reálného času a službami komunikační úlohy každého prototypu uzlu. Jazyk je proveditelný technikou, která sestává z 1) definice konkrétního specifikačního jazyka a popisu jeho sémantiky atributovou gramatikou, 2) popisu této gramatiky textovými makry nebo prologem, 3) návrhu experimentální architektury, 4) specifikace cílového systému s využitím experimentální architektury a navrženého specifikačního jazyka, 5) makroprocesorem nebo Prologem řízený rozvoj této specifikace do proveditelného kódu vyhovujícímu experimentální architektuře a 6) finální kompilace a provedení nebo interpretace rozvinutého kódu doplněného opakovaně využitelnými systémovými komponentami experimentální architektury.

Rok
2000
Strany
81-85
Sborník
Proceedings IEEE/IFIP Joint Workshop on Formal Specification of CBS
Konference
IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Napier University, Edinburgh, Scotland, GB
ISBN
1-85-769121-0
Vydavatel
University of Stirling
Místo
Napier University, Edinburgh, GB
BibTeX 
@INPROCEEDINGS{FITPUB6507,
   author = "Miroslav \v{S}v\'{e}da and Radim\'{i}r Vrba",
   title = "Executable Specifications for Distributed Embedded Systems",
   pages = "81--85",
   booktitle = "Proceedings IEEE/IFIP Joint Workshop on Formal Specification of CBS",
   year = 2000,
   location = "Napier University, Edinburgh, GB",
   publisher = "University of Stirling",
   ISBN = "1-85-769121-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6507"
}
Nahoru