Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc., UIFS (FIT), UTKO (FEKT)
Vrba Radimír, prof. Ing., CSc., UMEL (FEKT)
Očenášek Pavel, Mgr. Ing., Ph.D., UIFS (FIT)
Abstrakt

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.

Klíčová slova

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

Rok
2006
Strany
120–125
Sborník
Proceedings of the International Conference on Systems (ICONS 2006)
Konference
IEEE International Conference on Systems
ISBN
0-7695-2552-0
Vydavatel
IEEE Computer Society
Místo
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"
}
Projekty
Architektury sítí pro vestavěné systémy, GAČR, Standardní projekty, GA102/05/0467, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
FT-TA2/095 - Výzkum a vývoj ekonomicky příznivého informačního a bezpečnostního systému určeného pro bytovou výstavbu a modernizaci starších a zejména panelových obytných domů, MPO, TANDEM, FT-TA2/095, zahájení: 2005-01-03, ukončení: 2007-12-31, ukončen
Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, GAČR, Standardní projekty, GA102/05/0723, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Ústav mikroelektroniky (UMEL)
Nahoru