. "356566" . "Aplikace form\u00E1ln\u00EDch metod n\u00E1vrhu a tvorby softwarov\u00E9ho vybaven\u00ED na embedded syst\u00E9my"@cs . . . . "RIV/70883521:28140/08:63507133" . . . "Formal-method-based Software Development Applied on Embedded Systems"@en . . "Aplikace form\u00E1ln\u00EDch metod n\u00E1vrhu a tvorby softwarov\u00E9ho vybaven\u00ED na embedded syst\u00E9my" . . "[5E30676AEA86]" . "Embedded syst\u00E9my hraj\u00ED v sou\u010Dasn\u00E9 dob\u011B d\u016Fle\u017Eitou roli v na\u0161em ka\u017Edodenn\u00EDm \u017Eivot\u011B. Setk\u00E1v\u00E1me se s nimi ve spot\u0159ebn\u00ED elektronice, pr\u016Fmyslov\u00FDch robotech, zdravotnick\u00E9 technice, automobilov\u00E9m pr\u016Fmyslu, letectv\u00ED a v mnoha dal\u0161\u00EDch odv\u011Btv\u00EDch. Navzdory jejich obecn\u00E9mu roz\u0161\u00ED\u0159en\u00ED je jejich programov\u00E1n\u00ED st\u00E1le daleko m\u00E9n\u011B komfortn\u00ED, ne\u017E programov\u00E1n\u00ED klasick\u00FDch desktopov\u00FDch aplikac\u00ED. Program\u00E1to\u0159i mus\u00ED \u010Dasto detailn\u011B zn\u00E1t hardwarov\u00E9 prost\u0159ed\u00ED, pro kter\u00E9 aplikace vyv\u00EDj\u00ED a jimi tvo\u0159en\u00FD k\u00F3d mus\u00ED b\u00FDt co nejefektivn\u011Bj\u0161\u00ED a \u0161etrn\u00FD k vyu\u017E\u00EDv\u00E1n\u00ED syst\u00E9mov\u00FDch i HW prost\u0159edk\u016F, kter\u00E9 jsou velmi \u010Dasto citeln\u011B omezeny. Proto jsou nez\u0159\u00EDdka vyu\u017E\u00EDv\u00E1ny pouze n\u00EDzko\u00FArov\u0148ov\u00E9 programovac\u00ED jazyky a technologie, co\u017E m\u016F\u017Ee v\u00E9st k neefektivn\u00EDmu procesu tvorby SW a jeho chybovosti. C\u00EDlem t\u00E9to pr\u00E1ce je uk\u00E1zat, \u017Ee i v oblasti embedded syst\u00E9m\u016F lze \u00FAsp\u011B\u0161n\u011B pou\u017E\u00EDvat n\u011Bkter\u00E9 modern\u00ED metody form\u00E1ln\u00EDho n\u00E1vrhu a tvorby aplikac\u00ED k tomu, abychom byli schopni rychle a efektivn\u011B vytv\u00E1\u0159et optimalizovan\u00FD, produk\u010Dn\u00ED programov\u00FD k\u00F3d embedded aplikac\u00ED."@cs . . "1"^^ . "Aplikace form\u00E1ln\u00EDch metod n\u00E1vrhu a tvorby softwarov\u00E9ho vybaven\u00ED na embedded syst\u00E9my" . "1"^^ . "RIV/70883521:28140/08:63507133!RIV09-MSM-28140___" . "embedded systems; state chart; code generation; source code"@en . . "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 . . "Aplikace form\u00E1ln\u00EDch metod n\u00E1vrhu a tvorby softwarov\u00E9ho vybaven\u00ED na embedded syst\u00E9my"@cs . . "Formal-method-based Software Development Applied on Embedded Systems"@en . "Embedded syst\u00E9my hraj\u00ED v sou\u010Dasn\u00E9 dob\u011B d\u016Fle\u017Eitou roli v na\u0161em ka\u017Edodenn\u00EDm \u017Eivot\u011B. Setk\u00E1v\u00E1me se s nimi ve spot\u0159ebn\u00ED elektronice, pr\u016Fmyslov\u00FDch robotech, zdravotnick\u00E9 technice, automobilov\u00E9m pr\u016Fmyslu, letectv\u00ED a v mnoha dal\u0161\u00EDch odv\u011Btv\u00EDch. Navzdory jejich obecn\u00E9mu roz\u0161\u00ED\u0159en\u00ED je jejich programov\u00E1n\u00ED st\u00E1le daleko m\u00E9n\u011B komfortn\u00ED, ne\u017E programov\u00E1n\u00ED klasick\u00FDch desktopov\u00FDch aplikac\u00ED. Program\u00E1to\u0159i mus\u00ED \u010Dasto detailn\u011B zn\u00E1t hardwarov\u00E9 prost\u0159ed\u00ED, pro kter\u00E9 aplikace vyv\u00EDj\u00ED a jimi tvo\u0159en\u00FD k\u00F3d mus\u00ED b\u00FDt co nejefektivn\u011Bj\u0161\u00ED a \u0161etrn\u00FD k vyu\u017E\u00EDv\u00E1n\u00ED syst\u00E9mov\u00FDch i HW prost\u0159edk\u016F, kter\u00E9 jsou velmi \u010Dasto citeln\u011B omezeny. Proto jsou nez\u0159\u00EDdka vyu\u017E\u00EDv\u00E1ny pouze n\u00EDzko\u00FArov\u0148ov\u00E9 programovac\u00ED jazyky a technologie, co\u017E m\u016F\u017Ee v\u00E9st k neefektivn\u00EDmu procesu tvorby SW a jeho chybovosti. C\u00EDlem t\u00E9to pr\u00E1ce je uk\u00E1zat, \u017Ee i v oblasti embedded syst\u00E9m\u016F lze \u00FAsp\u011B\u0161n\u011B pou\u017E\u00EDvat n\u011Bkter\u00E9 modern\u00ED metody form\u00E1ln\u00EDho n\u00E1vrhu a tvorby aplikac\u00ED k tomu, abychom byli schopni rychle a efektivn\u011B vytv\u00E1\u0159et optimalizovan\u00FD, produk\u010Dn\u00ED programov\u00FD k\u00F3d embedded aplikac\u00ED." . . . "Bli\u017E\u0148\u00E1k, Michal" . "S, Z(MSM7088352102)" . . . . "28140" .