Publication detail

Local Time Specifications of Networked Embedded Systems

ŠVÉDA, M. VRBA, R. OČENÁŠEK, P.

Original Title

Local Time Specifications of Networked Embedded Systems

English Title

Local Time Specifications of Networked Embedded Systems

Type

conference paper

Language

en

Original Abstract

This paper deals with a formal specification approach that supports the design of small, real-time embedded applications with distributed architectures. After discussing the notion of local time and its role in computer science and software engineering, the next section of the paper reviews an original specification language dedicated to local-time concepts. The next contribution consists in treating a real world, networked measurement system application as a case study to demonstrate utilization of this language for behavioral specifications of distributed real-time systems. Moreover, this paper examines how to employ a non-object-oriented specification tool for object-oriented implementations.

English abstract

This paper deals with a formal specification approach that supports the design of small, real-time embedded applications with distributed architectures. After discussing the notion of local time and its role in computer science and software engineering, the next section of the paper reviews an original specification language dedicated to local-time concepts. The next contribution consists in treating a real world, networked measurement system application as a case study to demonstrate utilization of this language for behavioral specifications of distributed real-time systems. Moreover, this paper examines how to employ a non-object-oriented specification tool for object-oriented implementations.

Keywords

Formal specifications, real time, embedded distributed systems, behavioral specifications

RIV year

2006

Released

23.04.2006

Publisher

IEEE Computer Society

Location

Los Alamitos

ISBN

0-7695-2552-0

Book

Proceedings of the International Conference on Systems (ICONS 2006)

Pages from

120

Pages to

125

Pages count

6

BibTex


@inproceedings{BUT22201,
  author="Miroslav {Švéda} and Radimír {Vrba} and Pavel {Očenášek}",
  title="Local Time Specifications of Networked Embedded Systems",
  annote="This paper deals with a formal specification approach that supports the design of
small, real-time embedded applications with distributed architectures. After
discussing the notion of local time and its role in computer science and software
engineering, the next section of the paper reviews an original specification
language dedicated to local-time concepts. The next contribution consists in
treating a real world, networked measurement system application as a case study
to demonstrate utilization of this language for behavioral specifications of
distributed real-time systems. Moreover, this paper examines how to employ a
non-object-oriented specification tool for object-oriented implementations.",
  address="IEEE Computer Society",
  booktitle="Proceedings of the International Conference on Systems (ICONS 2006)",
  chapter="22201",
  institution="IEEE Computer Society",
  year="2006",
  month="april",
  pages="120--0",
  publisher="IEEE Computer Society",
  type="conference paper"
}