Detail publikačního výsledku

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

Anglický název

Local Time for Formal Specification of Networked Embedded System

Druh

Článek recenzovaný mimo WoS a Scopus

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.

Anglický 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

Klíčová slova v angličtině

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

Autoři

ŠVÉDA, M.

Rok RIV

2011

Vydáno

14.10.2003

Kniha

WSEAS Transactions on Computers

ISSN

1109-2750

Periodikum

WSEAS Transactions on Computers

Svazek

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