Result Details

Local Time Specifications of Networked Embedded Systems

ŠVÉDA, M.; VRBA, R.; OČENÁŠEK, P. Local Time Specifications of Networked Embedded Systems. Proceedings of the International Conference on Systems (ICONS 2006). Los Alamitos: IEEE Computer Society, 2006. p. 120-125. ISBN: 0-7695-2552-0.
Type
conference paper
Language
English
Authors
Švéda Miroslav, prof. Ing., CSc., DIFS (FIT), UTKO (FEEC)
Vrba Radimír, prof. Ing., CSc., UMEL (FEEC)
Očenášek Pavel, Mgr. Ing., Ph.D., DIFS (FIT)
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

Published
2006
Pages
120–125
Proceedings
Proceedings of the International Conference on Systems (ICONS 2006)
Conference
IEEE International Conference on Systems
ISBN
0-7695-2552-0
Publisher
IEEE Computer Society
Place
Los Alamitos
BibTeX 
@inproceedings{BUT22201,
  author="Miroslav {Švéda} and Radimír {Vrba} and Pavel {Očenášek}",
  title="Local Time Specifications of Networked Embedded Systems",
  booktitle="Proceedings of the International Conference on Systems (ICONS 2006)",
  year="2006",
  pages="120--125",
  publisher="IEEE Computer Society",
  address="Los Alamitos",
  isbn="0-7695-2552-0"
}
Projects
A Framework for Formal Specifications and Prototyping of Information System's Network Applications, GACR, Standardní projekty, GA102/05/0723, start: 2005-01-01, end: 2007-12-31, completed
Architectures of Embedded Systems Networks, GACR, Standardní projekty, GA102/05/0467, start: 2005-01-01, end: 2007-12-31, completed
Research and development of economically acceptable information and security supporting system aiming at building up an modernizing of older blocks of flats, MPO, TANDEM, FT-TA2/095, start: 2005-01-03, end: 2007-12-31, completed
Research groups
NES@FIT - Networks and distributed systems research group (RG NES@FIT)
Departments
Department of Information Systems (DIFS)
Department of Microelectronics (UMEL)
Back to top