Detail publikačního výsledku

Pattern-Driven Reuse of Embedded Control Design

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

Originální název

Pattern-Driven Reuse of Embedded Control Design

Anglický název

Pattern-Driven Reuse of Embedded Control Design

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

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

Klíčová slova v angličtině

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

Autoři

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

Rok RIV

2010

Vydáno

15.05.2007

Nakladatel

Institute for Systems and Technologies of Information, Control and Communication

Místo

Angers

ISBN

972-8865-84-8

Kniha

Proceedings of Fourth International Conference on Informatics in Control, Automation and Robotics

Strany od

152

Strany do

159

Strany počet

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