Detail publikace

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.
Název česky
Vývoj software založený na formálních metodách aplikovaný do vestavěných systémů: základní koncepty
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Kolář Dušan, doc. Dr. Ing. (UIFS)
Bližňák Michal, Ing.
Klíčová slova

DKA, konečný stavový automat, generování kódu, ANSI C, optimalizace

Abstrakt

Programování vestavěných systémů je často vedeno prostřednictvím nástrojů a jazyků nízké úrovně, což je časově náročné a neefektivní. Jednou z možností, jak toto změnit, je aplikace formálně založených metod vývoje software. Článek popisuje jednu z možností, jak využít formalismy k programování vestavěných systémů při dodržení požadavků na efektivitu výsledného systému.

Rok
2006
Strany
45–46
Sborník
17th International DAAAM Symposium 2006
ISBN
3-901509-57-7
Místo
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"
}
Nahoru