Abstract

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).

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call