Publication Details

Embedded System Specification Reuse by a Case Based Reasoning Approach

ŠVÉDA Miroslav and VRBA Radimír. Embedded System Specification Reuse by a Case Based Reasoning Approach. WSEAS Transactions on Computers, vol. 2, no. 1, 2003, pp. 10-14. ISSN 1109-2750.
Type
journal article
Language
english
Authors
Keywords

Embedded systems, formal specifications, finite-state and timed automata, case-based reasoning, reuse

Abstract

The paper deals with the reuse of behavioral specifications for embedded systems design employing state or timed-state sequences, their closed-form descriptions by finite-state or timed automata, and corresponding formulae of temporal logics. To demonstrate reusing those formal specifications by means of application patterns, the contribution presents two case studies based on two real design projects: (1) petrol pumping station dispenser controller and (2) multiple lift control system. The last part of the paper provides an insight into case-based reasoning support as applied to formal specification reuse of application patterns represented by finite-state and timed automata; moreover, it discusses possible strategies for automated retrieval of similar patterns from the case library that provides a knowledge base supporting an efficient reuse of formal specifications.

 

Published
2003
Pages
10-14
Journal
WSEAS Transactions on Computers, vol. 2, no. 1, ISSN 1109-2750
Book
WSEAS Transactions on Computers
Publisher
World Scientific and Engineering Academy
BibTeX
@ARTICLE{FITPUB7311,
   author = "Miroslav \v{S}v\'{e}da and Radim\'{i}r Vrba",
   title = "Embedded System Specification Reuse by a Case Based Reasoning Approach",
   pages = "10--14",
   booktitle = "WSEAS Transactions on Computers",
   journal = "WSEAS Transactions on Computers",
   volume = 2,
   number = 1,
   year = 2003,
   ISSN = "1109-2750",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7311"
}
Back to top