Title :
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
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;
Conference_Titel :
Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the
Print_ISBN :
0-7695-2308-0
DOI :
10.1109/ECBS.2005.8
