Publication detail

Integration of Formal Methods in a Specification Framework for Embedded Systems

RYŠAVÝ, O., BUREŠ, F., ŠČUGLÍK, F., ŠVÉDA, M.

Original Title

Integration of Formal Methods in a Specification Framework for Embedded Systems

English Title

Integration of Formal Methods in a Specification Framework for Embedded Systems

Type

conference paper

Language

en

Original Abstract

The contribution deals with formal methods integration in frame of a developed specification framework that aims to support object-oriented design of embedded systems. While class specification language based on a logic calculus of objects forms kernel of this framework, complementary set of tools provides a fitting user interface that enables to generate CSP specifications both from behavioral diagrams for design and from source code for reuse. To explain utilization and integration of the developed methods and related tools, an uninterruptible power supply system provides a demonstration case study.

English abstract

The contribution deals with formal methods integration in frame of a developed specification framework that aims to support object-oriented design of embedded systems. While class specification language based on a logic calculus of objects forms kernel of this framework, complementary set of tools provides a fitting user interface that enables to generate CSP specifications both from behavioral diagrams for design and from source code for reuse. To explain utilization and integration of the developed methods and related tools, an uninterruptible power supply system provides a demonstration case study.

Keywords

Specification framework, object oriented, object logic, CSP, reverse specification

RIV year

2004

Released

21.05.2004

Publisher

IEEE Computer Society

Location

Stirling

ISBN

1-85769-1970

Book

Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems

Pages from

57

Pages to

63

Pages count

7

BibTex


@inproceedings{BUT17121,
  author="Ondřej {Ryšavý} and František {Bureš} and František {Ščuglík} and Miroslav {Švéda}",
  title="Integration of Formal Methods in a Specification Framework for Embedded Systems",
  annote="The contribution deals with formal methods integration in frame of a developed specification framework that aims to support object-oriented design of embedded systems. While class specification language based on a logic calculus of objects forms kernel of this framework, complementary set of tools provides a fitting user interface that enables to generate CSP specifications both from behavioral diagrams for design and from source code for reuse. To explain utilization and integration of the developed methods and related tools, an uninterruptible power supply system provides a demonstration case study.",
  address="IEEE Computer Society",
  booktitle="Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems",
  chapter="17121",
  institution="IEEE Computer Society",
  year="2004",
  month="may",
  pages="57--63",
  publisher="IEEE Computer Society",
  type="conference paper"
}