Detail výsledku

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.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc.
Abstrakt

The paper deals with a formal specification environment supporting a design method aimed at small real-time embedded applications with distributed architectures. After discussing the notion of local time and reviewing an originally developed specification language dedicated to local-time concepts, main attention is focused on a treating real world, networked measurement system application as a case study to demonstrate utilization of this language for behavioral specifications. Concurrently, this contribution examines, how to employ non-object oriented specification tools for object-oriented implementations.

Klíčová slova

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

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"
}
Projekty
Vestavěné řídicí systémy a jejich vzájemná komunikace, GAČR, Standardní projekty, GA102/02/1032, zahájení: 2002-01-01, ukončení: 2004-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina Superpočítačových technologií SC@FIT (VZ SC@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru