Publication detail

Local Time for Formal Specification of Networked Embedded System

ŠVÉDA, M.

Original Title

Local Time for Formal Specification of Networked Embedded System

Type

journal article - other

Language

English

Original Abstract

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.

Keywords

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

Authors

ŠVÉDA, M.

RIV year

2003

Released

14. 10. 2003

ISBN

1109-2750

Periodical

WSEAS Transactions on Computers

Year of study

2

Number

1

State

Hellenic Republic

Pages from

4

Pages to

9

Pages count

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