Detail výsledku

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. 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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Bureš František, Ing., UIFS (FIT)
Ryšavý Ondřej, doc. Ing., Ph.D., UIFS (FIT)
Ščuglík František, Ing., Ph.D., UIFS (FIT)
Švéda Miroslav, prof. Ing., CSc., UIFS (FIT), UTKO (FEKT)
Abstrakt

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.

Klíčová slova

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

Rok
2005
Strany
323–330
Sborník
Proceedings of the 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
Konference
IEEE International Conference and Workshop on Engineering of Computer-Based Systems 2005
ISBN
0-7695-2308-0
Vydavatel
IEEE Computer Society
Místo
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"
}
Projekty
Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, GAČR, Standardní projekty, GA102/05/0723, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru