loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Miroslav Sveda 1 ; Ondrej Rysavy 1 and Radimir Vrba 2

Affiliations: 1 Faculty of Information Technology, Brno University of Technology, Czech Republic ; 2 Faculty of Electrical Engineering & Communication, Brno University of Technology, Czech Republic

Keyword(s): Embedded systems, Formal specification, Finite automata, Timed automata, Case-based reasoning.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence and Decision Support Systems ; Distributed Control Systems ; Enterprise Information Systems ; Informatics in Control, Automation and Robotics ; Intelligent Control Systems and Optimization ; Knowledge-Based Systems Applications

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.118.0.240

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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; ISSN 2184-2809, SciTePress, pages 409-416. DOI: 10.5220/0001615604090416

@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},
issn={2184-2809},
}

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
IS - 2184-2809
AU - Sveda, M.
AU - Rysavy, O.
AU - Vrba, R.
PY - 2007
SP - 409
EP - 416
DO - 10.5220/0001615604090416
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic