Detail publikace

Local Time for Formal Specification of Networked Embedded System

ŠVÉDA, M.

Originální název

Local Time for Formal Specification of Networked Embedded System

Typ

článek v časopise - ostatní, Jost

Jazyk

angličtina

Originální 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

Autoři

ŠVÉDA, M.

Rok RIV

2003

Vydáno

14. 10. 2003

ISSN

1109-2750

Periodikum

WSEAS Transactions on Computers

Ročník

2

Číslo

1

Stát

Řecká republika

Strany od

4

Strany do

9

Strany počet

6

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"
}