Result 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. 17th International DAAAM Symposium 2006. Vienna: 2006. p. 45-46. ISBN: 3-901509-57-7.
Type
conference paper
Language
English
Authors
Kolář Dušan, doc. Dr. Ing., DIFS (FIT)
Bližňák Michal, Ing., DIFS (FIT)
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.

Keywords

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

Published
2006
Pages
45–46
Proceedings
17th International DAAAM Symposium 2006
Conference
17th DAAAM International Symposium
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"
}
Projects
Specifický výzkum, BUT, Vnitřní projekty VUT, SV, start: 2005-01-01, end: 2009-12-31, completed
Research groups
Formal Model Research Group (RG FM)
Departments
Department of Information Systems (DIFS)
Back to top