Detail publikace
Pattern-Driven Reuse of Embedded Control Design
ŠVÉDA, M.; VRBA, R.; RYŠAVÝ, O. Pattern-Driven Reuse of Embedded Control Design. In Proceedings of Fourth International Conference on Informatics in Control, Automation and Robotics. Angers: Institute for Systems and Technologies of Information, Control and Communication, 2007. p. 152-159. ISBN: 972-8865-84-8.
Název česky
Využití CBR v návrhu vestavěných zařízení
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc.
(UTKO)
Vrba Radimír, prof. Ing., CSc. (CEITEC VUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Vrba Radimír, prof. Ing., CSc. (CEITEC VUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Klíčová slova
Embedded systems, Formal specification, Finite automata, Timed automata, Case-based reasoning.
Abstrakt
Příspěvek se zabývá reuse technikami založené na návrhových vzorech. Formální reprezentace založenou na konečných automatech a časovaných automatech, které tvoří znovupoužitelné specifikační vzory, je uvedena a podpora CBR (Case-based reasoning) je diskutována pro hledání odpovídajích existujích vzorů, které mohou být použity v návrhu nového systému.
Rok
2007
Strany
152–159
Sborník
Proceedings of Fourth International Conference on Informatics in Control, Automation and Robotics
ISBN
972-8865-84-8
Vydavatel
Institute for Systems and Technologies of Information, Control and Communication
Místo
Angers
BibTeX
@inproceedings{BUT28604,
author="Miroslav {Švéda} and Radimír {Vrba} and Ondřej {Ryšavý}",
title="Pattern-Driven Reuse of Embedded Control Design",
booktitle="Proceedings of Fourth International Conference on Informatics in Control, Automation and Robotics",
year="2007",
pages="152--159",
publisher="Institute for Systems and Technologies of Information, Control and Communication",
address="Angers",
isbn="972-8865-84-8"
}