Publication Details

Formal-method-based Software Development Applied on Embedded Systems: Basic concepts

KOLÁŘ, D.; BLIŽŇÁK, M. Formal-method-based Software Development Applied on Embedded Systems: Basic concepts. In 17th International DAAAM Symposium 2006. Vienna: 2006. p. 45-46. ISBN: 3-901509-57-7.
Czech title
Vývoj software založený na formálních metodách aplikovaný do vestavěných systémů: základní koncepty
Type
conference paper
Language
English
Authors
Kolář Dušan, doc. Dr. Ing. (DIFS)
Bližňák Michal, Ing.
Keywords

FSM, finite state machine, code generation, ANSI C, optimization

Abstract

Programming of embedded systems is usually performed on low-level tools and programming languages. Such an approach is time consuming and inefficient. Application of formal-method-based software development is an approach that can improve the situation. The article describes one of possibilities of formal-method-based software development usage with a stress on efficient code generation to meet requirements of embedded systems.

Published
2006
Pages
45–46
Proceedings
17th International DAAAM Symposium 2006
ISBN
3-901509-57-7
Place
Vienna
BibTeX 
@inproceedings{BUT22404,
  author="Dušan {Kolář} and Michal {Bližňák}",
  title="Formal-method-based Software Development Applied on Embedded Systems: Basic concepts",
  booktitle="17th International DAAAM Symposium 2006",
  year="2006",
  pages="45--46",
  address="Vienna",
  isbn="3-901509-57-7"
}
Back to top