Automata Based Programming Anatoly Shalyto Fedor Tsarev SaintPetersburg
Automata Based Programming Anatoly Shalyto, Fedor Tsarev Saint-Petersburg State University of Information Technologies, Mechanics and Optics
Automata-based Programming l Application design approach should be similar to the design of control systems l l Control System is Automata System l l States Events and Input Variables Output Actions Automaton Automata System Automata-based Programming 2
Applications l Application areas l l l l High reliability systems l Military applications l Aerospace industry l Automotive industry Embedded systems Mobile systems Visualization systems Web applications Client-server applications Hardware platforms Microprocessors l Microcontrollers l Programmable Logic Controllers (PLC) l l Programming paradigms Procedural design l Object-oriented design l PLC languages l l l Ladder diagrams Functional diagrams Automata-based Programming 3
Advantages l l l l Applicable both for static structure and application behavior design Compact representation of complex behavior The best approach formal verification and validation Project documentation Automata-based approach for specifications, design and implementation Automated code generation from state charts Suitable for concurrent programming Automata-based Programming 4
Design and Modeling Tool Automata-based Programming 5
Design and Modeling Tool Interactive model validation l Quick fixes l Labels autocompletion l Model execution in-one-click l Graphical local/remote debugger l Automata-based Programming 6
Achievements Completed projects l Ship control systems l Industrial automation systems l Avionics simulator l Web applications l Applications for mobile phones l Uni. Mod – executable UML l Awards l “Priority Area of Science and Technology Development in Russia” research grant l One of the best 15 scientific innovation projects in Russia l A. A. Shalyto, the author of Automata-based Approach has been featured by Marquis “Who’s Who in Science and Engineering 2006 -2007” l Wikipedia URL: http: //en. wikipedia. com/wiki/Automata-Based_Programming l Information Systems Department URL: http: //is. ifmo. ru l Automata-based Programming 7
- Slides: 7