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

Abstract

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í.