. "1335-2237" . "RIV/70883521:28140/06:63504368!RIV07-MSM-28140___" . . "Z(MSM7088352102)" . "[D427260176E5]" . "2"^^ . "RIV/70883521:28140/06:63504368" . . "Programming of embedded systems is a special discipline. In many cases, developers are using only low-level programming technologies and languages so it is obvious that this way of software development can be time-consuming and inefficient. One of the possible ways leading to speed-up of a software development process on embedded systems is application of formal-method-based development processes. The goal of this paper is to point out that some specific formal languages (more exactly usage of Finite State Machines) can be effectively used for producing of optimized source code that fulfils necessary requirements of embedded systems. Moreover, description of application logic by FSMs leads to ability of production of target platform and programming language-independent source code."@en . "Kol\u00E1\u0159, Du\u0161an" . . . . "AT&P Journal" . "1"^^ . "Bli\u017E\u0148\u00E1k, Michal" . "476169" . "Form\u00E1ln\u00ED metody v\u00FDvoje SW aplikovan\u00E9 na embedded syst\u00E9my: platformn\u011B nez\u00E1visl\u00FD programov\u00FD k\u00F3d (prvn\u00ED d\u00EDl)" . "12/06" . "XIII" . "FORMAL-METHOD-BASED SOFTWARE DEVELOPMENT APPLIED ON EMBEDDED SYSTEMS: PLATFORM-INDEPENDENT SOURCE CODE (Part I)"@en . . . "69-70" . . . "Form\u00E1ln\u00ED metody v\u00FDvoje SW aplikovan\u00E9 na embedded syst\u00E9my: platformn\u011B nez\u00E1visl\u00FD programov\u00FD k\u00F3d (prvn\u00ED d\u00EDl)"@cs . "SK - Slovensk\u00E1 republika" . . "Programov\u00E1n\u00ED embedded syst\u00E9mu je speci\u00E1ln\u00ED discipl\u00EDna. V mnoha p\u0159\u00EDpadech se vyu\u017E\u00EDvaj\u00ED pouze n\u00EDzko\u00FArov\u0148ov\u00E9 programovac\u00ED techniky a jazyky, z \u010Deho\u017E plyne, \u017Ee takov\u00FD zp\u016Fsob v\u00FDvoje aplikac\u00ED m\u016F\u017Ee b\u00FDt neefektivn\u00ED a \u010Dasov\u011B n\u00E1ro\u010Dn\u00FD. Jedna z mo\u017En\u00FDch cest vedouc\u00EDch ke zrychlen\u00ED v\u00FDvojov\u00E9ho procesu aplikac\u00ED ur\u010Den\u00FDch pro embedded syst\u00E9my je vyu\u017E\u00EDt\u00ED form\u00E1ln\u00EDch metod v\u00FDvoje aplikac\u00ED. C\u00EDlem \u010Dl\u00E1nku je uk\u00E1zat, \u017Ee ur\u010Dit\u00E9 typy form\u00E1ln\u00EDho popisu mohou b\u00FDt vyu\u017Eity pro tvorbu efektivn\u00EDho produk\u010Dn\u00EDho programov\u00E9ho k\u00F3du spl\u0148uj\u00EDc\u00EDho v\u0161echny po\u017Eadavky vypl\u00FDvaj\u00EDc\u00ED z charakteristick\u00FDch vlastnost\u00ED embedded syst\u00E9m\u016F. Nav\u00EDc, popis aplika\u010Dn\u00ED logiky pomoc\u00ED KSA umo\u017E\u0148uje za pou\u017Eit\u00ED vhodn\u00FDch n\u00E1stroj\u016F generov\u00E1n\u00ED platformn\u011B nez\u00E1visl\u00E9ho programov\u00E9ho k\u00F3du." . . "Programov\u00E1n\u00ED embedded syst\u00E9mu je speci\u00E1ln\u00ED discipl\u00EDna. V mnoha p\u0159\u00EDpadech se vyu\u017E\u00EDvaj\u00ED pouze n\u00EDzko\u00FArov\u0148ov\u00E9 programovac\u00ED techniky a jazyky, z \u010Deho\u017E plyne, \u017Ee takov\u00FD zp\u016Fsob v\u00FDvoje aplikac\u00ED m\u016F\u017Ee b\u00FDt neefektivn\u00ED a \u010Dasov\u011B n\u00E1ro\u010Dn\u00FD. Jedna z mo\u017En\u00FDch cest vedouc\u00EDch ke zrychlen\u00ED v\u00FDvojov\u00E9ho procesu aplikac\u00ED ur\u010Den\u00FDch pro embedded syst\u00E9my je vyu\u017E\u00EDt\u00ED form\u00E1ln\u00EDch metod v\u00FDvoje aplikac\u00ED. C\u00EDlem \u010Dl\u00E1nku je uk\u00E1zat, \u017Ee ur\u010Dit\u00E9 typy form\u00E1ln\u00EDho popisu mohou b\u00FDt vyu\u017Eity pro tvorbu efektivn\u00EDho produk\u010Dn\u00EDho programov\u00E9ho k\u00F3du spl\u0148uj\u00EDc\u00EDho v\u0161echny po\u017Eadavky vypl\u00FDvaj\u00EDc\u00ED z charakteristick\u00FDch vlastnost\u00ED embedded syst\u00E9m\u016F. Nav\u00EDc, popis aplika\u010Dn\u00ED logiky pomoc\u00ED KSA umo\u017E\u0148uje za pou\u017Eit\u00ED vhodn\u00FDch n\u00E1stroj\u016F generov\u00E1n\u00ED platformn\u011B nez\u00E1visl\u00E9ho programov\u00E9ho k\u00F3du."@cs . "28140" . . . "Form\u00E1ln\u00ED metody v\u00FDvoje SW aplikovan\u00E9 na embedded syst\u00E9my: platformn\u011B nez\u00E1visl\u00FD programov\u00FD k\u00F3d (prvn\u00ED d\u00EDl)"@cs . "2"^^ . . . "FORMAL-METHOD-BASED SOFTWARE DEVELOPMENT APPLIED ON EMBEDDED SYSTEMS: PLATFORM-INDEPENDENT SOURCE CODE (Part I)"@en . . "Form\u00E1ln\u00ED metody v\u00FDvoje SW aplikovan\u00E9 na embedded syst\u00E9my: platformn\u011B nez\u00E1visl\u00FD programov\u00FD k\u00F3d (prvn\u00ED d\u00EDl)" . "FSM; finite state machine; code generation; ANSI C; optimization; platform-independent"@en . .