Detail publikace

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

ŠVÉDA Miroslav. Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains. In: IEEE Proceedings of the Second International Conference on Systems, ICONS 2007. New York: IEEE Computer Society, 2007, s. 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
angličtina
Autoři
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
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
International Conference on Systems, Fort de France, Martinique, MQ
ISBN
0-7695-2807-4
Vydavatel
IEEE Computer Society
Místo
New York, US
BibTeX 
@INPROCEEDINGS{FITPUB8330,
   author = "Miroslav \v{S}v\'{e}da",
   title = "Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains",
   pages = "11--16",
   booktitle = "IEEE Proceedings of the Second International Conference on Systems, ICONS 2007",
   year = 2007,
   location = "New York, US",
   publisher = "IEEE Computer Society",
   ISBN = "0-7695-2807-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8330"
}
Nahoru