Publication Details

Pattern-Driven Reuse of Embedded Control Design

ŠVÉDA Miroslav, VRBA Radimír and RYŠAVÝ Ondřej. 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. 8. ISBN 972-8865-84-8.
Czech title
Využití CBR v návrhu vestavěných zařízení
Type
conference paper
Language
english
Authors
Keywords

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

Abstract

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.

Published
2007
Pages
8
Proceedings
Proceedings of Fourth International Conference on Informatics in Control, Automation and Robotics
Conference
4th International Conference on Informatics in Control, Automation and Robotics , Angers, FR
ISBN
972-8865-84-8
Publisher
Institute for Systems and Technologies of Information, Control and Communication
Place
Angers, FR
BibTeX
@INPROCEEDINGS{FITPUB8337,
   author = "Miroslav \v{S}v\'{e}da and Radim\'{i}r Vrba and Ond\v{r}ej Ry\v{s}av\'{y}",
   title = "Pattern-Driven Reuse of Embedded Control Design",
   pages = 8,
   booktitle = "Proceedings of Fourth International Conference on Informatics in Control, Automation and Robotics",
   year = 2007,
   location = "Angers, FR",
   publisher = "Institute for Systems and Technologies of Information, Control and Communication",
   ISBN = "972-8865-84-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8337"
}
Back to top