Publication Details
Pattern-Driven Reuse of Embedded Control Design
Vrba Radimír, prof. Ing., CSc. (CEITEC BUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT)
Embedded systems, Formal specification, Finite automata, Timed automata, Case-based reasoning.
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.
@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"
}