Embedded System Specification Reuse by a Case Based Reasoning Approach

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F03%3APU42673" target="_blank" >RIV/00216305:26230/03:PU42673 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Embedded System Specification 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 provides a knowledge base supporting an efficient reuse of formal specifications. <p><b>&nbsp;</b>

Czech name

—

Czech description

—

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

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)

Publication year

2003

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

WSEAS Transactions on Computers

ISSN

1109-2750

e-ISSN

—

Volume of the periodical

2

Issue of the periodical within the volume

1

Country of publishing house

GR - GREECE

Number of pages

5

Pages from-to

10-14

UT code for WoS article

—

EID of the result in the Scopus database

—