Detail publikace

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

BLIŽŇÁK Michal a KOLÁŘ Dušan. Formal-method-based Software Development Applied on Embedded Systems: Basic concepts. In: 17th International DAAAM Symposium 2006. Vienna, 2006, s. 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
angličtina
Autoři
Bližňák Michal, Ing. (UTB ve Zlíně)
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT)
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
Konference
17th DAAAM International Symposium, Vídeň, AT
ISBN
3-901509-57-7
Místo
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"
}
Nahoru