Publication Details

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

BLIŽŇÁK Michal and KOLÁŘ Dušan. Formal-method-based Software Development Applied on Embedded Systems: Basic concepts. In: 17th International DAAAM Symposium 2006. Vienna, 2006, pp. 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
Bližňák Michal, Ing. (TBU)
Kolář Dušan, doc. Dr. Ing. (DIFS FIT BUT)
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
Conference
17th DAAAM International Symposium, Vídeň, AT
ISBN
3-901509-57-7
Place
Vienna, AT
BibTeX 
@INPROCEEDINGS{FITPUB8208,
   author = "Michal Bli\v{z}\v{n}\'{a}k and Du\v{s}an Kol\'{a}\v{r}",
   title = "Formal-method-based Software Development Applied on Embedded Systems: Basic concepts",
   pages = "45--46",
   booktitle = "17th International DAAAM Symposium 2006",
   year = 2006,
   location = "Vienna, AT",
   ISBN = "3-901509-57-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8208"
}
Back to top