PATTERN-DRIVEN REUSE OF EMBEDDED CONTROL DESIGN - Behavioral and Architectural Specifications in Embedded Control System Designs

Miroslav Sveda, Ondrej Rysavy, Radimir Vrba

2007

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.

Paper Citation

in Harvard Style

Sveda M., Rysavy O. and Vrba R. (2007). PATTERN-DRIVEN REUSE OF EMBEDDED CONTROL DESIGN - Behavioral and Architectural Specifications in Embedded Control System Designs . In Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-972-8865-82-5, pages 409-416. DOI: 10.5220/0001615604090416

in Bibtex Style

@conference{icinco07,
author={Miroslav Sveda and Ondrej Rysavy and Radimir Vrba},
title={PATTERN-DRIVEN REUSE OF EMBEDDED CONTROL DESIGN - Behavioral and Architectural Specifications in Embedded Control System Designs},
booktitle={Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2007},
pages={409-416},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001615604090416},
isbn={978-972-8865-82-5},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - PATTERN-DRIVEN REUSE OF EMBEDDED CONTROL DESIGN - Behavioral and Architectural Specifications in Embedded Control System Designs
SN - 978-972-8865-82-5
AU - Sveda M.
AU - Rysavy O.
AU - Vrba R.
PY - 2007
SP - 409
EP - 416
DO - 10.5220/0001615604090416