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

BLIŽŇÁK, Michal

EN SKPřihlásit se Přihlásit se (EduID)

Theses 0tmy7x

Aplikace formálních metod návrhu a tvorby softwarového vybavení na embedded systémy – Ing. Michal BLIŽŇÁK

Ing. Michal BLIŽŇÁK

Disertační práce

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

Formal-Method-Based Software Development Applied on Embedded Systems

Anotace:

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ě …více

Abstract:

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 …více

Klíčová slova

KSM konečný statvový automat generování programový kód optimalizace multiplatformní Processor Expert State Builder vestavěný systém

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 7. 2. 2008

Zveřejnit od: 7. 2. 2008

Identifikátor: 10302

Obhajoba závěrečné práce

Obhajoba proběhla 29. 4. 2008

Citační záznam

Citovat tuto práci

Citace dle ISO 690:

BLIŽŇÁK, Michal. \textit{Aplikace formálních metod návrhu a tvorby softwarového vybavení na embedded systémy}. Online. Disertační práce. Zlín: Univerzita Tomáše Bati ve Zlíně, Fakulta aplikované informatiky. 2008. Dostupné z: https://theses.cz/id/0tmy7x/.

@PhdThesis{BLIZNAK2008thesis,
AUTHOR = "BLIŽŇÁK, Michal",
TITLE = "Aplikace formálních metod návrhu a tvorby softwarového vybavení na embedded systémy [online]",
YEAR = "2008 [cit. 2024-11-15]",
TYPE = "Disertační práce",
SCHOOL = "Univerzita Tomáše Bati ve Zlíně, Fakulta aplikované informatikyZlín",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/0tmy7x/",
}

@PhdThesis{BLIZNAK2008thesis,
AUTHOR = {BLIŽŇÁK, Michal},
TITLE = {Aplikace formálních metod návrhu a tvorby softwarového vybavení na embedded systémy},
YEAR = {2008},
TYPE = {Disertační práce},
INSTITUTION = {Univerzita Tomáše Bati ve Zlíně, Fakulta aplikované informatiky},
LOCATION = {Zlín},
SUPERVISOR = {},
URL = {https://theses.cz/id/0tmy7x/},
URL_DATE = {2024-11-15},
}

{{Citace kvalifikační práce
 | příjmení = BLIŽŇÁK
 | jméno = Michal
 | instituce = Univerzita Tomáše Bati ve Zlíně, Fakulta aplikované informatiky
 | titul = Aplikace formálních metod návrhu a tvorby softwarového vybavení na embedded systémy
 | url = https://theses.cz/id/0tmy7x/
 | typ práce = Disertační práce
 | vedoucí = 
 | rok = 2008
 | počet stran =
 | strany =
 | citace = 2024-11-15
 | poznámka =
 | jazyk = 
}}

Jak správně citovat práci

BLIŽŇÁK, Michal. Aplikace formálních metod návrhu a tvorby softwarového vybavení na embedded systémy. Zlín, 2008. disertační práce (Ph.D.). Univerzita Tomáše Bati ve Zlíně. Fakulta aplikované informatiky

Plný text práce

Právo: Autor si přeje zpřístupnit práci veřejnosti až od 07. 02. 2008

Obsah online archivu závěrečné práce

Zveřejněno v Theses:

Soubory jsou od 7. 2. 2008 dostupné: autentizovaným zaměstnancům ze stejné školy/fakulty

Jak jinak získat přístup k textu

Instituce archivující a zpřístupňující práci: Univerzita Tomáše Bati ve Zlíně, Fakulta aplikované informatiky
Plný text práce je k dispozici v elektronické podobě.

Odkaz na soubor do lokálního úložiště instituce

Univerzita Tomáše Bati ve Zlíně

Fakulta aplikované informatiky

Doktorský studijní program / obor:
Chemické a procesní inženýrství / Technická kybernetika

Práce na příbuzné téma

Žádné práce na příbuzné téma.