Detail publikace

Local Time Specifications of Networked Embedded Systems

ŠVÉDA Miroslav, VRBA Radimír a OČENÁŠEK Pavel. Local Time Specifications of Networked Embedded Systems. In: Proceedings of the International Conference on Systems (ICONS 2006). Los Alamitos: IEEE Computer Society, 2006, s. 6. ISBN 0-7695-2552-0.
Název česky
Specifikace lokálního času síťových vestavěných systémů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Vrba Radimír, prof. Ing., CSc. (STI VUT)
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT)
Abstrakt

Příspěvek pojednává o přístupu k formální specifikaci, který podporuje návrh malých vestavěných aplikací s distribuovanou architekturou pracujících v reálném čase. Po diskutování pojmu lokálního času a jeho roli v informatice následuje uvedení původního specifikačního jazyka věnovaného konceptu lokálního času. Další přínos spočívá ve využití reálné aplikace jako případové studie demonstrující využití tohoto jazyka pro specifikaci chování distribuovaných systémů reálného času. Navíc tento příspěvek ověřuje, jak využít nástroj, který není objektově orientovaný, pro objektově orientované implementace.

Rok
2006
Strany
6
Sborník
Proceedings of the International Conference on Systems (ICONS 2006)
Konference
IEEE International Conference on Systems, Morne, MU
ISBN
0-7695-2552-0
Vydavatel
IEEE Computer Society
Místo
Los Alamitos, US
BibTeX 
@INPROCEEDINGS{FITPUB8065,
   author = "Miroslav \v{S}v\'{e}da and Radim\'{i}r Vrba and Pavel O\v{c}en\'{a}\v{s}ek",
   title = "Local Time Specifications of Networked Embedded Systems",
   pages = 6,
   booktitle = "Proceedings of the International Conference on Systems (ICONS 2006)",
   year = 2006,
   location = "Los Alamitos, US",
   publisher = "IEEE Computer Society",
   ISBN = "0-7695-2552-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8065"
}
Nahoru