Aplikace formálních metod návrhu a tvorby softwarového vybavení na embedded systémy

DSpace Repository

Login

Language: English čeština 

Aplikace formálních metod návrhu a tvorby softwarového vybavení na embedded systémy

Show full item record

No preview available
Title: Aplikace formálních metod návrhu a tvorby softwarového vybavení na embedded systémy
Author: Bližňák, Michal
URI: http://hdl.handle.net/10563/6013
Date: 2008-02-07
Publisher: Univerzita Tomáše Bati ve Zlíně
Page count: application/pdf
Availability: Bez omezení


Abstrakt:

Embedded systémy hrají v současné době důležitou roli v našem každodenním životě. Setkáváme se s nimi ve spotřební elektronice, průmyslových robotech, zdravotnické technice, automobilovém průmyslu, letectví a v mnoha dalších odvětvích. Navzdory jejich obecnému rozšíření je jejich programování stále daleko méně komfortní, než programování klasických desktopových aplikací. Programátoři musí často detailně znát hardwarové prostředí, pro které aplikace vyvíjí a jimi tvořený kód musí být co nejefektivnější a šetrný k využívání systémových i HW prostředků, které jsou velmi často citelně omezeny. Proto jsou nezřídka využívány pouze nízkoúrovňové programovací jazyky a technologie, což může vést k neefektivnímu procesu tvorby SW a jeho chybovosti. Cílem této práce je ukázat, že i v oblasti embedded systémů lze úspěšně používat některé moderní metody formálního návrhu a tvorby aplikací k tomu, abychom byli schopni rychle a efektivně vytvářet optimalizovaný, produkční programový kód embedded aplikací.

Citace závěřečné práce

Files in this item

Files Size Format View
bližňák_2008_dp.pdf 2.683Mb PDF View/Open
bližňák_2008_vp.pdf 35.54Kb PDF View/Open
bližňák_2008_op.pdf 446.3Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record

Find fulltext

Search DSpace


Browse

My Account