Detail výsledku

An Approach to the Design of Networked Embedded Systems

ŠVÉDA, M.; VRBA, R. An Approach to the Design of Networked Embedded Systems. Proceedings of the 16th IFAC WORLD CONGRESS, 2005. Programmable devices and systems. Kidlington, Oxford: Elsevier Science, 2005. no. 1, p. 2223-2228. ISBN: 0-08-045108-X. ISSN: 1474-6670.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Švéda Miroslav, prof. Ing., CSc., UIFS (FIT), UTKO (FEKT)
Vrba Radimír, prof. Ing., CSc., UMEL (FEKT)
Abstrakt

The paper presents an approach to formal specification, verification and prototyping of network applications ranging from large information systems down to small components embedded e.g. in mobile devices. Main attention focuses both on architectural and behavioral specifications of either reactive or real-time activities utilizing either structured or object-oriented approach depending on application requirements. This contribution discusses in more detail executable specifications and rapid prototyping for structured design and structural specifications and verifications for object-oriented design. The paper presents two original tools developed for that purpose: (i) Asynchronous Specification Language and (ii) Class Specification Language.

Klíčová slova

Embedded systems, design systems, formal specification, computer communication networks, sensor systems

Rok
2005
Strany
2223–2228
Časopis
Programmable devices and systems, roč. 16, č. 1, ISSN 1474-6670
Sborník
Proceedings of the 16th IFAC WORLD CONGRESS, 2005
Konference
16th IFAC WORLD CONGRESS 2005
ISBN
0-08-045108-X
Vydavatel
Elsevier Science
Místo
Kidlington, Oxford
BibTeX 
@inproceedings{BUT21517,
  author="Miroslav {Švéda} and Radimír {Vrba}",
  title="An Approach to the Design of Networked Embedded Systems",
  booktitle="Proceedings of the 16th IFAC WORLD CONGRESS, 2005",
  year="2005",
  journal="Programmable devices and systems",
  volume="16",
  number="1",
  pages="2223--2228",
  publisher="Elsevier Science",
  address="Kidlington, Oxford",
  isbn="0-08-045108-X",
  issn="1474-6670"
}
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
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