Publication Details
Pattern-Driven Reuse of Embedded Control Design
Vrba Radimír, prof. Ing., CSc. (CEITEC VUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS)
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{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"
}