Detail publikace

Local Time Specifications of Networked Embedded Systems

ŠVÉDA, M.; VRBA, R.; OČENÁŠEK, P. Local Time Specifications of Networked Embedded Systems. In Proceedings of the International Conference on Systems (ICONS 2006). Los Alamitos: IEEE Computer Society, 2006. p. 120-0. 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
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Vrba Radimír, prof. Ing., CSc. (CEITEC VUT)
Očenášek Pavel, Mgr. Ing., Ph.D. (FIT)
Klíčová slova

Formal specifications, real time, embedded distributed systems, behavioral specifications

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)
ISBN
0-7695-2552-0
Vydavatel
IEEE Computer Society
Místo
Los Alamitos
BibTeX 
@inproceedings{BUT22201,
  author="Miroslav {Švéda} and Radimír {Vrba} and Pavel {Očenášek}",
  title="Local Time Specifications of Networked Embedded Systems",
  booktitle="Proceedings of the International Conference on Systems (ICONS 2006)",
  year="2006",
  pages="6",
  publisher="IEEE Computer Society",
  address="Los Alamitos",
  isbn="0-7695-2552-0"
}
Nahoru