Detail publikačního výsledku

Local Time for Formal Specification of Networked Embedded System

ŠVÉDA, M.

Original Title

Local Time for Formal Specification of Networked Embedded System

English Title

Local Time for Formal Specification of Networked Embedded System

Type

Peer-reviewed article not indexed in WoS or Scopus

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.

English 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

Key words in English

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

Authors

ŠVÉDA, M.

RIV year

2011

Released

14.10.2003

Book

WSEAS Transactions on Computers

ISBN

1109-2750

Periodical

WSEAS Transactions on Computers

Volume

2

Number

1

State

Hellenic Republic

Pages from

4

Pages to

9

Pages count

6

Full text in the Digital Library

http://hdl.handle.net/

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