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

Slides:

Advertisements

Similar presentations

Reliable Scripting Using Push Logic Push Logic David Greaves, Daniel Gordon University of Cambridge Computer Laboratory Reliable Scripting.

Advertisements

Creation of Automaton Classes from Graphical Models and Automatic Solution for Inverse Problem Yuri A. Gubin student of SPb SU ITMO supervised by Anatoly.

Kellan Hilscher. Definition Different perspectives on the components, behavioral specifications, and interactions that make up a software system Importance.

Hydra (A General Framework for Formalizing UML with Formal Languages for Embedded Systems*) *from the Ph.D. thesis of William E. McUmber Software Engineering.

Chapter 2- Visual Basic Schneider1 Chapter 2 Problem Solving.

Alternate Software Development Methodologies

1 The University of Jordan Mechatronics Engineering Department PLC: Programmable Logical Controller.

Automated creation of verification models for C-programs Yury Yusupov Saint-Petersburg State Polytechnic University The Second Spring Young Researchers.

Linux Summit 2004, Helsinki Foundation for Open Project Documentation Anatoly Shalyto Lev Naumov Computer Technology.

The State of the Art in VoiceXML Chetan Sharma, MS Graduate Student School of CSIS, Pace University.

Integrated Design and Analysis Tools for Software-Based Control Systems Shankar Sastry (PI) Tom Henzinger Edward Lee University of California, Berkeley.

©The McGraw-Hill Companies, Inc. Permission required for reproduction or display. slide 1 CS 125 Introduction to Computers and Object- Oriented Programming.

Department of Electrical and Computer Engineering Texas A&M University College Station, TX Abstract 4-Level Elevator Controller Lessons Learned.

©The McGraw-Hill Companies, Inc. Permission required for reproduction or display. slide 1 CS 125 Introduction to Computers and Object- Oriented Programming.

State-Driven Programming for Computer Games Georgiy Korneev Anatoly Shalyto Saint Petersburg State University of Information Technologies, Mechanics and.

Systems Engineering Project: System Validation and Verification Using SDL Ron Henry ENSE 623 November 30, 2004.

Chapter 1: Overview of Workflow Management Dr. Shiyong Lu Department of Computer Science Wayne State University.

Bridging the Gap Between Theory and Hardware Mario D. Marino, G. Robins, K. Skadron and L. Wang {mdm9uw,robins,skadron,lw2aw}.cs.virginia.edu Department.

Automata-Based Programming Anatoly Shalyto Computer Technology Department Saint-Petersburg State University of Information Technology,

Chapter 2- Visual Basic Schneider1 Chapter 2 Problem Solving.

By Ryan Mowry.  Graphical models of system  Entire system or just parts  Complex systems easier to understand  “Capture key requirements and demonstrate.

Use of Multimedia in Engineering. Mechatronics engineering is based on the combination from three basic engineering field that is mechaninal, electronics.

ECE 4951 Lecture 1: Programmable Logic Controllers.

Your Interactive Guide to the Digital World Discovering Computers 2012.

PLC introduction1 Discrete Event Control Concept Representation DEC controller design DEC controller implementation.

PLC: Programmable Logical Controller

CIT UPES | Sept 2013 | Unified Modeling Language - UML.

Programmable Logic Controller (PLC)

Reliable Design of Safety Critical Systems Dr. Abhik Roychoudhury School of Computing

METACASE. WHAT THIS PRESENTATION IS ABOUT  What’s META MODELING?  What’s METACASE?  METAEDIT+ 5.1 EVALUTION PROGRAM  Diagram and its kinds.

Object-Oriented Analysis and Design An Introduction.

Hardware Design Environment Instructors: Fu-Chiung Cheng ( 鄭福炯 ) Associate Professor Computer Science & Engineering Tatung University.

Microcontroller Presented by Hasnain Heickal (07), Sabbir Ahmed(08) and Zakia Afroze Abedin(19)

Building Java Programs Chapter 1 Introduction to Java Programming Copyright (c) Pearson All rights reserved.

CSCI 161: Introduction to Programming 1

B. Fernández, D. Darvas, E. Blanco Formal methods appliedto PLC code verification Automation seminar CERN – IFAC (CEA) 02/06/2014.

UML based expert system generation Using Enterprise Architect to model and generate a web-based expert system.

2 2009/10 Object Oriented Technology 1 Topic 2: Introduction to Object-Oriented Approach Reference: u Ch.16 Current Trends in System Development (Satzinger:

UML as a Specification Language for Embedded Systems. By, Mir Ahmed Ali, Asst. Professor, ECM department, SNIST. By, Prof. Narsiah sir, Director of School.

Automata Based Method for Domain Specific Languages Definition Ulyana Tikhonova PhD student at St. Petersburg State Politechnical University, supervised.

Extended Finite-State Machine Inference with Parallel Ant Colony Based Algorithms PPSN’14 September 13, 2014 Daniil Chivilikhin PhD student ITMO.

Extended Finite-State Machine Induction using SAT-Solver Vladimir Ulyantsev, Fedor Tsarev St. Petersburg National.

ICS 216 Embedded Systems Validation and Test Instructor: Professor Ian G. Harris Department of Computer Science University of California Irvine.

© 2006 Pearson Addison-Wesley. All rights reserved 2-1 Chapter 2 Principles of Programming & Software Engineering.

Software Engineering1  Verification: The software should conform to its specification  Validation: The software should do what the user really requires.

Modelling Reactive Systems 4 Professor Muffy Calder Dept. of Computing Science University of Glasgow

1 Technical & Business Writing (ENG-715) Muhammad Bilal Bashir UIIT, Rawalpindi.

Chapter 5 System Modeling. What is System modeling? System modeling is the process of developing abstract models of a system, with each model presenting.

Finite State Machines (FSM) OR Finite State Automation (FSA) - are models of the behaviors of a system or a complex object, with a limited number of defined.

Prof. Hany H. Ammar, CSEE, WVU, and

Introduction to Simulink Matlab based Both Continuous Time and Discrete Time Simulation Based on Blocksets Model Based Design: a software model of the.

STAR Webinars Ontology driven diagram generator for health simulation models Andrew Sutcliffe.

21/1/ Analysis - Model of real-world situation - What ? System Design - Overall architecture (sub-systems) Object Design - Refinement of Design.

Requirement Analysis SOFTWARE ENGINEERING. What are Requirements? Expression of desired behavior Deals with objects or entities, the states they can be.

1 CEN 4020 Software Engineering PPT4: Requirement analysis.

Fall 2007 Week 9: UML Overview MSIS 670: Object-Oriented Software Engineering.

Saint-Petersburg State University ITMO Automata-based Algorithms Visualization Framework Georgiy Korneev Computer Technology Department,

Automaton-Based Approach for Defining Dynamic Semantics of DSLs Ulyana Tikhonova St. Petersburg State Polytechnical University,

Science and Engineering Practices K–2 Condensed Practices3–5 Condensed Practices6–8 Condensed Practices9–12 Condensed Practices Developing and Using Models.

OPCAT: Object-Process CASE Tool

Daniil Chivilikhin and Vladimir Ulyantsev

PLC: Programmable Logical Controller

Programmable control systems

Online Shopping APP.

Object Oriented Analysis and Design

Introduction To software engineering

Software Verification and Validation

Software Verification and Validation

An overview of the CHESS Center

Software Verification and Validation

Presentation transcript:

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

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 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 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 Automata-based Programming Design and Modeling Tool

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 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 ” Wikipedia URL: Information Systems Department URL: