Publication detail
Pattern-Driven Reuse of Embedded Control Design
ŠVÉDA, M. VRBA, R. RYŠAVÝ, O.
Original Title
Pattern-Driven Reuse of Embedded Control Design
English Title
Pattern-Driven Reuse of Embedded Control Design
Type
conference paper
Language
en
Original 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.
English 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.
Keywords
Embedded systems, Formal specification, Finite automata, Timed automata, Case-based reasoning.
RIV year
2007
Released
15.05.2007
Publisher
Institute for Systems and Technologies of Information, Control and Communication
Location
Angers
ISBN
972-8865-84-8
Book
Proceedings of Fourth International Conference on Informatics in Control, Automation and Robotics
Pages from
152
Pages to
159
Pages count
8
Documents
BibTex
@inproceedings{BUT28604,
author="Miroslav {Švéda} and Radimír {Vrba} and Ondřej {Ryšavý}",
title="Pattern-Driven Reuse of Embedded Control Design",
annote="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.",
address="Institute for Systems and Technologies of Information, Control and Communication",
booktitle="Proceedings of Fourth International Conference on Informatics in Control, Automation and Robotics",
chapter="28604",
howpublished="print",
institution="Institute for Systems and Technologies of Information, Control and Communication",
year="2007",
month="may",
pages="152--159",
publisher="Institute for Systems and Technologies of Information, Control and Communication",
type="conference paper"
}