Detail publikace
Executable Specifications for Distributed Embedded Systems
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.
@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" }