Detail publikace

Local Time for Formal Specification of Networked Embedded System

ŠVÉDA, M. Local Time for Formal Specification of Networked Embedded System. WSEAS Transactions on Computers, 2003, vol. 2, no. 1, p. 4-9. ISSN: 1109-2750.
Název česky
Lokální čas pro formální specifikace sítí vestavěných systémů
Typ
článek v časopise
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Klíčová slova

Sensor-based embedded systems, behavioral specifications, local time semantics, IEEE 1451, Internet

Abstrakt

Příspěvek popisuje prostředí pro formální specifikace podporující návrhovou metodu zaměřenou na malé vestavěné aplikace s distribuovanou architekturou. Je diskutován pojem lokálního času a uveden původní specifikační jazyk věnovaný konceptu lokálního času. Hlavní pozornost je zaměřena na reálnou aplikaci síťového měřicího systému jako případovou studii demonstrující využití tohoto jazyka pro specifikaci chování. Současně příspěvek demonstruje, jak lze využít specifikační nástroje, které nejsou objektově orientované, pro objektově orientované implementace.

Rok
2003
Strany
4–9
Časopis
WSEAS Transactions on Computers, roč. 2, č. 1, ISSN 1109-2750
Kniha
WSEAS Transactions on Computers
BibTeX 
@article{BUT42293,
  author="Miroslav {Švéda}",
  title="Local Time for Formal Specification of Networked Embedded System",
  journal="WSEAS Transactions on Computers",
  year="2003",
  volume="2",
  number="1",
  pages="4--9",
  issn="1109-2750"
}
Nahoru