Detail publikace
Executable Specifications for Distributed Embedded Systems
Reusable components, executable specification language, real-time executive, communication task, trial architecture
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{BUT191519,
author="Miroslav {Švéda} and Radimír {Vrba}",
title="Executable Specifications for Distributed Embedded Systems",
booktitle="Proceedings IEEE/IFIP Joint Workshop on Formal Specification of CBS",
year="2000",
pages="81--85",
publisher="University of Stirling",
address="Napier University, Edinburgh",
isbn="1-85-769121-0"
}