Detail výsledku

Integration of Formal Methods in a Specification Framework for Embedded Systems

RYŠAVÝ, O.; BUREŠ, F.; ŠČUGLÍK, F.; ŠVÉDA, M. Integration of Formal Methods in a Specification Framework for Embedded Systems. Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: IEEE Computer Society, 2004. p. 57-63. ISBN: 1-85769-1970.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Ryšavý Ondřej, doc. Ing., Ph.D., UIFS (FIT)
Bureš František, Ing., UIFS (FIT)
Ščuglík František, Ing., Ph.D., UIFS (FIT)
Švéda Miroslav, prof. Ing., CSc., UIFS (FIT)
Abstrakt

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.

Klíčová slova

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

Rok
2004
Strany
57–63
Sborník
Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Konference
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
ISBN
1-85769-1970
Vydavatel
IEEE Computer Society
Místo
Stirling
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",
  booktitle="Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems",
  year="2004",
  pages="57--63",
  publisher="IEEE Computer Society",
  address="Stirling",
  isbn="1-85769-1970"
}
Projekty
Vestavěné řídicí systémy a jejich vzájemná komunikace, GAČR, Standardní projekty, GA102/02/1032, zahájení: 2002-01-01, ukončení: 2004-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina informačních a databázových systémů (VZ IS)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru