Publication detail

A Framework for Formal Specification of Embedded Systems

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

Original Title

A Framework for Formal Specification of Embedded Systems

Type

conference paper

Language

English

Original 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.

Keywords

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

Authors

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

RIV year

2005

Released

3. 4. 2005

Publisher

IEEE Computer Society

Location

Los Alamitos, California

ISBN

0-7695-2308-0

Book

Proceedings of the 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems

Pages from

323

Pages to

330

Pages count

8

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"
}