Publication result 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

Paper in proceedings outside WoS and Scopus

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.

Key words in English

Embedded systems, Formal specification, Finite automata, Timed automata, Case-based reasoning.

Authors

ŠVÉDA, M.; VRBA, R.; RYŠAVÝ, O.

RIV year

2010

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

BibTex

@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"
}