SMS: Моделирование и анализ робототехнических систем