Программная инженерия для роботики
As robots play an increasing role in society, it is becoming ever more essential that they function correctly. I will present work done over the past several years in the Roboscoop project, leading to a robotics programming framework integrating principles of Design by Contract, object-oriented programming and safe concurrency. One of the outcomes is a SmartWalker robot to assist the elderly. The talk will discuss general issues of ensuring the reliability of robotics systems.