Embedded System Formal Specifications Reuse by a Case-Based Reasoning Approach
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F03%3APU42502" target="_blank" >RIV/00216305:26230/03:PU42502 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Embedded System Formal Specifications Reuse by a Case-Based Reasoning Approach
Original language description
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 off 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 serves as a knowledge base supporting an efficient reuse of formal specifications.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA102%2F02%2F1032" target="_blank" >GA102/02/1032: Embedded control systems and their inter-communication</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2003
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 the 6th World Multiconference on Systemics, Cybernetics and Informatics, 2002, Vol. I
ISBN
980-07-8150-1
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
157-162
Publisher name
The International Institute of Informatics and Systemics
Place of publication
Orlando
Event location
Orlando - Florida
Event date
Jul 14, 2002
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—