1. Automata Based Programming Anatoly Shalyto, Fedor Tsarev Saint-Petersburg State University of Information Technologies, Mechanics and Optics

2. 2 Automata-based Programming Application design approach should be similar to the design of control systems Control System is Automata System States Events and Input Variables Output Actions Automaton Automata System

3. 3 Automata-based Programming Applications Hardware platforms Microprocessors Microcontrollers Programmable Logic Controllers (PLC) Programming paradigms Procedural design Object-oriented design PLC languages Ladder diagrams Functional diagrams Application areas High reliability systems Military applications Aerospace industry Automotive industry Embedded systems Mobile systems Visualization systems Web applications Client-server applications

4. 4 Automata-based Programming Advantages Applicable both for static structure and application behavior design Compact representation of complex behavior The best approach for formal verification and validation Project documentation Automata-based approach for specifications, design and implementation Automated code generation from state charts Suitable for concurrent programming

5. 5 Automata-based Programming Design and Modeling Tool

6. 6 Automata-based Programming Design and Modeling Tool Interactive model validation Quick fixes Labels autocompletion Model execution in-one-click Graphical local/remote debugger

7. 7 Automata-based Programming Achievements Completed projects Ship control systems Industrial automation systems Avionics simulator Web applications Applications for mobile phones UniMod – executable UML Awards “Priority Area of Science and Technology Development in Russia” research grant One of the best 15 scientific innovation projects in Russia A.A. Shalyto, the author of Automata-based Approach has been featured by Marquis “Who’s Who in Science and Engineering 2006-2007” Wikipedia URL: http://en.wikipedia.com/wiki/Automata-Based_Programminghttp://en.wikipedia.com/wiki/Automata-Based_Programming Information Systems Department URL: http://is.ifmo.ruhttp://is.ifmo.ru