Publication detail

Embedded System Formal Specifications Reuse by a Case-Based Reasoning Approach

ŠVÉDA, M., VRBA, R.

Original Title

Embedded System Formal Specifications Reuse by a Case-Based Reasoning Approach

English Title

Embedded System Formal Specifications Reuse by a Case-Based Reasoning Approach

Type

conference paper

Language

en

Original 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 serves as a knowledge base supporting an efficient reuse of formal specifications.

English 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 serves as a knowledge base supporting an efficient reuse of formal specifications.

Keywords

Specifications Reuse, Embedded Systems, Finite-State Automata, State Sequences, Timed Automata, Timed-State Sequences, Case-Based Reasoning

RIV year

2003

Released

15.02.2003

Publisher

The International Institute of Informatics and Systemics

Location

Orlando

ISBN

980-07-8150-1

Book

Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics, 2002, Vol. I

Pages from

157

Pages to

162

Pages count

6

Documents

BibTex


@inproceedings{BUT13784,
  author="Miroslav {Švéda} and Radimír {Vrba}",
  title="Embedded System Formal Specifications Reuse by a Case-Based Reasoning Approach",
  annote="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 serves as a knowledge base supporting an efficient reuse of formal specifications.",
  address="The International Institute of Informatics and Systemics",
  booktitle="Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics, 2002, Vol. I",
  chapter="13784",
  institution="The International Institute of Informatics and Systemics",
  year="2003",
  month="february",
  pages="157--162",
  publisher="The International Institute of Informatics and Systemics",
  type="conference paper"
}