Detail publikačního výsledku

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

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

Originální název

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

Anglický název

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

Druh

Stať ve sborníku v databázi WoS či Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova v angličtině

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

Autoři

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

Vydáno

01.01.2002

Nakladatel

SCI

Místo

Orlando

Kniha

Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics SCI 2002

Strany od

200

Strany počet

6

BibTex

@inproceedings{BUT4656,
  author="Miroslav {Švéda} and Radimír {Vrba}",
  title="Embedded System Formal Specifications Reuse by a Case-Based Reasoning Approach",
  booktitle="Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics SCI 2002",
  year="2002",
  pages="6",
  publisher="SCI",
  address="Orlando"
}