| Attributes | Values |
|---|
| rdf:type
| |
| Description
| - 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 (en)
- 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 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)
|
| Title
| - Formal-method-based Software Development Applied on Embedded Systems (en)
- 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 (cs)
|
| skos:prefLabel
| - Formal-method-based Software Development Applied on Embedded Systems (en)
- 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 (cs)
|
| skos:notation
| - RIV/70883521:28140/08:63507133!RIV09-MSM-28140___
|
| http://linked.open...avai/riv/aktivita
| |
| http://linked.open...avai/riv/aktivity
| |
| http://linked.open...vai/riv/dodaniDat
| |
| http://linked.open...aciTvurceVysledku
| |
| http://linked.open.../riv/druhVysledku
| |
| http://linked.open...iv/duvernostUdaju
| |
| http://linked.open...titaPredkladatele
| |
| http://linked.open...dnocenehoVysledku
| |
| http://linked.open...ai/riv/idVysledku
| - RIV/70883521:28140/08:63507133
|
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - embedded systems; state chart; code generation; source code (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open...in/vavai/riv/obor
| |
| http://linked.open...ichTvurcuVysledku
| |
| http://linked.open...cetTvurcuVysledku
| |
| http://linked.open...UplatneniVysledku
| |
| http://linked.open...iv/tvurceVysledku
| |
| http://linked.open...n/vavai/riv/zamer
| |
| http://localhost/t...ganizacniJednotka
| |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)