Title: “Engineering the behavior of Robots: Simulation and Model-Checking for Embedded Systems and Robotics”
Prof. Vladimir Estivill-Castro. Professor at the School of Information and Communication Technology, Griffith University, Australia. MiPal Lab Co-Director, Deputy Director IIS – Institute for Integrated and Intelligent Systems, Co-editor in chief CRPIT – Conferences in Research and Practice in Information Techonology
Date: 12 november 2012, from 13h to 14h
Place: Sala Segimon Serrallonga, UVic
| In this talk Dr. Vladimir Estivill-Castro suggests behavior specification should be high-level. He will explain how to extend finite state machines to allow expressions in Plausible Logic for labelling transitions. As a result, this will enable the design of behaviours that incorporate non-monotonic reasoning with a highlevel software development tool. Using a cognitive software architecture that supports the efficient implementation of a developing/programming environment, he automatically translate graphical designs of behaviour into executables that run on board autonomous robots. His suggestion (to replace events by expressions) results is a very effective descriptive and declarative mechanism for specifying requirements that can be applied to requirements engineering of robotic and embedded systems. The declarative model can automatically be translated and requirements are traceable to implementation and validation, minimising faults from the perspective of software engineering. He will compare their approach with Petri Nets and Behavior Trees using the wellknown examples. Finally, he will show how this leads to effective model-checking of rather nontrivial embedded systems. |
