A framework for formal specification of embedded systems

Author

Bures, Frantisek ; Rysavy, Ondrej ; Scuglik, Frantisek ; Sveda, Miroslav

Author_Institution

Dept. of Inf. Syst., Brno Univ. of Technol., Czech Republic

fYear

2005

fDate

4-7 April 2005

Firstpage

323

Lastpage

330

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

Unified Modeling Language; embedded systems; formal specification; object-oriented methods; object-oriented programming; process algebra; software architecture; UML; architecture specifications; behavior specifications; class specification language; embedded systems; formal specification; logic calculus; object-oriented design; semiformal behavioral diagrams; source code; Calculus; Embedded system; Formal specifications; Information systems; Information technology; Logic design; Process design; Specification languages; Time factors; Unified modeling language;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the

Print_ISBN

0-7695-2308-0

Type

conf

DOI

10.1109/ECBS.2005.8

Filename

1409932