Automatic code generation for embedded systems from high-level models/Automatinis iterptinems sistemoms skirto kodo generavimas naudojant aukstojo lygio modelius

Software engineering methods have not been able to keep up with the complexities of modern real-time embedded systems. Automatic code generation from high-level formal models removes the manual coding step, enabling faster and higher quality code generation from system specification. A code generation case study involving a mobile robot control algorithm is described and verified in MATLAB, performance and properties of the generated code are compared to hand-written code. Ill. 4, bibl. 5 (in English, summaries in English, Russian and Lithuanian). [TEXT NOT REPRODUCIBLE IN ASCII.] Klasikiniai programines irangos kurimo metodai netinka modernioms sudetingoms duomenis realiu laiku apdorojancioms iterptinems sistemoms kurti. Automatinis programinio kodo generavimas naudojant aukstojo lygmens formalizuotus modelius igalina sumazinti programuotojo darbo apimti ir greiciau sugeneruoti sistemos specifikacija atitinkanti kokybiska koda. Aprasomas mobiliojo roboto valdymo algoritma igyvendinancio kodo generavimas naudojant MATLAB terpe. Automatiskai generuojamas kodas lyginamas su zmogaus rasytu programos tekstu. Il. 4, bibl. 5 (anglu kalba; santraukos anglu, rusu ir lietuviu k.).