Publication detail

REUSE OF FORMAL SPECIFICATIONS IN EMBEDDED SYSTEMS DESIGN

ŠVÉDA, M.

Original Title

REUSE OF FORMAL SPECIFICATIONS IN EMBEDDED SYSTEMS DESIGN

English Title

REUSE OF FORMAL SPECIFICATIONS IN EMBEDDED SYSTEMS DESIGN

Type

conference paper

Language

en

Original Abstract

This paper deals with reuse of architectural and behavioral specifications of embedded systems employing finite-state and timed automata. The contribution proposes not only how to represent a system’s formal specification as an application pattern structure of specification fragments, but also how to measure similarity of formal specifications for retrieval with case-based reasoning support. The paper provides also an insight into case-based reasoning support as applied to formal specification reuse by application patterns built on finite-state and timed automata. Those application patterns create a base for a pattern language supporting reuse-oriented design process for a class of real-time embedded systems. Copyright Š 2006 IFAC

English abstract

This paper deals with reuse of architectural and behavioral specifications of embedded systems employing finite-state and timed automata. The contribution proposes not only how to represent a system’s formal specification as an application pattern structure of specification fragments, but also how to measure similarity of formal specifications for retrieval with case-based reasoning support. The paper provides also an insight into case-based reasoning support as applied to formal specification reuse by application patterns built on finite-state and timed automata. Those application patterns create a base for a pattern language supporting reuse-oriented design process for a class of real-time embedded systems. Copyright Š 2006 IFAC

Keywords

Embedded systems, design systems, formal specification, computer communication networks, sensor systems

RIV year

2006

Released

14.02.2006

Publisher

Faculty of Electrical Engineering and Communication BUT

Location

Brno

ISBN

80-214-3130-X

Book

Proceedings of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2006

Pages from

78

Pages to

83

Pages count

6

BibTex


@inproceedings{BUT22176,
  author="Miroslav {Švéda}",
  title="REUSE OF FORMAL SPECIFICATIONS IN EMBEDDED SYSTEMS DESIGN",
  annote="This paper deals with reuse of architectural and behavioral specifications of
embedded systems employing finite-state and timed automata. The contribution
proposes not only how to represent a system’s formal specification as an
application pattern structure of specification fragments, but also how to measure
similarity of formal specifications for retrieval with case-based reasoning
support. The paper provides also an insight into case-based reasoning support as
applied to formal specification reuse by application patterns built on
finite-state and timed automata. Those application patterns create a base for a
pattern language supporting reuse-oriented design process for a class of
real-time embedded systems. Copyright Š 2006 IFAC",
  address="Faculty of Electrical Engineering and Communication BUT",
  booktitle="Proceedings of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2006",
  chapter="22176",
  institution="Faculty of Electrical Engineering and Communication BUT",
  year="2006",
  month="february",
  pages="78--83",
  publisher="Faculty of Electrical Engineering and Communication BUT",
  type="conference paper"
}