Conference paper

Š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.
Publication language:english
Original title:Pattern-Driven Reuse of Embedded Control Design
Title (cs):Využití CBR v návrhu vestavěných zařízení
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
Place:Angers, FR
Year:2007
ISBN:972-8865-84-8
Publisher:Institute for Systems and Technologies of Information, Control and Communication
Keywords
Embedded systems, Formal specification, Finite automata, Timed automata, Case-based reasoning.
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=8337}
}

Your IPv4 address: 54.225.47.94
Switch to IPv6 connection

DNSSEC [dnssec]