| dc.contributor.advisor |
Vašek, Vladimír
|
|
| dc.contributor.author |
Bližňák, Michal
|
|
| dc.date.accessioned |
2010-07-16T16:32:33Z |
|
| dc.date.available |
2010-07-16T16:32:33Z |
|
| dc.date.issued |
2008-02-07 |
|
| dc.identifier |
Elektronický archiv Knihovny UTB |
cs |
| dc.identifier.uri |
http://hdl.handle.net/10563/6013
|
|
| dc.description.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í. |
cs |
| dc.format.extent |
2813361 bytes |
|
| dc.format.mimetype |
application/pdf |
cs |
| dc.language.iso |
cs |
|
| dc.publisher |
Univerzita Tomáše Bati ve Zlíně |
cs |
| dc.rights |
Bez omezení |
cs |
| dc.subject |
KSM
|
cs |
| dc.subject |
konečný statvový automat
|
cs |
| dc.subject |
generování
|
cs |
| dc.subject |
programový kód
|
cs |
| dc.subject |
optimalizace
|
cs |
| dc.subject |
multiplatformní
|
cs |
| dc.subject |
Processor Expert
|
cs |
| dc.subject |
State Builder
|
cs |
| dc.subject |
vestavěný systém
|
cs |
| dc.subject |
FSM
|
en |
| dc.subject |
finite state machine
|
en |
| dc.subject |
code generation
|
en |
| dc.subject |
ANSI C
|
en |
| dc.subject |
optimization
|
en |
| dc.subject |
platform-independent
|
en |
| dc.subject |
Processor Expert
|
en |
| dc.subject |
State Builder
|
en |
| dc.subject |
embedded system
|
en |
| dc.title |
Aplikace formálních metod návrhu a tvorby softwarového vybavení na embedded systémy |
cs |
| dc.title.alternative |
Formal-Method-Based Software Development Applied on Embedded Systems |
en |
| dc.type |
disertační práce |
cs |
| dc.date.accepted |
2008-04-29 |
|
| dc.description.abstract-translated |
Embedded systems are omnipresent and play significant roles in modern-day life. They can be found in consumer electronics, such as digital cameras, DVD players, industrial robots, medical equipment, automotive designs and many other areas. In contrast to their spread, a programming of embedded systems is a special discipline and demands that embedded systems developers have working knowledge of a multitude of technology areas. Moreover, embedded software applications must be highly optimized due to memory usage aspects and algorithm (or source code) quality, because available system resources can be strongly limited. In many cases, developers are using only low-level programming technologies and languages to meet all requirements of target systems. It is obvious that this way of software development can be time-consuming and inefficient. The goal of this thesis is to point that some specific formal languages can be effectively used for producing of highly optimized, production-ready source code that fulfills necessary requirements of target embedded systems. |
en |
| dc.description.department |
Ústav řízení procesů |
cs |
| dc.description.result |
obhájeno |
cs |
| dc.thesis.degree-discipline |
Technická kybernetika |
cs |
| dc.thesis.degree-discipline |
Technical Cybernetics |
en |
| dc.thesis.degree-grantor |
Univerzita Tomáše Bati ve Zlíně. Fakulta aplikované informatiky |
cs |
| dc.thesis.degree-grantor |
Tomas Bata University in Zlín. Faculty of Applied Informatics |
en |
| dc.thesis.degree-name |
Ph.D. |
|
| dc.thesis.degree-program |
Chemické a procesní inženýrství |
cs |
| dc.thesis.degree-program |
Chemical and Process Engineering |
en |
| dc.identifier.stag |
10302
|
|
| dc.date.assigned |
2001-09-01 |
|
| local.subject |
programování
|
cs |
| local.subject |
software
|
cs |
| local.subject |
programming
|
en |
| local.subject |
software
|
en |
