Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
ŠVÉDA, M. VRBA, R. RYŠAVÝ, O.
Originální název
Pattern-Driven Reuse of Embedded Control Design
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
angličtina
Originální abstrakt
This paper deals with reuse of architectural and behavioral specifications of embedded systems employing finite-state and timed automata. The contribution proposes not only how to represent a system's formal specification as an application pattern structure of specification fragments, but also how to measure similarity of formal specifications for retrieval with case-based reasoning support. The paper provides also an insight into case-based reasoning support as applied to formal specification reuse by application patterns built on finite-state and timed automata. Those application patterns create a base for a pattern language supporting reuse-oriented design process for a class of real-time embedded systems.
Klíčová slova
Embedded systems, Formal specification, Finite automata, Timed automata, Case-based reasoning.
Autoři
ŠVÉDA, M.; VRBA, R.; RYŠAVÝ, O.
Rok RIV
2007
Vydáno
15. 5. 2007
Nakladatel
Institute for Systems and Technologies of Information, Control and Communication
Místo
Angers
ISBN
972-8865-84-8
Kniha
Proceedings of Fourth International Conference on Informatics in Control, Automation and Robotics
Strany od
152
Strany do
159
Strany počet
8
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" }