Publication Details

A Framework for Formal Specification of Embedded Systems

BUREŠ František, RYŠAVÝ Ondřej, ŠČUGLÍK František and ŠVÉDA Miroslav. A Framework for Formal Specification of Embedded Systems. In: Proceedings of the 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, California: IEEE Computer Society, 2005, pp. 323-330. ISBN 0-7695-2308-0.
Czech title
Rámec pro formální specifikace vestavěných systémů
Type
conference paper
Language
english
Authors
Bureš František, Ing. (FIT BUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (FIT BUT)
Ščuglík František, Ing., Ph.D. (FIT BUT)
Švéda Miroslav, prof. Ing., CSc. (DIFS FIT BUT)
Keywords

Formal specifications, structural specification, object logic, class specification language, behavioral specification, CSP

Abstract

This paper presents concepts of a specification-driven framework focusing on object-oriented design of embedded systems. It deals with tools and techniques aiming to prop formal specification and early design life cycle phases. Particularly, this contribution discusses logic calculus of objects, related class specification language, and techniques both for architecture specifications and for behavior specifications generated either from UML based semiformal behavioral diagrams or, as a reengineering tool, from source code.

Published
2005
Pages
323-330
Proceedings
Proceedings of the 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
Conference
IEEE International Conference and Workshop on Engineering of Computer-Based Systems 2005, Greenbelt, Maryland, USA, US
ISBN
0-7695-2308-0
Publisher
IEEE Computer Society
Place
Los Alamitos, California, US
BibTeX 
@INPROCEEDINGS{FITPUB7743,
   author = "Franti\v{s}ek Bure\v{s} and Ond\v{r}ej Ry\v{s}av\'{y} and Franti\v{s}ek \v{S}\v{c}ugl\'{i}k and Miroslav \v{S}v\'{e}da",
   title = "A Framework for Formal Specification of Embedded Systems",
   pages = "323--330",
   booktitle = "Proceedings of the 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems",
   year = 2005,
   location = "Los Alamitos, California, US",
   publisher = "IEEE Computer Society",
   ISBN = "0-7695-2308-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7743"
}
Back to top