Pattern-Driven Reuse of Embedded Control Design
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F07%3APU70803" target="_blank" >RIV/00216305:26230/07:PU70803 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Pattern-Driven Reuse of Embedded Control Design
Original language description
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 byapplication 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.
Czech name
Využití CBR v návrhu vestavěných zařízení
Czech description
Příspěvek se zabývá reuse technikami založené na návrhových vzorech. Formální reprezentace založenou na konečných automatech a časovaných automatech, které tvoří znovupoužitelné specifikační vzory, je uvedena a podpora CBR (Case-based reasoning) je diskutována pro hledání odpovídajích existujích vzorů, které mohou být použity v návrhu nového systému.<br>
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2007
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of Fourth International Conference on Informatics in Control, Automation and Robotics
ISBN
972-8865-84-8
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
152-159
Publisher name
Institute for Systems and Technologies of Information, Control and Communication
Place of publication
Angers
Event location
Angers
Event date
May 9, 2007
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—