Publication detail

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

KOLÁŘ, D. BLIŽŇÁK, M.

Original Title

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

Type

article in a collection out of WoS and Scopus

Language

English

Original 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

Authors

KOLÁŘ, D.; BLIŽŇÁK, M.

RIV year

2006

Released

21. 11. 2006

Location

Vienna

ISBN

3-901509-57-7

Book

17th International DAAAM Symposium 2006

Pages from

45

Pages to

46

Pages count

2

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"
}