Improving WCET Analysis for Synthesized Code from Matlab/Simulink/Stateflow. Lili Tan Compiler Design Lab Saarland University
|
|
- Adam Fitzgerald
- 6 years ago
- Views:
Transcription
1 Improving WCET Analysis for Synthesized Code from Matlab/Simulink/Stateflow Lili Tan Compiler Design Lab Saarland University
2 Safety-Criticial Embedded Software WCET bound required for Scheduling >=0 Execution time Overestimation 0 Time WCET t WCET-bound generally unknown Static analysis results: safe
3 Potential Problems State-of-the-Art WCET analysis Need loop/recursion bound Maximal number of iterations? But, automatic detection of these bounds is undecidable in general user annotation may be required
4 Potential Problems (cont.) Infeasible paths Static WCET analysis considers superset of execution paths Safe, fast but potentially overestimation Reason: relations between conditions are often not tracked precisely
5 Motivation Model Matlab: Widely used in industry Not designed for formal verification Not integrated with WCET analysis yet Leverage Models C code Executable ait WCET WCET Automation Precision loops infeasible recursion paths
6 ait WCET Analyzer Leading commercial WCET analyzer Almost push-button technology Well integrated with SCADE problems as just mentioned
7 Matlab/Simulink/Stateflow & WCET Matlab/Simulink/Stateflow Communicating states State: Sub-states and guarded transitions Problems with synthesized code Communication between states: event broadcasting Event broadcasting realized by function calls If senders and potential receivers of events have a common super-state, then funtion calls itself Recursion recursion Stores states in integer variables Static analysis loses precision infeasible paths Automation Precision Event broadcasting Transition dependency
8 Matlab/Simulink/Stateflow: Recursion Recursion is not allowed in safety-critical systems (Automotive coding guide line: MISRA-C Rule 16.2) Yet: Recursive functions are generated without warning! Matlab/Simulink/Stateflow: YES SCADE: NO Source of recursion: Event broadcasting Event broadcasting is an essential part of Stateflow
9 Stateflow: Example Fail.INC INC
10 A Simplified Model Super-state contains communicating states A, B, C State A Sub-state, Transition guarded by tick, broadcasts event1 B Sub-state, Transition guarded by event1, broadcasts event3 C Event dependency Event1 Event3 Event2 Event4
11 Synthezied Code Model: Void EventBroadcasting() switch (state_a) { case : if (Tick) { next_event = event1; EventBroadcasting(); } switch (state_b) { case : if (event1) { next_event = event3; EventBroadcasting(); } switch (state_c) { case : case : }
12 Recursion Bounds from Model Model Longest chain: Event 1? event 2?.. event K? C code Executable Recursion bound ait
13 Dealing with Recursion Avoid recursion in event broadcasting: Idea: Specify the receiver of event e.g. /send (event1, B), or /B.event1 In case, unavoidable Find out recursion bound Specify annotation in ait For the example above: recursion EventBroadcasting max 2;
14 Stateflow & Infeasible Paths Static analysis loses information at control flow joins abstracts all variables like data variables Loss of Information x = 1 x = 2 x = 3 x={1,2,3} true If(x==2) false
15 Possible Paths Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not and more
16 Feasible Paths Model Information Not, Not Only: Event1 Event3 Event2 Event4 Not, Not Not, Not Others infeasible Not, Not Not, Not e.g., feasible sequence event1 event3 Not, Not
17 Infeasible Paths Not, Not Model Information Not, Not Not, Not Only: Event1 Event3 Event2 Event4 Not, Not Not, Not Others infeasible Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not Not, Not e.g., infeasible sequence event1 event4 Not, Not Not, Not Not, Not Not, Not and more Not, Not Not, Not
18 Stateflow & Infeasible Paths Static analysis loses information at control flow joins abstracts all variables like data variables however state/event variables are control variables Real models Many conditionals checking states / events High loss of precision Current solution: Annotate with infeasible paths Provide flow constraints Future work: Treat state and event variables more precisely, Automatic solution
19 Conclusion WCET analysis for Matlab/Simulink/Stateflow Primary observations and Initial results We addressed Automation Event broadcasting and recursion bounds Precision Infeasible paths
20 Challenge Formal semantics needed Want to derive safe recursion bounds Matlab semantics Stateflow manual alone: > pages, defined by examples Formal semantics Rushby et. al for subset of Stateflow Suitable semantics: on-going work
Breaking Up is Hard to Do: An Investigation of Decomposition for Assume-Guarantee Reasoning
Breaking Up is Hard to Do: An Investigation of Decomposition for Assume-Guarantee Reasoning Jamieson M. Cobleigh Dept. of Computer Science University of Massachusetts Amherst, MA 01003, USA jcobleig@cs.umass.edu
More informationRanger Walking Initiation Stephanie Schneider 5/15/2012 Final Report for Cornell Ranger Research
1 Ranger Walking Initiation Stephanie Schneider sns74@cornell.edu 5/15/2012 Final Report for Cornell Ranger Research Abstract I joined the Biorobotics Lab this semester to gain experience with an application
More informationCT433 - Machine Safety
Rockwell Automation On The Move May 16-17 2018 Milwaukee, WI CT433 - Machine Safety Performance Level Selection and Design Realization Jon Riemer Solution Architect Safety & Security Functional Safety
More informationThe Best Use of Lockout/Tagout and Control Reliable Circuits
Session No. 565 The Best Use of Lockout/Tagout and Control Reliable Circuits Introduction L. Tyson Ross, P.E., C.S.P. Principal LJB Inc. Dayton, Ohio Anyone involved in the design, installation, operation,
More informationCritical Systems Validation
Critical Systems Validation Objectives To explain how system reliability can be measured and how reliability growth models can be used for reliability prediction To describe safety arguments and how these
More informationScheduling the Brazilian Soccer Championship. Celso C. Ribeiro* Sebastián Urrutia
Scheduling the Brazilian Soccer Championship Celso C. Ribeiro* Sebastián Urrutia Motivation Problem statement Solution approach Summary Phase 1: create all feasible Ps Phase 2: assign Ps to elite teams
More informationIntroduction to Pneumatics
Introduction to Pneumatics Pneumatics Symbols Air generation and distribution Table 1: Symbols use in energy conversion and preparation ITEM SYMBOL MEANING Compressor SUPPLY Pressure Source Pneumatic Pressure
More informationi) Linear programming
Problem statement Sailco Corporation must determine how many sailboats should be produced during each of the next four quarters (one quarter = three months). The demand during each of the next four quarters
More informationUNIVERSITY OF WATERLOO
UNIVERSITY OF WATERLOO Department of Chemical Engineering ChE 524 Process Control Laboratory Instruction Manual January, 2001 Revised: May, 2009 1 Experiment # 2 - Double Pipe Heat Exchanger Experimental
More informationADA PRESENTATION (CURB RAMPS)
ADA PRESENTATION (CURB RAMPS) ACECNJ/NJDOT/FHWA DESIGN SUMMIT Warren Howard New Jersey Department of Transportation May 21, 2013 ADA Curb Ramps NJDOT wants curb ramps to be designed & constructed properly
More informationMicrofluidic Demonstration
Microfluidic Demonstration Co-flow of liquids across a microfluidic chip Create a microfluidic controller to flow liquids across a microfluidic chip. 1. Assemble fluidic circuits and attach to breadboard.
More informationNew Thinking in Control Reliability
Doug Nix, A.Sc.T. Compliance InSight Consulting Inc. New Thinking in Control Reliability Or Your Next Big Headache www.machinerysafety101.com (519) 729-5704 Control Reliability Burning Questions from the
More informationThe men s shot put has been a test of
L A B 16 PUTTING A SHOT Projectile Motion The men s shot put has been a test of strength for centuries. Early versions of the shot were heavy stones. Today s athletes use a shot made of metal weighing
More informationCASE STUDY. Compressed Air Control System. Industry. Application. Background. Challenge. Results. Automotive Assembly
Compressed Air Control System Industry Automotive Assembly Application Savigent Platform and Industrial Compressed Air Systems Background This automotive assembly plant was using over 40,000 kilowatt hours
More informationCENG 466 Artificial Intelligence. Lecture 4 Solving Problems by Searching (II)
CENG 466 Artificial Intelligence Lecture 4 Solving Problems by Searching (II) Topics Search Categories Breadth First Search Uniform Cost Search Depth First Search Depth Limited Search Iterative Deepening
More informationWind Tunnel Instrumentation System
Wind Tunnel Instrumentation System Karthigeyan S 1, Jai bhavani K S 2, Jenifer Z 3 P.G Student, Dept. of, Valliammai Engineering College, Chennai, India 1 Assistant Professor, Dept. of, Valliammai Engineering
More informationOlfactory Conditioning Apparatus for Fruit Flies
Olfactory Conditioning Apparatus for Fruit Flies March 7, 2009 Team: Robert Bjerregaard-Team Leader Graham Bousley- Communicator Scott Carpenter- BWIG Chuck Donaldson- BSAC Client: Jerry Yin, Ph.D. Professor
More information4.7 Arithmetic Sequences. Arithmetic sequences
4.7 Arithmetic Sequences (Recursive & Explicit Formulas) Arithmetic sequences are linear functions that have a domain of positive consecutive integers in which the difference between any two consecutive
More informationAn STPA Tool. Dajiang Suo, John Thomas
An STPA Tool Dajiang Suo, John Thomas Structure of an Unsafe Control Action Example: Operator provides open train door command when train is moving Control Actions Operator Train Door 2 Structure of an
More informationOnline Companion to Using Simulation to Help Manage the Pace of Play in Golf
Online Companion to Using Simulation to Help Manage the Pace of Play in Golf MoonSoo Choi Industrial Engineering and Operations Research, Columbia University, New York, NY, USA {moonsoo.choi@columbia.edu}
More informationPERCEPTIVE ROBOT MOVING IN 3D WORLD. D.E- Okhotsimsky, A.K. Platonov USSR
PERCEPTIVE ROBOT MOVING IN 3D WORLD D.E- Okhotsimsky, A.K. Platonov USSR Abstract. This paper reflects the state of development of multilevel control algorithms for a six-legged mobile robot. The robot
More informationThe Cooperative Cleaners Case Study: Modelling and Analysis in Real-Time ABS
: Modelling and Analysis in Real-Time ABS Silvia Lizeth Tapia Tarifa Precise Modelling and Analysis University of Oslo sltarifa@ifi.uio.no 29.11.2013 S. Lizeth Tapia Tarifa Outline Motivation 1 Motivation
More informationOperating Mode Selection in Conjunction with Functional Safety Safety Integrated https://support.industry.siemens.com/cs/ww/en/view/ 89260861 Siemens Industry Online Support Siemens AG 2017 All rights
More informationCuneiform. A Functional Workflow Language Implementation in Erlang. Jörgen Brandt Humboldt-Universität zu Berlin
Cuneiform A Functional Workflow Language Implementation in Erlang Jörgen Brandt Humboldt-Universität zu Berlin 2015-12-01 Jörgen Brandt (HU Berlin) Cuneiform 2015-12-01 1 / 27 Cuneiform Cuneiform A Functional
More informationRace Screen: Figure 2: Race Screen. Figure 3: Race Screen with Top Bulb Lock
Eliminator Competition Stand Alone Mode - Instruction Manual Main Menu: After startup, the Eliminator Competition will enter the Main Menu. Press the right/left arrow buttons to move through the menu.
More informationAmmonia Synthesis with Aspen Plus V8.0
Ammonia Synthesis with Aspen Plus V8.0 Part 2 Closed Loop Simulation of Ammonia Synthesis 1. Lesson Objectives Review Aspen Plus convergence methods Build upon the open loop Ammonia Synthesis process simulation
More informationA handy systematic method for data hazards detection in an instruction set of a pipelined microprocessor
A hy systematic method for data hazards detection in an instruction set of a pipelined microprocessor Ahmed M Mahran Computer Systems Engineering Department, Faculty of Engineering, Alexria University,
More informationSoftware Design of the Stiquito Micro Robot
Software Design of the Stiquito Micro Robot Andrew McClain and James M. Conrad University of North Carolina at Charlotte jmconrad@uncc.edu Abstract The Stiquito robot is a small, six legged robot that
More informationAdaptive test on wafer level
Rob Marcelis Salland Engineering Europe BV Adaptive test on wafer level focus on: test time reduction (TTR) June 6 to 9, 2010 San Diego, CA USA Introduction What is Adaptive test? Modify test content/flow
More informationArterial Traffic Analysis Actuated Signal Control
Arterial Traffic Analysis Actuated Signal Control Dr. Gang-Len Chang Professor and Director of Traffic Safety and Operations Lab. University of Maryland-College Park Actuated Signal Control Fully Actuated
More informationLaboratory Hardware. Custom Gas Chromatography Solutions WASSON - ECE INSTRUMENTATION. Custom solutions for your analytical needs.
Laboratory Hardware Custom Gas Chromatography Solutions Custom solutions for your analytical needs. Laboratory Hardware Wasson-ECE Instrumentation offers hardware-only solutions for advanced chromatography
More informationA new Decomposition Algorithm for Multistage Stochastic Programs with Endogenous Uncertainties
A new Decomposition Algorithm for Multistage Stochastic Programs with Endogenous Uncertainties Vijay Gupta Ignacio E. Grossmann Department of Chemical Engineering Carnegie Mellon University, Pittsburgh
More informationPerforming Hazard Analysis on Complex, Software- and Human-Intensive Systems
Performing Hazard Analysis on Complex, Software- and Human-Intensive Systems J. Thomas, S.M.; Massachusetts Institute of Technology; Cambridge, Massachusetts, USA N. G. Leveson Ph.D.; Massachusetts Institute
More informationStandard Procedure. for using ConfiRM with the SoloVPE. Slope
Standard Procedure R for using ConfiRM with the SoloVPE Confirming SoloVPE System Readiness with NIST Traceable Slope Reference Material (mrm TM ) The Originators of Slope spectroscopy R Revision Date:
More informationUser Manual for the Mars Calibration Bench
User Manual for the Mars Calibration Bench Fall 2013 Table of Contents Table of Contents Table of Contents... iii Introduction... v Chapter 1: The Mars Calibration Bench... 1 What Is the Mars Calibration
More informationLaboratory Hardware. Custom Gas Chromatography Solutions WASSON - ECE INSTRUMENTATION. Engineered Solutions, Guaranteed Results.
Laboratory Hardware Custom Gas Chromatography Solutions Engineered Solutions, Guaranteed Results. WASSON - ECE INSTRUMENTATION Laboratory Hardware Wasson-ECE Instrumentation offers hardware-only solutions
More informationBasic CPM Calculations
Overview Core Scheduling Papers: #7 Basic CPM Calculations Time Analysis calculations in a Precedence Diagramming Method (PDM) Critical Path Method (CPM) network can be done in a number of different ways.
More informationIntroduction to Machine Safety Standards
Introduction to Machine Safety Standards Jon Riemer Solution Architect Safety & Security Functional Safety Engineer (TÜV Rheinland) Cyber Security Specialist (TÜV Rheinland) Agenda Understand the big picture
More informationBPMN - IV. Rushikesh K Joshi IIT Bombay
BPMN - IV Rushikesh K Joshi IIT Bombay Event based Gateways: Use of intermediate events only one of the alternatives is chosen Acceptance Event based Gateway Rejection 3 days Event based Gateways: Use
More informationPREDICTING HEALTH OF FINAL CONTROL ELEMENT OF SAFETY INSTRUMENTED SYSTEM BY DIGITAL VALVE CONTROLLER
PREDICTING HEALTH OF FINAL CONTROL ELEMENT OF SAFETY INSTRUMENTED SYSTEM BY DIGITAL VALVE CONTROLLER Riyaz Ali FIELDVUE Business Development Manager Fisher Controls Int'l., LLC. Marshalltown, IA 50158
More informationYour after-sales service contact:
SB 55/99-100 Operate the Hydraulic Anchor Part Brake 2018-11-28 Rev. B 1 Scope and Target Group Always refer to the user manual for additional information and safety warnings. Only perform this task if
More informationOverview. The user must follow the instructions below.
Overview Thank you for purchasing i-pad. This product can be successfully and safely used for a long period if you familiarize yourself with the instructions and precautions by reading the user's manual
More informationNATIONAL INSTRUMENTS AUTONOMOUS ROBOTICS COMPETITION Task and Rules Document
NATIONAL INSTRUMENTS AUTONOMOUS ROBOTICS COMPETITION 2018 2018 Task and Rules Document Table of Contents Competition Background:... 2 Theme: Autonomous Vehicles Fast Track to the Future... 2 Design Elements
More informationHazardous Energy Control (Lockout-Tagout)
Hazardous Energy Control (Lockout-Tagout) The purpose of this program is to prevent inadvertent operation or energization of machines, equipment, or processes in order to protect employees and establish
More informationEasyTouch. Because automation makes it all so simple. Pool and Spa Control Systems. By Pentair Water Pool and Spa
EasyTouch Pool and Spa Control Systems By Pentair Water Pool and Spa Because automation makes it all so simple EasyTouch Pool and Spa Control Systems Who says pool automation has to be costly and complicated?
More informationThe sycc Color Space
The sycc Color Space Douglas A. Kerr, P.E. Issue 2 July 24, 215 ABSTRACT The sycc color space is an alternative representation of the srgb color space, with a special wrinkle though which it can represent
More informationExercise 3-2. Two-Wire and Three-Wire Controls EXERCISE OBJECTIVE DISCUSSION OUTLINE DISCUSSION. Two-wire control
Exercise 3-2 Two-Wire and Three-Wire Controls EXERCISE OBJECTIVE Construct two-wire and three-wire control circuits and understand their principles. DISCUSSION OUTLINE The Discussion of this exercise covers
More informationRobot Activity: Programming the NXT 2.0
Robot Activity: Programming the NXT 2.0 About this Activity In this activity, you will learn about some features of the NXT 2.0 programming software. You will write and save a program for the Lego NXT
More informationGEN II Robot Soccer EV3 Compass Training Curriculum Brian Thomas
GEN II Robot Soccer EV3 Compass Training Curriculum Brian Thomas RoboCup Junior Australia Inc Copyright 2015 1 GEN II EV3 Robot Soccer Training Overview Welcome! The aim of this curriculum is to guide
More informationThe Study of Half-tooth Master Gear Structure Optimization Yazhou Xie a, Zhiliang Qian b
X 3rd International Conference on Mechatronics, Robotics and Automation (ICMRA 2015) The Study of Half-tooth Master Gear Structure Optimization Yazhou Xie a, Zhiliang Qian b School of Mechanical and Electric
More informationCOMP 406 Lecture 05. Artificial. Fiona Yan Liu Department of Computing The Hong Kong Polytechnic University
COMP 406 Lecture 05 Artificial Intelligence Fiona Yan Liu Department of Computing The Hong Kong Polytechnic University Learning Outcomes of Intelligent Agents Search agents Uninformed search Informed search
More informationC. Mokkapati 1 A PRACTICAL RISK AND SAFETY ASSESSMENT METHODOLOGY FOR SAFETY- CRITICAL SYSTEMS
C. Mokkapati 1 A PRACTICAL RISK AND SAFETY ASSESSMENT METHODOLOGY FOR SAFETY- CRITICAL SYSTEMS Chinnarao Mokkapati Ansaldo Signal Union Switch & Signal Inc. 1000 Technology Drive Pittsburgh, PA 15219 Abstract
More informationIteration: while, for, do while, Reading Input with Sentinels and User-defined Functions
Iteration: while, for, do while, Reading Input with Sentinels and User-defined Functions This programming assignment uses many of the ideas presented in sections 6 and 7 of the course notes. You are advised
More informationCoverage Closure Is it a Game of Dice or Top 10 Tests or Automated Closure? Aditya Sharma, T. Nagasundaram, M. Nitin Kumar, Nikhita Raj J
Coverage Closure Is it a Game of Dice or Top 10 Tests or Automated Closure? Aditya Sharma, T. Nagasundaram, M. Nitin Kumar, Nikhita Raj J 1 Agenda Conventional Coverage Closure : CRV Smart Selection of
More informationfrom Thames Cryogenics Ltd Total Cryogenic Solutions Cryogenic Cluster Day 22/09/2010
from Thames Cryogenics Ltd Total Cryogenic Solutions Cryogenic Cluster Day 22/09/2010 Dewar vessel noun. A container with an evacuated space between two walls, capable of maintaining its contents at a
More informationStandard Operating Procedure Inductively Coupled Plasma Optical Emission Spectrometer (ICP-OES) - Thermo Scientific icap 6300
Standard Operating Procedure Inductively Coupled Plasma Optical Emission Spectrometer (ICP-OES) - Thermo Scientific icap 6300 The Thermo Scientific icap 6300 Inductively Coupled Plasma Optical Emission
More informationEasyTouch. Because automation makes it all so simple. Pool and Spa Control Systems. by Pentair Water Pool and Spa
EasyTouch Pool and Spa Control Systems by Pentair Water Pool and Spa Because automation makes it all so simple EasyTouch Pool and Spa Control Systems Who says pool automation has to be costly and complicated?
More informationFIBA Europe Coaching Website. Manual. Practice Section
FIBA Europe Coaching Website Manual Practice Section CONTENTS Page 1. How to get started 3 Roster Management 4 Attendance 4 Practice Planner 5 2. Drills 8 Search Mask 8 Overview 11 Create Drill 13 3. Plays
More informationSoftware Reliability 1
Software Reliability 1 Software Reliability What is software reliability? the probability of failure-free software operation for a specified period of time in a specified environment input sw output We
More informationHow to Optimize the Disposal System With Staggered Analysis Using BLOWDOWN Technology. Jump Start Guide
How to Optimize the Disposal System With Staggered Analysis Using BLOWDOWN Technology Jump Start Guide Problem Statement In this guide, you will be introduced to the tools in BLOWDOWN that can be used
More information( ) ( ) *( A ) APPLICATION DATA. Procidia Control Solutions Coarse/Fine Control. Split-Range Control. AD Rev 2 April 2012
APPLICATION DATA Procidia Control Solutions / Control AD353-118 Rev 2 April 2012 This application data sheet describes implementing a coarse/fine control strategy in a Siemens Procidia 353 controller.
More informationSafety Critical Systems
Safety Critical Systems Mostly from: Douglass, Doing Hard Time, developing Real-Time Systems with UML, Objects, Frameworks And Patterns, Addison-Wesley. ISBN 0-201-49837-5 1 Definitions channel a set of
More informationRoboCup Standard Platform League (NAO) Technical Challenges
RoboCup Standard Platform League (NAO) Technical Challenges RoboCup Technical Committee (2014 rules, as of June 19, 2014) At RoboCup 2014, the Standard Platform League will hold three different technical
More informationCode of Practice for the Inspection and Testing of Portable Electrical Equipment (PAT)
Code of Practice for the Inspection and Testing of Portable Electrical Equipment (PAT) Reviews and Revisions Action Date Reason Reviewer Updated details of External PAT Contractor 17/02/16 New contract
More informationTitle: INSTRUMENT AND EQUIPMENT DOCUMENTATION AND RECORDS
Page 1 of 7 Sections Included in this Document and Document History 1. Purpose 2. Scope 3. Responsibilities 4. Background 5. References/(Deleted date) 6. Procedure 7. Definitions 8. Records 9. Supporting
More information1.0 General Guide WARNING!
User Manual 1.0 General Guide Thank you for purchasing your new ADC. We recommend reading this manual, and practicing the operations before using your ADC in the field. The ADC is designed to provide you
More informationImproving Smelt Dissolving Tank TTA Control at Zellstoff-Celgar. Coyle, Irene; Russell, Shawn; Zellstoff Celgar LLP
Improving Smelt Dissolving Tank TTA Control at Zellstoff-Celgar Coyle, Irene; Russell, Shawn; Zellstoff Celgar LLP Vivek Rajbhandari, Mario Leclerc, Morissette, Laurier; TEXO Consulting and Controls Inc.
More informationPress Release. Friction Stir Welding: Grenzebach extends its portfolio
Friction Stir Welding: Grenzebach extends its portfolio Higher dynamics, higher welding speeds, lower process forces and even higher quality welding seams and welding surfaces: at the Düsseldorf Schweissen
More informationThree Approaches to Safety Engineering. Civil Aviation Nuclear Power Defense
Three Approaches to Safety Engineering Civil Aviation Nuclear Power Defense Civil Aviation Fly-fix-fly: analysis of accidents and feedback of experience to design and operation Fault Hazard Analysis: Trace
More informationFTC130 Transmitter. Operating Manual
Seite 1 von 11 FTC130 Transmitter Fast Thermal Conductivity Analyzer Operating Manual 1.09KD180724CWI1V05 Messkonzept GmbH Seite 2 von 11 1. Intended Use... 3 2. Description... 4 3. Measuring gases and
More informationCMPUT680 - Winter 2001
CMPUT680 - Winter 2001 Topic 6: Register Allocation and Instruction Scheduling José Nelson Amaral http://www.cs.ualberta.ca/~amaral/courses/680 CMPUT 680 - Compiler Design and Optimization 1 Reading List
More informationDiagnosis of Fuel Evaporative System
T S F S 0 6 L A B E X E R C I S E 2 Diagnosis of Fuel Evaporative System April 5, 2017 1 objective The objective with this laboratory exercise is to read, understand, and implement an algorithm described
More informationYokogawa Systems and PCI Training
Yokogawa Systems and PCI Training 09 th December 2014 Nico Marneweck 082 883 2652 Kallie Bodenstein 083 226 2787 Marco Coccioni 072 409 5779-1 - Introduction Training customised for the South Africa Industrial
More informationUsing what we have. Sherman Eagles SoftwareCPR.
Using what we have Sherman Eagles SoftwareCPR seagles@softwarecpr.com 2 A question to think about Is there a difference between a medical device safety case and any non-medical device safety case? Are
More informationOracle Utilities Meter Data Management Release Utility Reference Model MDM.Manage VEE and VEE Exceptions
Oracle Utilities Meter Data Management Release 2.0.1 Utility Reference Model 4.2.1.2 MDM.Manage VEE and VEE Exceptions January 2014 Oracle Utilities Meter Data Management Utility Reference Model 4.2.1.2
More informationThe HumiPyc - Model 1 - Gas Pycnometer; Density, Moisture, Permeation Analyzer; RH sensor Calibrator
The HumiPyc - Model 1 - Gas Pycnometer; Density, Moisture, Permeation Analyzer; RH sensor Calibrator Designed, built, and supported by InstruQuest Inc. Temperature controlled, multi-technique volumetric
More informationCHAPTER 1 INTRODUCTION TO RELIABILITY
i CHAPTER 1 INTRODUCTION TO RELIABILITY ii CHAPTER-1 INTRODUCTION 1.1 Introduction: In the present scenario of global competition and liberalization, it is imperative that Indian industries become fully
More informationREQUIREMENTS AND HAND-OVER DOCUMENTATION FOR ENERGY-OPTIMAL DEMAND-CONTROLLED VENTILATION
REQUIREMENTS AND HAND-OVER DOCUMENTATION FOR ENERGY-OPTIMAL DEMAND-CONTROLLED VENTILATION Mads Mysen* 1, Axel Cablé 1, Peter G. Schild 1, and Kari Thunshelle 1 1 SINTEF Building and Infrastructure Forskningsveien
More informationA statistical model of Boy Scout disc golf skills by Steve West December 17, 2006
A statistical model of Boy Scout disc golf skills by Steve West December 17, 2006 Abstract: In an attempt to produce the best designs for the courses I am designing for Boy Scout Camps, I collected data
More informationSOFTWARE. Sesam user course. 12 May 2016 HydroD Hydrostatics & Stability. Ungraded SAFER, SMARTER, GREENER DNV GL 2016
SOFTWARE Sesam user course DNV GL 1 SAFER, SMARTER, GREENER Scope of presentation Describe features & commands for performing a hydrostatic analysis, and their concepts Analysis setup Code-checking Reporting
More informationUsing the Lego NXT with Labview.
Using the Lego NXT with Labview http://www.legoengineering.com/component/content/article/105 The Lego NXT 32-bit ARM microcontroller - an Atmel AT91SAM7S256. Flash memory/file system (256 kb), RAM (64
More informationOptimizing Cyclist Parking in a Closed System
Optimizing Cyclist Parking in a Closed System Letu Qingge, Killian Smith Gianforte School of Computing, Montana State University, Bozeman, MT 59717, USA Abstract. In this paper, we consider the two different
More informationSteam-Boiler Control Specification Problem
Steam-Boiler Control Specification Problem Jean-Raymond Abrial 1 Problem Statement 1.1 ntroduction This text constitutes an informal specification of a program which serves to control the level of water
More informationMaster Control Systems, Inc. Variable Speed Fire Pump Controllers
Master Control Systems, Inc. Variable Speed Fire Pump Controllers Meets NFPA 20-2013 UL/FM Listed and Approved for fire protections 1 Why Variable Speed? Huge Sprinkler System and Standpipe Cost Savings
More informationMechatronic System Design (ENT473)
Mechatronic System Design (ENT473) Session 2012/2013 Semester 1 Experiment No. 3 Design an Electropneumatic and PLC system using Automation Studio software Name : Matric No. : Experiment Date : Report
More informationBasketball field goal percentage prediction model research and application based on BP neural network
ISSN : 0974-7435 Volume 10 Issue 4 BTAIJ, 10(4), 2014 [819-823] Basketball field goal percentage prediction model research and application based on BP neural network Jijun Guo Department of Physical Education,
More information[MYLAPS INTEGRATION]
2018 The Race Director MyLaps Integration Manual [MYLAPS INTEGRATION] This document explains how to manage the results data between your MyLaps readers and Race Director using manual file transfers. Contents
More informationApplication Note. Rapid performance verification of AZURA systems with refractive index detector. Summary. Introduction
Application Note Rapid performance verification of AZURA systems with refractive index detector Method Keywords ID HPLC Quality control, system verification, refractive index, AZURA Analytical HPLC Plus
More informationQueue analysis for the toll station of the Öresund fixed link. Pontus Matstoms *
Queue analysis for the toll station of the Öresund fixed link Pontus Matstoms * Abstract A new simulation model for queue and capacity analysis of a toll station is presented. The model and its software
More informationYAN GU. Assistant Professor, University of Massachusetts Lowell. Frederick N. Andrews Fellowship, Graduate School, Purdue University ( )
YAN GU Assistant Professor, University of Massachusetts Lowell CONTACT INFORMATION 31 University Avenue Cumnock 4E Lowell, MA 01854 yan_gu@uml.edu 765-421-5092 http://www.locomotionandcontrolslab.com RESEARCH
More informationORF 201 Computer Methods in Problem Solving. Final Project: Dynamic Programming Optimal Sailing Strategies
Princeton University Department of Operations Research and Financial Engineering ORF 201 Computer Methods in Problem Solving Final Project: Dynamic Programming Optimal Sailing Strategies Due 11:59 pm,
More informationECHO MANUAL WARNING. L B A ltim e te rs. ECHO is a trademark of LB Altimeters, Denmark
ECHO MANUAL L B A ltim e te rs ECHO is a trademark of LB Altimeters, Denmark LB Altimeters operates a policy of continuous development Therefore, we reserve the right to make changes and improvements to
More information7 th International Conference on Wind Turbine Noise Rotterdam 2 nd to 5 th May 2017
7 th International Conference on Wind Turbine Noise Rotterdam 2 nd to 5 th May 2017 Sound power level measurements 3.0 ir. L.M. Eilders, Peutz bv: l.eilders@peutz.nl ing. E.H.A. de Beer, Peutz bv: e.debeer@peutz.nl
More informationMaster Control Systems, Inc. Variable Speed Fire Pump Controllers
Master Control Systems, Inc. Variable Speed Fire Pump Controllers Meets NFPA 20-2019 UL/FM Listed and Approved for fire protections * Pressure Limiting Control * Suction Limiting Control Why Variable Speed?
More informationswmath - Challenges, Next Steps, and Outlook
swmath - Challenges, Next Steps, and Outlook Hagen Chrapary 1, 2, Wolfgang Dalitz 2, and Wolfram Sperber 1 1 FIZ Karlsruhe/zbMATH, Franklinstr. 11, 10587 Berlin, Germany 2 Zuse Institute Berlin (ZIB),
More informationUnderstanding the How, Why, and What of a Safety Integrity Level (SIL)
Understanding the How, Why, and What of a Safety Integrity Level (SIL) Audio is provided via internet. Please enable your speaker (in all places) and mute your microphone. Understanding the How, Why, and
More informationHazard analysis. István Majzik Budapest University of Technology and Economics Dept. of Measurement and Information Systems
Hazard analysis István Majzik Budapest University of Technology and Economics Dept. of Measurement and Information Systems Hazard analysis Goal: Analysis of the fault effects and the evolution of hazards
More informationMathieu Guertin. Morgan Schaffer Inc. Canada. Director Europe, Russia and Africa. A cost effective strategy for smart grid technology adoption
Mathieu Guertin Director Europe, Russia and Africa Morgan Schaffer Inc. Canada A cost effective strategy for smart grid technology adoption Why protecting assets? Cost of fault: $52 MILLIONS!!! Easy ROI
More informationZoll AED Pro with CPR Stat-Padz & audio recording
Zoll AED Pro with CPR Stat-Padz & audio recording OMD Approved AED Configuration for 9-1-1 Designated Responders The Austin-Travis County EMS System Effective March 16, 2015 Item to be Configured General
More informationCRICKET ONTOLOGY. Project Description :- Instructor :- Prof: Navjyothi Singh
Instructor :- Prof: Navjyothi Singh CRICKET ONTOLOGY Project Team :- PV Sai Krishna (200402036) Abhilash I (200501004) Phani Chaitanya (200501076) Kranthi Reddy (200502008) Vidyadhar Rao (200601100) Project
More information