Publication Details
A Framework for Formal Specification of Embedded Systems
BUREŠ, F., RYŠAVÝ, O., ŠČUGLÍK, F., ŠVÉDA, M. 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. p. 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.
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS)
Ščuglík František, Ing., Ph.D. (CM-SFE)
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS)
Ščuglík František, Ing., Ph.D. (CM-SFE)
Švéda Miroslav, prof. Ing., CSc. (UTKO)
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
ISBN
0-7695-2308-0
Publisher
IEEE Computer Society
Place
Los Alamitos, California
BibTeX
@inproceedings{BUT21462,
author="František {Bureš} and Ondřej {Ryšavý} and František {Ščuglík} and Miroslav {Švéda}",
title="A Framework for Formal Specification of Embedded Systems",
booktitle="Proceedings of the 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems",
year="2005",
pages="323--330",
publisher="IEEE Computer Society",
address="Los Alamitos, California",
isbn="0-7695-2308-0"
}