Detail publikace

Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains

ŠVÉDA, M. Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains. IEEE Proceedings of the Second International Conference on Systems, ICONS 2007. New York: IEEE Computer Society, 2007. p. 11-16. ISBN: 0-7695-2807-4.
Název česky
Opakované využití formálních specifikací při návrhu vestavěných systémů -- Specifikace chování a architektury v doméně RT aplikací
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Klíčová slova

Embedded systems, Formal specification, Finite automata, Timed automata,
Case-based reasoning

Abstrakt

Příspěvek se věnuje opakovanému využití formálních specifikací při návrhu
vestavěných systémů využívajícímu konečné a časované automaty v rámci struktury
aplikačních vzorů. Pozornost je věnovaná podpoře využívající usuzování založeného
na dříve řešených případech. Aplikační vzory tvoří bázi jazyka pro návrh třídy
vestavěných systémů pro práci v reálném čase.

Rok
2007
Strany
11–16
Sborník
IEEE Proceedings of the Second International Conference on Systems, ICONS 2007
Konference
Druhá mezinárodní konference o systémech, Fort de France, Martinique, MQ
ISBN
0-7695-2807-4
Vydavatel
IEEE Computer Society
Místo
New York
BibTeX 
@inproceedings{BUT28598,
  author="Miroslav {Švéda}",
  title="Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains",
  booktitle="IEEE Proceedings of the Second International Conference on Systems, ICONS 2007",
  year="2007",
  pages="11--16",
  publisher="IEEE Computer Society",
  address="New York",
  isbn="0-7695-2807-4"
}
Nahoru