Automation Systems Discrete Event Control Systems and Networked Automation Systems
|
|
- Evangeline Park
- 5 years ago
- Views:
Transcription
1 Automation Systems Discrete Event Control Systems and Networked Automation Systems 2 nd Lecture Control Design Process
2 System theory or Software-Engineering? System Theory Starting point: mathematical model of the plant (modeling or identification) Task can be standardized in mathematical form (tracking reference inputs, compensating disturbances) Algorithms in standard forms for different cases (PI, PID, Two-Point,...) Reuse is possible by defining new parameters Calculated solution has guaranteed qualities (Precondition: good plant model) (stability, damping,...) Feedback control design Software-Engineering Normally, plant model is not available or just highly abstracted Task varies according to every individual project, thus cannot be standardized Control algorithm must be designed respectively for each non-standardized task. Only partial components are reusable Qualities of the solution must be proved Logic control design 36
3 Approach in the Industrial Practice Specifications of the schedule (Gantt-Chart) for automatic modes Control algorithm Xfer S1 C1on S1 Xfer operations C1on time CAD Model of the machine Idle S2 C2on Fault Xfer C1on ManMode 37
4 Approach in the Industrial Practice (schematic) Validation Informal Specification Realization Direct Implementation 38
5 Informal Specification One can always find an informal specification of a task as the starting point for control design. The informal specification involves everything that is not developed on a strictly defined theoretical basis, e.g. can be understood by everyone verbal descriptions Sketches Scheduling diagrams Generally speaking, the informal specification involves. The description of the uncontrolled process (e.g.,,p&id (RI-Fließbild) according to DIN 19227). Requirements on the to be controlled process are described. Direct requirements on the control algorithm can be also contained. These parts of the specification are not strictly separated from each other Problem: since the task descriptions base on no properly defined syntax and semantics, they can not be formally examined for completeness and unambiguity 39
6 Direct Implementation In most cases, the direct implementation from the informal specification into desired realization is common practice in industry. Problem: Unfortunately, the direct way involves various error possibilities and delays the time of beginning operation. Realization Generally the realization always consists of a combination of hardware and software. On the software side, there are several software layers involved such as real-time-processing-system, communication software and algorithm layer. If one uses standard systems with properly defined functionality, e.g. a PLC, then the result of the control design is the software on the algorithm layer. Besides the vendor-specific languages for the implementation, there are also some standardized languages according to DIN EN , which has became generally accepted. 40
7 Validation (informal) During validation, statements are made about : to which extent the entire control system fulfills the desired function. Thereby the path is established from the realization to the informal specification. With the validation one obtains the possibility of detecting errors during the direct implementation. A further important task of validation is to recognize the,,inconsistency which may be presented in the informal specification. Typically it concerns incomplete or inconsistent definitions. In most cases, the validation leads to the change of the originally given (a posteriori invalid) specification. Problem: The validation on basis of realization can only be formalized to a restricted extend. Highly time-consuming, non-automatable, in general. incomplete 41
8 Methods of Validation (informal) Generally, one defines the term Test for the procedure in which the implementation of the informal specification is validated. A distinction is drawn between White Box Tests und Black Box Tests. White box tests base on the internal structure of the examined program or algorithm. Code-Inspection: A team reads and discusses the algorithm line by line. Walkthroughs: The team reads the algorithm on the assumption of previous defined cases. (manual simulation). Within Black Box Tests, only the external interfaces of the system are considered (the inside appears as Black box). On the basis of specified cases, input signals are given to the system. The resulting output signals are compared with the specification. The Black Box Test is a common method within engineering. Two possibilities Without plant (test facility) With plant (Hardware-in-the-Loop) 42
9 Controller design process with formal methods Validation Informal Specification Formalization Formal Specification Implementation Realization Direct Implementation 43
10 Formalization The formalization, i.e. the conversion of an informal specification into a formal one, is the key to get the systematic solution of the control problem. The conversion can be done with computer-aided methods, but not automatically. It is in the core an achievement of humans, since the informal specification serves as starting point. Formal Specification The precondition of the formal specification is that proper methods and appropriate tools are available. Examples include: Boolean equations of system (Boolean algebra) Finite automata Petri nets 44
11 Problem of Operation-Mode-Switching Focus of the theory within control engineering is the automatic operation of a plant. ( normal operation ) BUT This part constitutes just 10% - 20% of control codes in a normal application. Rest: Error handling, Start, Shutdown, Manual operation,... One must take the operation modes into consideration before the control logic is formally designed. GEMMA 45
12 GEMMA Problem: Task of the process (major): generation of added-value Control algorithm serves for the profit-maximizing Normal operation But Function of all components cannot be guaranteed Preparation and post-processing of products are necessary Safety instructions to follow! Different control algorithms and plant specifications for the same process Solution: GEMMA (Guide d Etude des Modes de Marches et d Arrets) Guideline for planning the operation-modes and standstill-modes Design form 1984 proposed by the ADEPA (France) Integrative definition of operation-modes and nomenclature Specification describes control hardware and software 46
13 GEMMA: Basic diagram PZ A <Standstill states> F <Operation states> A6 <Turn into the initial state> A1 <Initial state> F4 <Manual operation> A 7 <Transfer to certain state> A4 <Achieved standstill> Start requested F2 <Start> F3 <Shut down> A5 <Preparation to resumption after disturbance > A 2 Production <Standstill requested at the end of the cycle> A 3 <Standstill requested in the specific state> F1 <Normal operation> F5 < Stepwiseoperation > D2 <Diagnosis and error handling> D 3 <Production despites disturbance> F6 <Test operation> Production Production D 1 <Emergency stop> D <Fault states> Fault detected F A: Standstill states F: Operation states D: Fault states PZ: No power supply of the control 47
14 GEMMA: 4 State Groups F (Procédures de Fonctionnement): Normal operation states (blue): All the operation states, which describe the error-free operation of the running plant, are collected here. Besides the normal operation, there are also stepwise operation as well as modes for start and shutdown. A (Procédures d Arrêt de la partie opérative): Standstill states (yellow): In this group, all the modes are collected, in which the plant stops or is transferred into a stop state (in particular also the initial condition). In this group, the reason for stopping the process comes from outside of the system. (e.g.: change-over of work-shifts) D (Procédures en Défaillance de la partie opérative): Fault states (Sensors and Actuators) (orange): Here all the states, which are activated in case of error reporting in the plant (e.g. Diagnosis), are included. Even if one state concerns the standstill state, it is not assigned to the yellow division (Standstill states), since the reasons lie within the system (e.g. failure of actuators ). PZ (Partie Commande hors énergie): No power supply of the control (red): This state is designed to enable modeling of the failure on control hardware. There is an assumption in GEMMA, that the control hardware works error-free in all other operation modes. 48
15 GEMMA: Approach Production: Within this box, which extends over three operation state groups, are all modes, in which something is produced. No production takes place outside the box. For some operating states, an assignment is only possible if the exact function of the respective program is know. Therefore they are located on the border (e.g. F5 stepwise operation). Design Approach 1) Selection of the operation modes 2) Definition of the transitions incl. switching conditions 3) Conversion into Grafcet, SIPN 4) Implementation Restriction of the method: Single Controller (1984!!) 49
16 Summary of Chapter 2 Control Design Methods classic formal Individual design steps and their meaning GEMMA-Method Goal Principle Approach 50
Simulink/Stateflow. June 2008
Simulink/Stateflow Paul Caspi http://www-verimag.imag.fr/ Pieter Mosterman http://www.mathworks.com/ June 2008 1 Introduction Probably, the early designers of Simulink in the late eighties would have been
More informationIntroduction to Formal Methods
2008 Spring Software Special Development 1 Introduction to Formal Methods Part I : Formal Specification i JUNBEOM YOO jbyoo@knokuk.ac.kr Reference AS Specifier s Introduction to Formal lmethods Jeannette
More informationIntroduction to Control Systems Design
Experiment One Introduction to Control Systems Design Control Systems Laboratory Dr. Zaer Abo Hammour Dr. Zaer Abo Hammour Control Systems Laboratory 1.1 Control System Design The design of control systems
More informationDISCRETE-event dynamic systems (DEDS) are dynamic
IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, VOL. 7, NO. 2, MARCH 1999 175 The Supervised Control of Discrete-Event Dynamic Systems François Charbonnier, Hassane Alla, and René David Abstract The supervisory
More informationTechniques for the unambiguous specification of software
Formal Techniques for the unambiguous of software Objectives To explain why formal techniques help discover problems in system requirements To describe the use of algebraic techniques for interface To
More informationKnowledge-based Systems for Industrial Applications
Knowledge-based Systems for Industrial Applications 1 The Topic 2 Tasks Goal: Overview of different tasks Systematic and formal characterization as a requirement for theory and implementation Script: Chap.
More informationIndustrial Automation course
Industrial Automation course Lesson 5 PLC - SFC Politecnico di Milano Universidad de Monterrey, July 2015, A. L. Cologni 1 History Before the 60s the SEQUENTIAL CONTROL was seen as EXTENSION OF THE CONTINUOUS
More informationManaging test suites for services
Managing test suites for services Kathrin Kaschner Universität Rostock, Institut für Informatik, 18051 Rostock, Germany kathrin.kaschner@uni-rostock.de Abstract. When developing an existing service further,
More informationUSTGlobal INNOVATION INFORMATION TECHNOLOGY. Using a Test Design Tool to become a Digital Organization
USTGlobal INNOVATION INFORMATION TECHNOLOGY Using a Test Design Tool to become a Digital Organization Overview: Automating test design reduces efforts and increases quality Automated testing resolves most
More informationBy: Chaitanya Settaluri Devendra Kalia
By: Chaitanya Settaluri Devendra Kalia What is an embedded system? An embedded system Uses a controller to perform some function Is not perceived as a computer Software is used for features and flexibility
More informationMONIKA HEINER.
LESSON 1 testing, intro 1 / 25 SOFTWARE TESTING - STATE OF THE ART, METHODS, AND LIMITATIONS MONIKA HEINER monika.heiner@b-tu.de http://www.informatik.tu-cottbus.de PRELIMINARIES testing, intro 2 / 25
More informationException Handling in S88 using Grafchart *
Presented at the World Batch Forum North American Conference Woodcliff Lake, NJ April 7-10, 2002 107 S. Southgate Drive Chandler, Arizona 85226-3222 480-893-8803 Fax 480-893-7775 E-mail: info@wbf.org www.wbf.org
More informationA Framework for the Design of Mixed-Signal Systems with Polymorphic Signals
A Framework for the Design of Mixed-Signal Systems with Polymorphic Signals Rüdiger Schroll *1) Wilhelm Heupke *1) Klaus Waldschmidt *1) Christoph Grimm *2) *1) Technische Informatik *2) Institut für Mikroelektronische
More informationGraph Theory Questions from Past Papers
Graph Theory Questions from Past Papers Bilkent University, Laurence Barker, 19 October 2017 Do not forget to justify your answers in terms which could be understood by people who know the background theory
More informationPart 5. Verification and Validation
Software Engineering Part 5. Verification and Validation - Verification and Validation - Software Testing Ver. 1.7 This lecture note is based on materials from Ian Sommerville 2006. Anyone can use this
More informationVirtual Plant for Control Program Verification
2011 International Conference on Circuits, System and Simulation IPCSIT vol.7 (2011) (2011) IACSIT Press, Singapore Virtual Plant for Control Program Verification Sangchul Park 1 + and June S. Jang 2 1
More informationParnas Tables: A Practical Formalism. Joanne M. Atlee Department of Computer Science University of Waterloo
Parnas Tables: A Practical Formalism Joanne M. Atlee Department of Computer Science University of Waterloo Critical Software Medical Devices Transportation Telecommunications Automated Manufacturing Software
More informationResearch Article Modeling and Simulation Based on the Hybrid System of Leasing Equipment Optimal Allocation
Discrete Dynamics in Nature and Society Volume 215, Article ID 459381, 5 pages http://dxdoiorg/11155/215/459381 Research Article Modeling and Simulation Based on the Hybrid System of Leasing Equipment
More informationLecture 15 Software Testing
Lecture 15 Software Testing Includes slides from the companion website for Sommerville, Software Engineering, 10/e. Pearson Higher Education, 2016. All rights reserved. Used with permission. Topics covered
More informationCombining IEC and ISA S88 for Batch Control
Preprints of the 13th IFAC Symposium on Information Control Problems in Manufacturing, Moscow, Russia, June 3-5, 2009 We-A7.1 Combining IEC 61499 and ISA S88 for Batch Control D. Ivanova*, I. Batchkova*,
More informationPETRI NET ANALYSIS OF BATCH RECIPES
Presented at FOCAPO 98, Snowbird, USA. PETRI NET ANALYSIS OF BATCH RECIPES STRUCTURED WITH GRAFCHART Charlotta Johnsson and Karl-Erik Årzén Department of Automatic Control, Lund Institute of Technology,
More informationFormal Foundations of Software Engineering
Formal Foundations of Software Engineering http://d3s.mff.cuni.cz Martin Nečaský Pavel Parízek CHARLES UNIVERSITY IN PRAGUE faculty of mathematics and physics Goals of the course Show methods and tools
More informationIntroduction to Software Engineering p. 1 The Scope of Software Engineering p. 3 Historical Aspects p. 4 Economic Aspects p. 7 Maintenance Aspects p.
Preface p. xv Introduction to Software Engineering p. 1 The Scope of Software Engineering p. 3 Historical Aspects p. 4 Economic Aspects p. 7 Maintenance Aspects p. 8 Specification and Design Aspects p.
More informationMISRA C:2012 WHITE PAPER
WHITE PAPER MISRA C:2012 Since its launch in 1998, MISRA C has become established as the most widely used set of coding guidelines for the C language throughout the world. Originally developed within the
More informationModeling Issues Modeling Enterprises. Modeling
Modeling Issues Modeling Enterprises SE502: Software Requirements Engineering Modeling Modeling can guide elicitation: It can help you figure out what questions to ask It can help to surface hidden requirements
More informationDISCRETE TIME ADAPTIVE LINEAR CONTROL
DISCRETE TIME ADAPTIVE LINEAR CONTROL FOR SOFTWARE SYSTEMS Martina Maggio Lund University From wikipedia: CONTROL THEORY Control theory is an interdisciplinary branch of engineering and mathematics that
More informationRequirements Validation and Negotiation
REQUIREMENTS ENGINEERING LECTURE 2017/2018 Joerg Doerr Requirements Validation and Negotiation AGENDA Fundamentals of Requirements Validation Fundamentals of Requirements Negotiation Quality Aspects of
More informationAutomation Systems Discrete Event Control Systems and Networked Automation Systems
Automation Systems Discrete Event Control Systems and Networked Automation Systems 4 th Lecture Realization of Logic Controllers: PLC Introduction and Conception Standardization in Logic Control NEMA Programmable
More informationHuman Error Taxonomy
Human Error Taxonomy The Human Error Taxonomy (HET) provides a structure for requirement errors made during the software development process. The HET can be employed during software inspection to help
More informationIntroduction to Software Engineering. ECSE-321 Unit 9 Architectural Design Approaches
Introduction to Software Engineering ECSE-321 Unit 9 Architectural Design Approaches Requirement Elicitation Analysis (Software Product Design) Architectural Design Detailed Design Architectural Design
More informationSubsystem Hazard Analysis (SSHA)
Subsystem Hazard Analysis (SSHA) c "!$#%! Examine subsystems to determine how their Normal performance Operational degradation Functional failure Unintended function Inadvertent function (proper function
More informationISO SINAMICS G110D FAQ
Cover sheet Safe Torque Off (STO) of an AS-idriven SINAMICS G110D with SIL 3 in compliance with IEC 62061 or PL e in compliance with ISO 13849-1 SINAMICS G110D FAQ November 2012 Service & Support Answers
More informationChapter 1 Introduction
Chapter 1 Introduction We hardly need to point out the importance of business process modelling and of respective automation in this place (see, e.g. [39, 45, 58, 110, 141]). Also the advantages and shortcomings
More informationSample Exam Syllabus
ISTQB Foundation Level 2011 Syllabus Version 2.9 Release Date: December 16th, 2017. Version.2.9 Page 1 of 46 Dec 16th, 2017 Copyright 2017 (hereinafter called ISTQB ). All rights reserved. The authors
More informationCourse Introduction to Matlab and Simulink - Stateflow
Course Introduction to Matlab and Simulink - Stateflow Emanuele Ruffaldi June 08, 2017 http://www.eruffaldi.com/wp/introduction-to-matlab-and-simulink/ Scuola Superiore Sant Anna, Pisa Event-driven Systems
More informationRequirements Validation and Negotiation
REQUIREMENTS ENGINEERING LECTURE 2015/2016 Eddy Groen Requirements Validation and Negotiation AGENDA Fundamentals of Requirements Validation Fundamentals of Requirements Negotiation Quality Aspects of
More informationPetri Nets ~------~ R-ES-O---N-A-N-C-E-I--se-p-te-m--be-r Applications.
Petri Nets 2. Applications Y Narahari Y Narahari is currently an Associate Professor of Computer Science and Automation at the Indian Institute of Science, Bangalore. His research interests are broadly
More informationMethodologies of safety-related Software development
Proceedings of the 6th WSEAS International Conference on Applied Computer Science, Tenerife, Canary Islands, Spain, December 16-18, 2006 131 Methodologies of safety-related Software development J. Börcsök
More informationKey Features. Defect Rates. Traditional Unit testing: 25 faults / KLOC System testing: 25 / KLOC Inspections: / KLOC
Cleanroom attempt to mathematically-based, scientific engineering process of software development Cleanroom software engineering yields software that is correct by mathematically sound design, and software
More informationFrom Design to Production
From Design to Production An integrated approach Paolo Fabbri Senior Engineer 2014 The MathWorks, Inc. 1 Do you know what it is? Requirements System Test Functional Spec Integration Test Detailed Design
More informationUpgrading the Reactor Power Control Concept with a Modern Digital Control System
Upgrading the Reactor Power Control Concept with a Modern Digital Control System Entsorgung und Stilllegung M. Längle, R. Schildheuer TÜV SÜD Energietechnik GmbH Baden-Württemberg Mannheim, Germany TÜV
More informationChair of Software. Engineering. Overview. School of Business Informatics and Mathematics. 1. Find out why software engineering is important
1 Overview 1. Find out why software engineering is important Chair of Software see some software engineering failures Engineering 2. Get acquainted with the Chair of Software Engineering the research the
More information2009 E09PS E09PS E09PS E09PS E09PS E09PS38 IEEE 2009 E09PS39 E09PS40 E09PS41 E09PS42 E09PS43 IEEE 2008 E09PS44
1 CODE IEEE TRANSACTION POWER SYSTEM YEAR E09PS32 E09PS01 E09PS02 E09PS03 E09PS04 E09PS05 E09PS06 E09PS07 E09PS08 E09PS09 E09PS10 E09PS11 E09PS12 E09PS13 E09PS14 E09PS15 E09PS16 E09PS17 E09PS18 E09PS19
More informationMURPHY S COMPUTER LAWS
Bosch Workshop 04/08/18 Brandenburg University of Technology at Cottbus, Dep. of Computer Science MURPHY S COMPUTER LAWS (1) No program without faults. DEPENDABLE SOFTWARE - AN UNREALISTIC DREAM OR JUST
More informationCHAPTER 1 INTRODUCTION
1 CHAPTER 1 INTRODUCTION 1.1 Motivation The presence of uncertainties and disturbances has always been a vital issue in the control of dynamic systems. The classical linear controllers, PI and PID controllers
More informationRequirements Modelling and Software Systems Implementation Using Formal Languages
Requirements Modelling and Software Systems Implementation Using Formal Languages Radek Kočí Brno University of Technology, Faculty of Information Technology Czech Republic koci@fit.vutbr.cz ICSEA 2018,
More informationQuality Assurance in Software Development
Quality Assurance in Software Development Qualitätssicherung in der Softwareentwicklung A.o.Univ.-Prof. Dipl.-Ing. Dr. Bernhard Aichernig Graz University of Technology Austria Summer Term 2017 1 / 47 Agenda
More informationProgramming Languages Third Edition
Programming Languages Third Edition Chapter 12 Formal Semantics Objectives Become familiar with a sample small language for the purpose of semantic specification Understand operational semantics Understand
More informationPart I: Preliminaries 24
Contents Preface......................................... 15 Acknowledgements................................... 22 Part I: Preliminaries 24 1. Basics of Software Testing 25 1.1. Humans, errors, and testing.............................
More informationExercises: Instructions and Advice
Instructions Exercises: Instructions and Advice The exercises in this course are primarily practical programming tasks that are designed to help the student master the intellectual content of the subjects
More informationAUTOMATION. Dr. Ibrahim Al-Naimi
AUTOMATION Dr. Ibrahim Al-Naimi Chapter four Industrial Control Systems Process and Discrete Industries Level of automation. Variables and parameters. Continuous and Discrete Variables/Parameters Continuous
More informationPetri-net-based Workflow Management Software
Petri-net-based Workflow Management Software W.M.P. van der Aalst Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands,
More informationSoftware Testing. Testing: Our Experiences
Software Testing Testing: Our Experiences Test Case Software to be tested Output 1 Test Case Generation When to Stop? Test Case Software to be tested Verification Output No Enough? Test Coverage Yes A
More informationDistributed Control Systems (DCS)
Training Title Distributed Control Systems (DCS) Training Duration 5 days Training Venue and Dates Distributed Control Systems (DCS) 5 13-17 May $3,300 Abu Dhabi In any of the 5 star hotel. The exact venue
More informationQ Body of techniques supported by. R precise mathematics. R powerful analysis tools. Q Rigorous, effective mechanisms for system.
Introduction to Formal Methods 1 Introduction to Formal Methods 2 Formal Specification Requirements specification R notational statement of system services Software specification R formal abstract depiction
More informationLecture 20 : Trees DRAFT
CS/Math 240: Introduction to Discrete Mathematics 4/12/2011 Lecture 20 : Trees Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT Last time we discussed graphs. Today we continue this discussion,
More informationSequential Function Chart
Production Systems Control Automation Engineering 2011-2012 Sequential Function Chart Prof. Luca Ferrarini Eng. Giancarlo Mantovani Politecnico di Milano Dipartimento di Elettronica e Informazione Index
More informationCompact Control Builder AC 800M and S800 I/O ABB
Compact Control Builder AC 800M and S800 I/O ABB 2 COMPACT CONTROL BUILDER Compact Control Builder Fotnote 1: According to the IEC 61131-3 standard. Compact Control Builder The Compact Control Builder,
More informationModel Checking for Hybrid Systems
Model Checking for Hybrid Systems Bruce H. Krogh Carnegie Mellon University Hybrid Dynamic Systems Models Dynamic systems with both continuous & discrete state variables Continuous-State Systems differential
More informationSelection of UML Models for Test Case Generation: A Discussion on Techniques to Generate Test Cases
St. Cloud State University therepository at St. Cloud State Culminating Projects in Computer Science and Information Technology Department of Computer Science and Information Technology 6-2018 Selection
More informationCurriculum for the Bachelor's Degree Programme in Software Development National section
Curriculum for the Bachelor's Degree Programme in Software Development National section Contents 1. Programme structure... 3 2. Core areas of study... 3 2.1 Large-scale system development... 3 2.2 Databases
More information3.4 Deduction and Evaluation: Tools Conditional-Equational Logic
3.4 Deduction and Evaluation: Tools 3.4.1 Conditional-Equational Logic The general definition of a formal specification from above was based on the existence of a precisely defined semantics for the syntax
More informationObject Oriented Programming
Binnur Kurt kurt@ce.itu.edu.tr Istanbul Technical University Computer Engineering Department 1 Version 0.1.2 About the Lecturer BSc İTÜ, Computer Engineering Department, 1995 MSc İTÜ, Computer Engineering
More informationVirtual Plant control based on ABB 800xa Conceptualization to Simulator
Virtual Plant control based on ABB 800xa Conceptualization to Simulator Yousef Iskandarani, Karina Nohammer and Hamid Reza Karimi Department of Engineering University of Agder Jon Lilletuns vei 9, 4879
More informationSIMPLY PRECISE USER MANUAL. ADJUSTMENT TOOL For NUMERIK JENA Encoders with Online Compensation
USER MANUAL ADJUSTMENT TOOL For NUMERIK JENA Encoders with Online Compensation 2 Index 1. Features and Applications... 3 1.1 Functions of the ADJUSTMENT TOOL... 3 1.2 Dynamic Offset and Amplitude Control
More informationInternational Journal of Advance Engineering and Research Development. Flow Control Loop Analysis for System Modeling & Identification
Scientific Journal of Impact Factor(SJIF): 3.134 e-issn(o): 2348-4470 p-issn(p): 2348-6406 International Journal of Advance Engineering and Research Development Volume 2,Issue 5, May -2015 Flow Control
More informationModeling and Analysis of Distributed Control Networks
Modeling and Analysis of Distributed Control Networks Rajeev Alur, Alessandro D Innocenzo, Gera Weiss, George J. Pappas PRECISE Center for Embedded Systems University of Pennsylvania Motivation ( ) ( )
More informationA Guide to RDS Reference Designation Systems
DS-HANDBOOK 166:2017 2 ND EDITION A Guide to RDS Reference Designation Systems TAG Numbers for Systems in Accordance with the ISO/IEC 81346 Standard Series Contents 1 Getting Started 1 1.1 Reading Guide...
More informationLecture 2 Finite Automata
Lecture 2 Finite Automata August 31, 2007 This lecture is intended as a kind of road map to Chapter 1 of the text just the informal examples that I ll present to motivate the ideas. 1 Expressions without
More informationCh 5 Industrial Control Systems
Ch 5 Industrial Control Systems Sections: 1. Process Industries vs. Discrete Manufacturing Industries 2. Continuous vs. Discrete Control 3. Computer Process Control Industrial Control - Defined The automatic
More informationIn this Lecture you will Learn: Testing in Software Development Process. What is Software Testing. Static Testing vs.
In this Lecture you will Learn: Testing in Software Development Process Examine the verification and validation activities in software development process stage by stage Introduce some basic concepts of
More informationFrom Control Loops to Software
CNRS-VERIMAG Grenoble, France September 2007 Let s Get Personal Paul Caspi and myself have shared an office for 11 years. During this period Paul had to be exposed to various things, not all pleasant Hear
More informationMATLAB Control Software Bharat Balagopal, Bharathram Balasubramanian, and Eric Stratton Green
ECE-536 DIGITAL CONTROL SYSTEMS Page 1 of 12 MATLAB Control Software Bharat Balagopal, Bharathram Balasubramanian, and Eric Stratton Green Electrical and Computer Engineering Department, North Carolina
More informationStatic Safety Analysis of UML Action Semantics for Critical Systems Development
Static Safety Analysis of UML Action Semantics for Critical Systems Development Zsigmond Pap, Dániel Varró Dept. of Measurement and Information Systems Budapest University of Technology and Economics H-1521
More informationUnit 1 Introduction to Software Engineering
Unit 1 Introduction to Software Engineering João M. Fernandes Universidade do Minho Portugal Contents 1. Software Engineering 2. Software Requirements 3. Software Design 2/50 Software Engineering Engineering
More information(From Glenford Myers: The Art of Software Testing)
A Testing Exercise: (From Glenford Myers: The Art of Software Testing) A program reads three integer values from a card. The three values are interpreted as representing the lengths of the sides of a triangle.
More informationExamining the Code. [Reading assignment: Chapter 6, pp ]
Examining the Code [Reading assignment: Chapter 6, pp. 91-104] Static white-box testing Static white-box testing is the process of carefully and methodically reviewing the software design, architecture,
More informationCS 242. Fundamentals. Reading: See last slide
CS 242 Fundamentals Reading: See last slide Syntax and Semantics of Programs Syntax The symbols used to write a program Semantics The actions that occur when a program is executed Programming language
More informationHomework 3 Handout 19 February 18, 2016
CSEE E6861y Prof. Steven Nowick Homework 3 Handout 19 February 18, 2016 This homework is due at the beginning of class on Thursday, March 3. NOTE: A correct answer without adequate explanation or derivation
More informationFormal specification of semantics of UML 2.0 activity diagrams by using Graph Transformation Systems
Formal specification of semantics of UML 2.0 activity diagrams by using Graph Transformation Systems Somayeh Azizi 1, Vahid Panahi 2 Computer science department, Sama Technical and vocational, Training
More informationApplications & Tools. Failsafe and standard cross communication of the MSS 3RK3 via AS-Interface. SIRIUS Safety. FAQ February 2012
Cover sheet Failsafe and standard cross communication of the MSS 3RK3 via AS-Interface SIRIUS Safety FAQ 58512565 February 2012 Applications & Tools Answers for industry. Industry Automation und Drives
More informationGuidelines for deployment of MathWorks R2010a toolset within a DO-178B-compliant process
Guidelines for deployment of MathWorks R2010a toolset within a DO-178B-compliant process UK MathWorks Aerospace & Defence Industry Working Group Guidelines for deployment of MathWorks R2010a toolset within
More information10. Software Testing Fundamental Concepts
10. Software Testing Fundamental Concepts Department of Computer Science and Engineering Hanyang University ERICA Campus 1 st Semester 2016 Testing in Object-Oriented Point of View Error Correction Cost
More informationDrive Technology \ Drive Automation \ System Integration \ Services. Manual. CCU Universal Module Application Module
Drive Technology \ Drive Automation \ System Integration \ Services Manual CCU Universal Module Application Module Edition 05/2011 17061210 / EN SEW-EURODRIVE Driving the world Contents Contents 1 General
More informationSemantic Subtyping. Alain Frisch (ENS Paris) Giuseppe Castagna (ENS Paris) Véronique Benzaken (LRI U Paris Sud)
Semantic Subtyping Alain Frisch (ENS Paris) Giuseppe Castagna (ENS Paris) Véronique Benzaken (LRI U Paris Sud) http://www.cduce.org/ Semantic Subtyping - Groupe de travail BD LRI p.1/28 CDuce A functional
More informationAn Automatic Test Case Generator for Testing Safety-Critical Software Systems
An Automatic Test Case Generator for Testing Safety-Critical Software Systems Mehdi Malekzadeh Faculty of Computer Science and IT University of Malaya Kuala Lumpur, Malaysia mehdi_malekzadeh@perdana.um.edu.my
More informationFormal Methods and their role in Software and System Development. Riccardo Sisto, Politecnico di Torino
Formal Methods and their role in Software and System Development Riccardo Sisto, Politecnico di Torino What are Formal Methods? Rigorous (mathematical) methods for modelling and analysing (computer-based)
More informationProgramme Outcome COURSE OUTCOMES MCA
Programme Outcome PO1: To provide trained human resource for the IT industry. COURSE OUTCOMES MCA MCA 101 : Object Oriented Programming CO1 The students develops a sound approach to problem solving using
More informationThe Bizarre Truth! Automating the Automation. Complicated & Confusing taxonomy of Model Based Testing approach A CONFORMIQ WHITEPAPER
The Bizarre Truth! Complicated & Confusing taxonomy of Model Based Testing approach A CONFORMIQ WHITEPAPER By Kimmo Nupponen 1 TABLE OF CONTENTS 1. The context Introduction 2. The approach Know the difference
More informationWorkflow for Control System Design and Implementation
Workflow for Control System Design and Implementation - Dhirendra Singh, Application Engineer - Shobhit Shanker, Application Engineer 2012 The MathWorks, Inc. 1 Agenda Industry Trends and Challenges Design
More informationFormal languages and computation models
Formal languages and computation models Guy Perrier Bibliography John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman - Introduction to Automata Theory, Languages, and Computation - Addison Wesley, 2006.
More informationET345P Control Systems [Onsite]
ET345P Control Systems [Onsite] Course Description: Students examine the control of systems with programmable units. Applying digital logic to control industrial processes is emphasized. Prerequisite(s)
More informationLECTURE 9 TEST DESIGN TECHNIQUES - II
LECTURE 9 TEST DESIGN TECHNIQUES - II DECISION TABLE A decision table is a good way to deal with different combination inputs with their associated outputs and also called cause-effect table. Decision
More informationDistributed Systems Programming (F21DS1) Formal Verification
Distributed Systems Programming (F21DS1) Formal Verification Andrew Ireland Department of Computer Science School of Mathematical and Computer Sciences Heriot-Watt University Edinburgh Overview Focus on
More information(See related materials in textbook.) CSE 435: Software Engineering (slides adapted from Ghezzi et al & Stirewalt
Verification (See related materials in textbook.) Outline What are the goals of verification? What are the main approaches to verification? What kind of assurance do we get through testing? How can testing
More informationFORMALIZED SOFTWARE DEVELOPMENT IN AN INDUSTRIAL ENVIRONMENT
FORMALIZED SOFTWARE DEVELOPMENT IN AN INDUSTRIAL ENVIRONMENT Otthein Herzog IBM Germany, Dept. 3100 P.O.Box 80 0880 D-7000 STUTTGART, F. R. G. ABSTRACT tn the IBM Boeblingen Laboratory some software was
More informationCOMPUTER SCIENCE TRIPOS Part II (General) DIPLOMA IN COMPUTER SCIENCE
CST.96.10.1 COMPUTER SCIENCE TRIPOS Part II (General) DIPLOMA IN COMPUTER SCIENCE Monday 3 June 1996 1.30 to 4.30 Paper 10 (Paper 1 of Diploma in Computer Science) Answer five questions. Submit the answers
More information12. Predicate Logic Structures. The Lecture
12. Predicate Logic Structures The Lecture What is predicate logic? What is predicate logic? Predicate logic deals with properties of elements and relations between elements of a domain. What is predicate
More informationIntroducing Robotics Vision System to a Manufacturing Robotics Course
Paper ID #16241 Introducing Robotics Vision System to a Manufacturing Robotics Course Dr. Yuqiu You, Ohio University c American Society for Engineering Education, 2016 Introducing Robotics Vision System
More informationSection 7D Systems of Linear Equations
Section 7D Systems of Linear Equations Companies often look at more than one equation of a line when analyzing how their business is doing. For example a company might look at a cost equation and a profit
More information