This HTML5 document contains 36 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n17http://localhost/temp/predkladatel/
n16http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n9http://linked.opendata.cz/ontology/domain/vavai/
n13http://linked.opendata.cz/resource/domain/vavai/zamer/
n6http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F70883521%3A28140%2F08%3A63507133%21RIV09-MSM-28140___/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
skoshttp://www.w3.org/2004/02/skos/core#
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n8http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n14http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n11http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F70883521%3A28140%2F08%3A63507133%21RIV09-MSM-28140___
rdf:type
skos:Concept n9:Vysledek
dcterms:description
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í. 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 tha 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í.
dcterms:title
Aplikace formálních metod návrhu a tvorby softwarového vybavení na embedded systémy 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
skos:prefLabel
Formal-method-based Software Development Applied on Embedded Systems Aplikace formálních metod návrhu a tvorby softwarového vybavení na embedded systémy Aplikace formálních metod návrhu a tvorby softwarového vybavení na embedded systémy
skos:notation
RIV/70883521:28140/08:63507133!RIV09-MSM-28140___
n4:aktivita
n10:Z n10:S
n4:aktivity
S, Z(MSM7088352102)
n4:dodaniDat
n11:2009
n4:domaciTvurceVysledku
n16:8479453
n4:druhVysledku
n12:O
n4:duvernostUdaju
n15:S
n4:entitaPredkladatele
n6:predkladatel
n4:idSjednocenehoVysledku
356566
n4:idVysledku
RIV/70883521:28140/08:63507133
n4:jazykVysledku
n14:cze
n4:klicovaSlova
embedded systems; state chart; code generation; source code
n4:klicoveSlovo
n8:state%20chart n8:embedded%20systems n8:source%20code n8:code%20generation
n4:kontrolniKodProRIV
[5E30676AEA86]
n4:obor
n7:JC
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
1
n4:rokUplatneniVysledku
n11:2008
n4:tvurceVysledku
Bližňák, Michal
n4:zamer
n13:MSM7088352102
n17:organizacniJednotka
28140