Detail publikace

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

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

Originální název

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

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

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

Autoři

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

Rok RIV

2006

Vydáno

21. 11. 2006

Místo

Vienna

ISBN

3-901509-57-7

Kniha

17th International DAAAM Symposium 2006

Strany od

45

Strany do

46

Strany počet

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