Modelling and Verification of Relay Interlocking Systems
|
|
- Jonah Lewis
- 5 years ago
- Views:
Transcription
1 Modelling and Verification of Relay Interlocking Systems Anne E. Haxthausen & Marie Le Bliguet & Andreas Andersen Kjær Informatics and Mathematical Modelling Technical University of Denmark Modelling and VerificationofRelay Interlocking Systems p. 1/30
2 Agenda 1. Project goal. 2. Informal description of the application domain. 3. Model of an interlocking system and its environment. 4. Safety properties and their verification. 5. Conclusions. Modelling and VerificationofRelay Interlocking Systems p. 2/30
3 Project background & goal Project made for Banedanmark: Background: Banedanmark verifies relay interlocking systems by manual inspection of circuit diagrams! Goal: to formalize and automate the verification process. Approach: RSL SAL spec behavioural model of interlocking system station documentation behavioural model of environment model check w. SAL tool results safety conditions Status: This approach has been applied to Stenstrup station in Denmark. Modelling and VerificationofRelay Interlocking Systems p. 3/30
4 Agenda 1. Project goal. 2. Informal description of the application domain. 3. Model of an interlocking system and its environment. 4. Safety properties and their verification. 5. Conclusions. Modelling and VerificationofRelay Interlocking Systems p. 4/30
5 The physical domain of a station Stenstrup station: Components: Track sections that can be occupied by a train or be free. Points that can be switched between a plus and a minus position. Signals showing STOP or GO. Modelling and VerificationofRelay Interlocking Systems p. 5/30
6 The considered interlocking systems Task: To ensure railway safety: no collisions or derailings of trains. Means: To show signals to trains. Logical approach to control: Route based. Physical implementation: Electrical circuits containing relays. Modelling and VerificationofRelay Interlocking Systems p. 6/30
7 Idea of train route based interlocking Trains should drive on routes through the network. Two trains must never drive on overlapping routes at the same time. (To prevent collisions.) Before a train enters a route, the points must be locked in positions making the route open. (To prevent derailing.) The points of a route must not be switched while a train is driving on the route. (To prevent derailing.) Modelling and VerificationofRelay Interlocking Systems p. 7/30
8 A route based control protocol A typical scenario for a train to go along a route R: the operator sets points such that R is open, R entry R exit Modelling and VerificationofRelay Interlocking Systems p. 8/30
9 A route based control protocol A typical scenario for a train to go along a route R: the operator sets points such that R is open, the operator pushes a button to lock R, R entry R exit Modelling and VerificationofRelay Interlocking Systems p. 8/30
10 A route based control protocol A typical scenario for a train to go along a route R: the operator sets points such that R is open, the operator pushes a button to lock R, the system locks R (as no conflicting routes are locked), R entry R exit Modelling and VerificationofRelay Interlocking Systems p. 8/30
11 A route based control protocol A typical scenario for a train to go along a route R: the operator sets points such that R is open, the operator pushes a button to lock R, the system locks R (as no conflicting routes are locked), the system sets entry signal to GO (as R is empty and locked), R entry R exit Modelling and VerificationofRelay Interlocking Systems p. 8/30
12 A route based control protocol A typical scenario for a train to go along a route R: the operator sets points such that R is open, the operator pushes a button to lock R, the system locks R (as no conflicting routes are locked), the system sets entry signal to GO (as R is empty and locked), the system detects when the train enters the route, R entry R exit Modelling and VerificationofRelay Interlocking Systems p. 8/30
13 A route based control protocol A typical scenario for a train to go along a route R: the operator sets points such that R is open, the operator pushes a button to lock R, the system locks R (as no conflicting routes are locked), the system sets entry signal to GO (as R is empty and locked), the system detects when the train enters the route, the system sets entry signal to STOP, R entry R exit Modelling and VerificationofRelay Interlocking Systems p. 8/30
14 A route based control protocol A typical scenario for a train to go along a route R: the operator sets points such that R is open, the operator pushes a button to lock R, the system locks R (as no conflicting routes are locked), the system sets entry signal to GO (as R is empty and locked), the system detects when the train enters the route, the system sets entry signal to STOP, the system unlocks R when the train is entirely on the last section of R. R entry R exit Modelling and VerificationofRelay Interlocking Systems p. 8/30
15 Relay circuits consist of power supply wires relays external relays: captor the state of track sections and points internal relays: captor control state, e.g. route lockings 2 states: drawn ( ) or dropped( ) contacts ruled by relays 2 states: connected ordis-connected buttons controlled by the operator 2 states: pushed or released lamps,... Modelling and VerificationofRelay Interlocking Systems p. 9/30
16 Relay circuit diagrams Relay circuits are documented by diagrams like this: Modelling and VerificationofRelay Interlocking Systems p. 10/30
17 Electrical behaviour of relay circuits Example: Modelling and VerificationofRelay Interlocking Systems p. 11/30
18 Agenda 1. Project goal. 2. Informal description of the application domain. 3. Model of an interlocking system and its environment. 4. Safety properties and their verification. 5. Conclusions. Modelling and VerificationofRelay Interlocking Systems p. 12/30
19 Model: state space b : Bool for each button b true means conductive (pushed) Initial state: false (released) r : Bool for each relay r true means drawn ( ) Initial state: indicated on diagrams state of contacts can be derived from the state of their relay Modelling and VerificationofRelay Interlocking Systems p. 13/30
20 Model: transition rules for internal relays For each internal relay r: [ draw r] r currentthrough r r = true, [ drop r] r currentthrough r r = false currentthrough r: condition for current to go through r. Modelling and VerificationofRelay Interlocking Systems p. 14/30
21 Model: condition for current to go through a relay Current goes through a relay r if there is a conductive path through r. Example: currentthrough RR1 = (A1 A2) (B1 A2) Modelling and VerificationofRelay Interlocking Systems p. 15/30
22 Model: condition for current to go through a relay Current goes through a relay r if there is a conductive path through r: currentthrough r = conductive p1... conductive pn where p 1,..., p n are the pathes through r conductive pi is condition for path p i to be conductive A path p i is conductive, if all components com i1,..., com im of p i are conductive: conductive pi = conductive comi1... conductive comim Conditions for components to be conductive: Buttons b must be pushed: b Upper contacts c must be connected: relayof(c) Lower contacts c must be connected: relayof(c) Modelling and VerificationofRelay Interlocking Systems p. 16/30
23 Modelling the environment External events: A button B is being pushed or released. A track section T is being occupied or freed. This is detected by an external relay T being released or drawn. A point P changes position. This is detected by two external relays, P+ and P-, associated with the point. Model assumptions: External events can only happen when no internal event is possible. idle idle idle external event internal event busy state Modelling and VerificationofRelay Interlocking Systems p. 17/30
24 Introduction of idle Assumption: External events can only happen when the system is idle, i.e. when no internal relay changes are possible. idle : Bool := false A transition rule for setting idle to true: idle (gi1... gin ) idle = true where gi1,..., gin are the guards for changing internal relays. Pattern for transition rules for external events: idle... idle = false,... Modelling and VerificationofRelay Interlocking Systems p. 18/30
25 Rules for track relays Two models: Random track behaviour: Track sections T can be occupied and freed randomly: [ T] idle idle = false, T = T Ordered track behaviour: Only track events reflecting movements for trains that do not pass signals showing STOP do not change direction while using a route do not split only enter the station from entry sections only leaves the staion at exit sections Requires additional state variables. Modelling and VerificationofRelay Interlocking Systems p. 19/30
26 Rules for points Four transition rules for each point P: [ plustointermediate ] idle P+ unlockedp tp idle = false, P+ = false [ IntermediateToMinus]... [ minustointermediate]... [ IntermediateToPlus ]... where P+ is true only when P is in plus position, unlockedp is true when P is unlocked, tp is true when P is free. Modelling and VerificationofRelay Interlocking Systems p. 20/30
27 Rules for buttons [ pushb] idle B idle = false, B = true, [ releaseb]... Modelling and VerificationofRelay Interlocking Systems p. 21/30
28 Agenda 1. Project goal. 2. Informal description of the application domain. 3. Model of an interlocking system and its environment. 4. Safety properties and their verification. 5. Conclusions. Modelling and VerificationofRelay Interlocking Systems p. 22/30
29 Proof obligations Safety conditions at two levels of abstraction: Implementation independent level: general safety conditions Implementation level: conditions derived from train route tables requirements in train route based interlocking Confidence conditions Modelling and VerificationofRelay Interlocking Systems p. 23/30
30 Requirements in train route based interlocking 1. Two conflicting train routes must not be locked at the same time. 2. When a route is locked, the points must be in positions making the route open. 3. When a route is locked, it must retain being locked until the last section of the route is occupied. 4. When a route entrance signal shows GO, the route must be locked and empty, and certain other signals must show STOP. This implies that when a train enters a route, the signal must change to STOP. Modelling and VerificationofRelay Interlocking Systems p. 24/30
31 Conditions derived from a train route table For a specific station, the requirements for train route based interlocking can be instantiated with data from its train route table and expressed as LTL assertions. Example: Conflicting routes 1 and 7 for Stenstrup must not be locked at the same time: G(r1 r7), where ri = true when route i is unlocked. For Stenstrup station, 24 such assertions have been proved for random track behaviour. Modelling and VerificationofRelay Interlocking Systems p. 25/30
32 General safety conditions No derailing at any point P: When P is occupied, P is in + or - position: t- t tp t+ G( tp (P+ P )) When a train is entering P from a +/- branch, P is in the right position: t- t tp t+ G( tp t+ P+) G( tp t P ) No collisions:... For Stenstrup station, 12 general safety conditions have been proved for ordered track behaviour. Modelling and VerificationofRelay Interlocking Systems p. 26/30
33 Confidence conditions For Stenstrup station, 100 confidence conditions have been proved. No internal events are possible in the initial state: X(idle) No internal cycles: G(F(idle)) No critical races between internal events: The order of internal relay events does not alter the eventual state. Does the model include the states that can be obtained by changing relays concurrently? Will different interleavings give the same terminal state? Two confidence conditions for each relay R: G(canDrawR X( candrawr R)) G(canDropR X( candropr R)) If a guard is true at one point, it remains true until the transition is taken. Modelling and VerificationofRelay Interlocking Systems p. 27/30
34 Experiments with Stenstrup Station Stenstrup Station and its interlocking system: 8 track sections, 2 points, 6 signals, 8 train routes. 4 buttons. 46 internal + 10 external relays. 18 diagrams. Transition system: 61 + x Boolean variables. 92 rules for internal relays. additional rules for buttons and external relays. Assertions: 100 confidence conditions. 24 conditions derived from the train route table. 12 general safety conditions. Results: All assertions are valid. Modelling and VerificationofRelay Interlocking Systems p. 28/30
35 Agenda 1. Project goal. 2. Informal description of the application domain. 3. Model of an interlocking system and its environment. 4. Safety properties and their verification. 5. Conclusions. Modelling and VerificationofRelay Interlocking Systems p. 29/30
36 Conclusions Results: A method for extracting a behavioural model and safety conditions from the station documentation. The method applied to Stenstrup station. Under the assumptions made, we can conclude that Stenstrup station is safe. Future work: Scalability study. Other ways of modelling / further inspection of assumptions. Tools for automatic generation of model and assertions from station documentation. Modelling and VerificationofRelay Interlocking Systems p. 30/30
Development of a Train Control System by Using the On-board Interlocking
PAPER Development of a Train Control System by Using the On-board Interlocking Takayasu KITANO Train Control Systems Laboratory, Signalling and Transport Information Technology Division Tatsuya SASAKI
More informationEnglish version of. Executive Order on vehicles' technical compatibility with the rail network (Bekendtgørelse nr af 30. november 2012) Preface
English version of Executive Order on vehicles' technical compatibility with the rail network (Bekendtgørelse nr. 1127 af 30. november 2012) Preface Please note that the English version is for informational
More informationUsing SystemVerilog Assertions in Gate-Level Verification Environments
Using SystemVerilog Assertions in Gate-Level Verification Environments Mark Litterick (Verification Consultant) mark.litterick@verilab.com 2 Introduction Gate-level simulations why bother? methodology
More informationSTPA based Method to Identify and Control Software Feature Interactions. John Thomas Dajiang Suo
STPA based Method to Identify and Control Software Feature Interactions John Thomas Dajiang Suo Quote The hardest single part of building a software system is deciding precisely what to build. -- Fred
More informationTROUBLESHOOTING TP. Index
TROUBLESHOOTING TP Index E1 POWER CUT DETECTED... 2 E2 LOCK ERROR... 3 E3 DRAINAGE FAILURE / WATER IN TUB... 6 E4 MAXIMUM WATER LEVEL REACHED... 6 E5 FAULT WATER INLET... 6 E6 HEATING FAULT... 6 E7 MAXIMUM
More information/CENELEC Phase 3/Generic Preliminary Hazard Analysis Template
Project CENELEC Phase 3 /CENELEC Phase 3/ Version: 6.0 Printed by: Holter Printed on: 22 May 2003 Generated from DOORS V5.2 Copyright (c) 2003 UIC / Euro-Interlocking Contents 1 Introduction 1 1.1 Background
More informationControl Design of an Automated Highway System (Roberto Horowitz and Pravin Varaiya) Presentation: Erik Wernholt
Control Design of an Automated Highway System (Roberto Horowitz and Pravin Varaiya) Presentation: Erik Wernholt 2001-05-11 1 Contents Introduction What is an AHS? Why use an AHS? System architecture Layers
More informationAnalyzing Feature Interactions in Automobiles. John Thomas, Ph.D. Seth Placke
Analyzing Feature Interactions in Automobiles John Thomas, Ph.D. Seth Placke 3.25.14 Outline Project Introduction & Background STPA Case Study New Strategy for Analyzing Interactions Contributions Project
More informationTechnical Notes. Introduction. LED Efficacy. Light Output and Efficacy. Issue 4 April The general equation for light output can be written as:
Technical Notes Lighting Efficiency and Product Design Optimization This Technical Note discusses lighting product design from an energy and efficiency perspective. It is intended to help manufacturers
More informationMIT ICAT M I T I n t e r n a t i o n a l C e n t e r f o r A i r T r a n s p o r t a t i o n
M I T I n t e r n a t i o n a l C e n t e r f o r A i r T r a n s p o r t a t i o n Standard Flow Abstractions as Mechanisms for Reducing ATC Complexity Jonathan Histon May 11, 2004 Introduction Research
More informationSIMULATING AUTONOMOUS VEHICLES ON OUR TRANSPORT NETWORKS
SIMULATING AUTONOMOUS VEHICLES ON OUR TRANSPORT NETWORKS www.ptvgroup.com Alastair Evanson, Solution Director PTV Vissim TOMORROW S CONNECTED & BUSINESS AUTONOMOUS MODEL: VEHICLES SIGNIFICANT SHIFT TO
More informationREDUCING THE OCCURRENCES AND IMPACT OF FREIGHT TRAIN DERAILMENTS
REDUCING THE OCCURRENCES AND IMPACT OF FREIGHT TRAIN DERAILMENTS D-Rail Final Workshop 12 th November - Stockholm Monitoring and supervision concepts and techniques for derailments investigation Antonella
More informationAUTONOMOUS VEHICLES & HD MAP CREATION TEACHING A MACHINE HOW TO DRIVE ITSELF
AUTONOMOUS VEHICLES & HD MAP CREATION TEACHING A MACHINE HOW TO DRIVE ITSELF CHRIS THIBODEAU SENIOR VICE PRESIDENT AUTONOMOUS DRIVING Ushr Company History Industry leading & 1 st HD map of N.A. Highways
More informationStudy on V2V-based AEB System Performance Analysis in Various Road Conditions at an Intersection
, pp. 1-10 http://dx.doi.org/10.14257/ijseia.2015.9.7.01 Study on V2V-based AEB System Performance Analysis in Various Road Conditions at an Intersection Sangduck Jeon 1, Gyoungeun Kim 1 and Byeongwoo
More informationAUTOMATIC SPEED LIMITER AND RELIEVER FOR AUTOMOBILES
AUTOMATIC SPEED LIMITER AND RELIEVER FOR AUTOMOBILES PROJECT REFERENCE NO. : 37S1003 COLLEGE : PES INSTITUTE OF TECHNOLOGY AND MANAGEMENT, SHIVAMOGGA BRANCH : ELECTRONICS AND COMMUNICATION ENGINEERING
More informationFrom Worlds to Machines
Axel van Lamsweerde University of Louvain (Belgium) avl@info.ucl.ac.be ICSE 09, Vancouver, May 2009 A very personal tribute first...! 1979: Research on concurrency at Philips Labs Fixpoint calculation
More informationRequirements document for a parking garage control system
Requirements document for a parking garage control system August 5, 1996 Contents 1 Introduction 2 1.1 Purpose : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 1.2 Scope
More informationVehicle Dimensions and Mass: Changes from 8 July 2015 Questions and answers
Vehicle Dimensions and Mass: Changes from 8 July 2015 Questions and answers What is in this package? Changes to the Land Transport Rule: Vehicle Dimensions and Mass 2002 (the VDAM Rule) were approved in
More information2015 STPA Conference. A s t u d y o n t h e f u s i o n o f S T P A a n d N i s s a n ' s S y s t e m s E n g i n e e r i n g
2015 STPA Conference A s t u d y o n t h e f u s i o n o f S T P A a n d N i s s a n ' s S y s t e m s E n g i n e e r i n g Nissan Motor Co., Ltd Tetsunobu Morita, Takashi Nakazawa Masaaki Uchida Massachusetts
More informationAEB IWG 02. ISO Standard: FVCMS. I received the following explanation from the FVCMS author:
ISO Standard: FVCMS I received the following explanation from the FVCMS author: The intent behind SRB was to potentially draw the driver s attention to hazards ahead of the SV before MB was enacted but
More informationRUF capacity. RUF International, May 2010, A RUF DualMode system can obtain very high capacity by organizing the vehicles in small trains.
SUMMARY: RUF capacity RUF International, May 2010, www.ruf.dk A RUF DualMode system can obtain very high capacity by organizing the vehicles in small trains. The RUF vehicles access the triangular monorail
More informationUsing Asta Powerproject in a P6 World. Don McNatty, PSP July 22, 2015
Using Asta Powerproject in a P6 World Don McNatty, PSP July 22, 2015 1 Thank you for joining today s technical webinar Mute all call in phones are automatically muted in order to preserve the quality of
More informationDevelopment of Assist Steering Bogie System for Reducing the Lateral Force
Development of Assist Steering Bogie System for Reducing the Lateral Force 1 Shogo Kamoshita, 1 Makoto Ishige, 1 Eisaku Sato, 2 Katsuya Tanifuji Railway Technical Research Institute, Tokyo, Japan 1 ; Niigata
More informationThe ASEP Excel Sheet
May 2009 Additional Sound Emission Provisions The ASEP Excel Sheet How to use it INTERNATIONAL ORGANIZATION OF MOTOR VEHICLE MANUFACTURERS Introduction The ASEP Excel Sheet is meant as a work sheet for
More informationROAD SAFETY RESEARCH, POLICING AND EDUCATION CONFERENCE, NOV 2001
ROAD SAFETY RESEARCH, POLICING AND EDUCATION CONFERENCE, NOV 2001 Title Young pedestrians and reversing motor vehicles Names of authors Paine M.P. and Henderson M. Name of sponsoring organisation Motor
More informationAftermarket Interface Module
An ISO 9001:2008 Registered Company Aftermarket Interface Module (2015-2018 Ford Transit) AIM514-B High Side Solenoid type Coolant Valve Control AIM515-B Motor Reversing type Coolant Valve Control Introduction
More informationSession Four Applying functional safety to machine interlock guards
Session Four Applying functional safety to machine interlock guards Craig Imrie Technology Specialist: Safety, NHP Electrical Engineering Products Abstract With the recent Australian adoption of functional
More informationEffectiveness of ECP Brakes in Reducing the Risks Associated with HHFT Trains
Effectiveness of ECP Brakes in Reducing the Risks Associated with HHFT Trains Presented To The National Academy of Sciences Review Committee October 14, 2016 Slide 1 1 Agenda Background leading to HM-251
More informationEnabling Shift-Left through FV Methodologies on Intel Graphics Designs
Enabling Shift-Left through FV Methodologies on Intel Graphics esigns M, Achutha KiranKumar V Aarti Gupta Bindumadhava S S Aishwarya Accellera Systems Initiative 1 Agenda Brief History of FV in Intel Graphics
More informationRailroad Technology. As the basis for a Skype virtual SIG Presentation Ken Sandock
Railroad Technology As the basis for a Skype virtual SIG Presentation Ken Sandock 10-1-14 Railroad technology has always been at the forefront of engineering: Steam Hydraulic Pneumatic Electrical Electronic
More informationFixed Right First Time. Volvo Technicians, Service and Parts Managers
Tech-Net Notes Fixed Right First Time Volvo Technicians, Service and Parts Managers NO: 25-19 DATE: 6-30-2004 MODEL: 960-S/V90/850/S70/V70/C70 M. YEAR: 1996-1998 SUBJECT: Establishing Readiness for OBD
More informationHL515-B Fast Idle, Lift Interlock Ford Transit
An ISO 9001:2008 Registered Company HL515-B Fast Idle, Lift Interlock 2015-2018 Ford Transit Introduction The HighLock 515-B is a wheelchair lift safety interlock which will only work with the ignition
More informationOptimality of Tomasulo s Algorithm Luna, Dong Gang, Zhao
Optimality of Tomasulo s Algorithm Luna, Dong Gang, Zhao Feb 28th, 2002 Our Questions about Tomasulo Questions about Tomasulo s Algorithm Is it optimal (can always produce the wisest instruction execution
More informationLatest Trend and Safety and Reliability Technology of Rolling Stock Doors
Latest Trend and Safety and Reliability Technology of Rolling Stock Doors UMEZAWA, Kotaro TERASAKI, Tomio INATAMA, Shigeki ABSTRACT Fuji Electric has developed and commercialized a door operating equipment
More informationSolar Impulse, First Round-The-World Solar Flight. Ralph Paul Head of Flight Test and Dynamics Solar Impulse June 22, 2017
Solar Impulse, First Round-The-World Solar Flight Ralph Paul Head of Flight Test and Dynamics Solar Impulse June 22, 2017 1 Key Takeaways 1. Why Solar Energy? Renewable, no fossil fuel or polluting emissions
More informationAn ISO 9001:2008 Registered Company
Introduction An ISO 9001:2008 Registered Company 1939CM405-A J1939 Translator (for use with GTWY505/506/605, and HL510/550/610) 2005-2017 Ford E-Series & F250-F550 2014-2017 Ford Transit 2006-2017 Chevy
More informationCentralised Traffic Control System - Rules 1 to 17
Centralised Traffic Control System - Rules 1 to 17 Applicability VIC Publication Requirement External Only Document Status Issue/Revision # Effective from 2 13 May 2012 0 04 October 2015 Australian Rail
More informationRR 2T and X - Trainer oil injection and wiring trouble shooting guide
RR 2T and X - Trainer oil injection and wiring trouble shooting guide General information 1. Before performing the following diagnostic procedures, check wiring plugs and terminals for corrosion and secure
More informationSafety for Self-driving Cars
Tech.AD. 5-6 March, 2018 Berlin Safety for Self-driving Safety for Cars Self-driving Cars -Challenges and Some Solutions -Challenges and Some Solutions Author: Håkan Sivencrona, PhD Functional Jonas Nilsson,
More informationAnalysis Contracts for Cyber- Physical Systems
Analysis Contracts for Cyber- Physical Systems Presenter: Dionisio de Niz 1 dionisio@sei.cmu.edu AADL Std Meeting. Sept 30 th, 2014 Team: Ivan Ruchkin 2, Sagar Chaki 1, David Garlan 2 1 Software Engineering
More informationAdvanced Superscalar Architectures. Speculative and Out-of-Order Execution
6.823, L16--1 Advanced Superscalar Architectures Asanovic Laboratory for Computer Science M.I.T. http://www.csg.lcs.mit.edu/6.823 Speculative and Out-of-Order Execution Branch Prediction kill kill Branch
More informationMEMS Sensors for automotive safety. Marc OSAJDA, NXP Semiconductors
MEMS Sensors for automotive safety Marc OSAJDA, NXP Semiconductors AGENDA An incredible opportunity Vehicle Architecture (r)evolution MEMS & Sensors in automotive applications Global Mega Trends An incredible
More informationDiscovery of Design Methodologies. Integration. Multi-disciplinary Design Problems
Discovery of Design Methodologies for the Integration of Multi-disciplinary Design Problems Cirrus Shakeri Worcester Polytechnic Institute November 4, 1998 Worcester Polytechnic Institute Contents The
More informationPerformance of Batteries in Grid Connected Energy Storage Systems. June 2018
Performance of Batteries in Grid Connected Energy Storage Systems June 2018 PERFORMANCE OF BATTERIES IN GRID CONNECTED ENERGY STORAGE SYSTEMS Authors Laurie Florence, Principal Engineer, UL LLC Northbrook,
More informationCIVACON GROUND VERIFICATION RACK MONITOR SYSTEM and ASSOCIATED EQUIPMENT
GROUND VERIFICATION RACK MONITOR SYSTEM and ASSOCIATED EQUIPMENT INSTALLATION AND WIRING INSTRUCTIONS MANUAL 8030 MANUAL PART NUMBER JANUARY 2011. 4304 MATTOX RD. KANSAS CITY, MO 64150 TABLE OF CONTENTS
More informationDevelopments on Remote DP Control and Autopilot with Collision Avoidance System
Developments on Remote DP Control and Autopilot with Collision Avoidance System and Possible Stepping Stones Towards Autonomous Ships? Exhibition 1 For more than seven years MT has worked steadfastily
More informationElectronic Brake by Wire
Electronic Brake by Wire Angelo Grasso, Wabtec Martin Deuter, Knorr Bremse Ugo Prosdocimi, Eletech CONNECTA has received funding from the European Union s Horizon 2020 research and innovation programme
More informationBlower Drive Checkout for 3GIBC1 Systems
Blower Drive Checkout for 3GIBC1 Systems Introduction This document covers troubleshooting of the interface between the Generation 3 version of the ISIBC1 Internal Bubble Cooling control system and the
More informationTraffic Micro-Simulation Assisted Tunnel Ventilation System Design
Traffic Micro-Simulation Assisted Tunnel Ventilation System Design Blake Xu 1 1 Parsons Brinckerhoff Australia, Sydney 1 Introduction Road tunnels have recently been built in Sydney. One of key issues
More informationSubject: Power Take Off (PTO) Models Affected: ADVISORY:
Subject: Power Take Off (PTO) Subsystem Operating Description and Application Guide Models Affected: All New C/K 3500HD CC Chevrolet Silverado / GMC Sierra. Models C/K 36003, 36403 & 36043 Model Years:
More informationContinuing Education Course #206 Introduction to Designing Machine Control Systems Part 2
1 of 5 Continuing Education Course #206 Introduction to Designing Machine Control Systems Part 2 1. Continuing to answer the following questions indicates that you understands that the presented material
More information#5460 GM Gen IV 2009-Present VVT Cam Phaser Limiter Kit Patent #8,291,876 B2
INSTRUCTIONS #5460 GM Gen IV 2009-Present VVT Cam Phaser Limiter Kit Patent #8,291,876 B2 Thank you for choosing products; we are proud to be your manufacturer of choice. Please read this instruction sheet
More informationPlanned Revisions to the NIJ Ballistic Resistant Body Armor Test Standard
Outline Planned the NIJ Ballistic Resistant Body Armor Test Standard Michael A. Riley, Amanda Forster, Kirk Rice Office of Law Enforcement Standards National Institute of Standards and Technology Gaithersburg,
More informationFUZZY CONTROL OF INVERTED PENDULUM USING REAL-TIME TOOLBOX
FUZZY CONTROL OF INVERTED PENDULUM USING REAL-TIME TOOLBOX P. Chalupa, B. Řezníček Tomas Bata University in Zlin Faculty of Applied Informatics Centre of Applied Cybernetics Abstract The paper describes
More informationAn advisory circular may also include technical information that is relevant to the rule standards or requirements.
Revision 0 Electrical Load Analysis 2 August 2016 General Civil Aviation Authority advisory circulars contain guidance and information about standards, practices, and procedures that the Director has found
More informationUsing Virtualization to Accelerate the Development of ADAS & Automated Driving Functions
Using Virtualization to Accelerate the Development of ADAS & Automated Driving Functions GTC Europe 2017 Dominik Dörr 2 Motivation Virtual Prototypes Virtual Sensor Models CarMaker and NVIDIA DRIVE PX
More informationCONNECTED AUTOMATION HOW ABOUT SAFETY?
CONNECTED AUTOMATION HOW ABOUT SAFETY? Bastiaan Krosse EVU Symposium, Putten, 9 th of September 2016 TNO IN FIGURES Founded in 1932 Centre for Applied Scientific Research Focused on innovation for 5 societal
More informationEXPERIMENTAL VERIFICATION OF INDUCED VOLTAGE SELF- EXCITATION OF A SWITCHED RELUCTANCE GENERATOR
EXPERIMENTAL VERIFICATION OF INDUCED VOLTAGE SELF- EXCITATION OF A SWITCHED RELUCTANCE GENERATOR Velimir Nedic Thomas A. Lipo Wisconsin Power Electronic Research Center University of Wisconsin Madison
More informationSensors W2 and E2 are optional. Installation guide, 'Pickle Fork' Back-and-Forth Model Train Controller
Installation guide, 'Pickle Fork' Back-and-Forth Model Train Controller Azatrax model PFRR-NTO This controller can automate a single track 'back-and-forth' model train layout -- or, one train can travel
More informatione-smart 2009 Low cost fault injection method for security characterization
e-smart 2009 Low cost fault injection method for security characterization Jean-Max Dutertre ENSMSE Assia Tria CEA-LETI Bruno Robisson CEA-LETI Michel Agoyan CEA-LETI Département SAS Équipe mixte CEA-LETI/ENSMSE
More informationGLM SERIES CONTROL Users Manual Rev:
GLM SERIES CONTROL Users Manual Rev: 808062 Connecting Power Page 2 Motor Terminal Wiring Diagrams Page 3 Getting Started / Setup Page 4 1. Obstruction Detection Devices Page 4 2. Checking Power and Direction
More informationACTIVE SAFETY 3.0. Prof. Kompaß, VP Fahrzeugsicherheit, 14. April 2016
ACTIVE SAFETY 3.0 Prof. Kompaß, VP Fahrzeugsicherheit, 14. April 2016 THE NEW BMW 7 SERIES DRIVER ASSISTANCE PROVIDES COMFORT AND SAFETY AT THE HIGHEST LEVEL. Crossing traffic warning rear / front Lane
More informationFUNCTIONS AND TECHNOLOGY OF DIGITAL TACHOGRAPHS SYSTEMS WITH CONTEMPORARY TELEMATIC SYSTEM IN ROAD TRANSPORT, ON BOARD INFORMATICS NET AND GPS SYSTEM
Journal of KONES Powertrain and Transport, Vol. 15, No. 4 2008 FUNCTIONS AND TECHNOLOGY OF DIGITAL TACHOGRAPHS SYSTEMS WITH CONTEMPORARY TELEMATIC SYSTEM IN ROAD TRANSPORT, ON BOARD INFORMATICS NET AND
More informationAgenda. Industrial software systems at ABB. Case Study 1: Robotics system. Case Study 2: Gauge system. Summary & outlook
ABB DECRC - 2 - ABB DECRC - 1 - SATURN 2008 Pittsburgh, PA, USA Identifying and Documenting Primary Concerns in Industrial Software Systems 30 April 2008 Roland Weiss Pia Stoll Industrial Software Systems
More informationSTPA in Automotive Domain Advanced Tutorial
www.uni-stuttgart.de The Second European STAMP Workshop 2014 STPA in Automotive Domain Advanced Tutorial Asim Abdulkhaleq, Ph.D Student Institute of Software Technology University of Stuttgart, Germany
More informationFreescale Cup Competition. Abdulahi Abu Amber Baruffa Mike Diep Xinya Zhao. Author: Amber Baruffa
Freescale Cup Competition The Freescale Cup is a global competition where student teams build, program, and race a model car around a track for speed. Abdulahi Abu Amber Baruffa Mike Diep Xinya Zhao The
More informationTECHNICAL REPORTS from the ELECTRONICS GROUP at the UNIVERSITY of OTAGO. Table of Multiple Feedback Shift Registers
ISSN 1172-496X ISSN 1172-4234 (Print) (Online) TECHNICAL REPORTS from the ELECTRONICS GROUP at the UNIVERSITY of OTAGO Table of Multiple Feedback Shift Registers by R. W. Ward, T.C.A. Molteno ELECTRONICS
More informationEVSE Load Balancing VS Load Shedding 1: Largest number of 30 Amps EVSEs that can be fed as per the code from the 600 volts feeder
EVSE Load Balancing VS Load Shedding 1: Largest number of 30 Amps EVSEs that can be fed as per the code from the 1600A @ 600 volts feeder The schematics shows that the 1600A feeder is split in 7 branches
More informationTHE HIGHWAY-CHAUFFEUR
Motivation: - Highway-Chauffeur as an example for a conditional automated driving function (SAE level 3) - Standard scenarios, critical scenarios and automation-risks are the basis to fill the scenariodatabase
More informationFacts about DOT Audits
Are You Prepared for adot Audit? Today s Presenters Miranda Gervais DMO Client Services Manager J. J. Keller & Associates, Inc. Tory Much Sr. DMO Client Service Specialist J. J. Keller & Associates, Inc.
More informationAn ISO 9001:2008 Registered Company
Introduction An ISO 9001:2008 Registered Company 1939CM401-A J1939 Translator (harness compatible with GTWY401 and HL201) 2005-2017 Ford E-Series & F250-F550 2014-2017 Ford Transit 2006-2017 Chevy Express,
More informationFlexible gas markets for variable renewable generation
Flexible gas markets for variable renewable generation Marion LABATUT EURELECTRIC, Advisor Wholesale markets electricity and gas UNECE TF Brussels, 2 nd December 2015 2030 Framework for Climate and Energy
More informationEffects of traffic density on communication requirements for cooperative intersection collision avoidance systems (CICAS)
Effects of traffic density on communication requirements for cooperative intersection collision avoidance systems (CICAS) ABSTRACT Steven E. Shladover University of California PATH Program, USA Cooperative
More informationBOARD OF COUNTY COMMISSIONERS AGENDA ITEM SUMMARY
7B BOARD OF COUNTY COMMISSIONERS AGENDA ITEM SUMMARY PLACEMENT: REQUESTS AND PRESENTATIONS PRESET: 3:00 PM TITLE: ALL ABOARD FLORIDA QUIET ZONES, SEALED CORRIDORS AND PUBLIC SAFETY AGENDA ITEM DATES: MEETING
More informationBallard Power Systems
Ballard Power Systems Ballard Power Systems Fuel Cells Current Status and Prospects for the Future David Musil, P. Eng. Project Engineer, Advanced Automotive Development March 30, 2006 Outline 1. Background
More informationAbstract. Acceptance Test Plan Draft - TSV 1
Acceptance Test Plan Draft - TSV 1 Abstract The Acceptance Test Plan defines the necessary test procedures to be used in order to verify all functional requirements and specifications for the integrated
More informationBeyond Standard. Dynamic Wheel Endurance Tester. Caster Concepts, Inc. Introduction: General Capabilities: Written By: Dr.
Dynamic Wheel Endurance Tester Caster Concepts, Inc. Written By: Dr. Elmer Lee Introduction: This paper details the functionality and specifications of the Dynamic Wheel Endurance Tester (DWET) developed
More informationTHERMAL CONTROL SYSTEM OPERATION AND MAINTENANCE MANUAL
Macintyre Electronic Design Associates Inc. 43676 Trade Center Place, Suite 145, Dulles, VA 20166 Phone: (703) 996-8990 FAX: (703) 996-8770 e-mail: sales@meda.com THERMAL CONTROL SYSTEM OPERATION AND MAINTENANCE
More informationSoftware Driving License
What if technology takes over all driving tasks? Software Driving License Gerben Feddes RDW & Jorrit Kuipers robottuner Intertraffic 2018 22-03-2017 Amsterdam Agenda 1. Software Driving License 2. ISO
More informationDEVELOPMENT OF A DRIVING CYCLE FOR BRASOV CITY
DEVELOPMENT OF A DRIVING CYCLE FOR BRASOV CITY COVACIU Dinu *, PREDA Ion *, FLOREA Daniela *, CÂMPIAN Vasile * * Transilvania University of Brasov Romania Abstract: A driving cycle is a standardised driving
More informationIMPLEMENTATION OF A VEHICLE-IN-THE-LOOP DEVELOPMENT AND VALIDATION PLATFORM
F2010-C-177 IMPLEMENTATION OF A VEHICLE-IN-THE-LOOP DEVELOPMENT AND VALIDATION PLATFORM 1 Albers, Albert *, 1 Düser, Tobias 1 IPEK Institute of Product Engineering at Karlsruhe Institute of Technology
More information6.823 Computer System Architecture Prerequisite Self-Assessment Test Assigned Feb. 6, 2019 Due Feb 11, 2019
6.823 Computer System Architecture Prerequisite Self-Assessment Test Assigned Feb. 6, 2019 Due Feb 11, 2019 http://csg.csail.mit.edu/6.823/ This self-assessment test is intended to help you determine your
More informationVALIDATION OF NVIDIA IRAY AGAINST CIE 171:2006
VALIDATION OF NVIDIA IRAY AGAINST CIE 171:2006 PREPARED BY DAU DESIGN AND CONSULTING INC. JANUARY 28, 2016 Validation of NVIDIA Iray against CIE 171:2006 www.daudesignandconsulting.com ii TABLE OF CONTENTS
More informationIssue 5. Glossary of Railway Terminology. Glossary of Railway. Terminology
Glossary of Railway Terminology Issue 5 Glossary of Railway Terminology December 2018 Published by: RSSB The authoritative version of this document is available at www.rssb.co.uk Contents approved by Traffic
More informationSouthern California Edison Rule 21 Storage Charging Interconnection Load Process Guide. Version 1.1
Southern California Edison Rule 21 Storage Charging Interconnection Load Process Guide Version 1.1 October 21, 2016 1 Table of Contents: A. Application Processing Pages 3-4 B. Operational Modes Associated
More informationSurvey Report Informatica PowerCenter Express. Right-Sized Data Integration for the Smaller Project
Survey Report Informatica PowerCenter Express Right-Sized Data Integration for the Smaller Project 1 Introduction The business department, smaller organization, and independent developer have been severely
More informationECLIPSE Laundry Dispenser Controller
ECLIPSE Laundry Dispenser Controller Reference Manual Programming and Operation Online and downloadable Product Manuals and Quick Start Guides are available at www.hydrosystemsco.com Please check online
More informationEMC System Engineering of the Hybrid Vehicle Electric Motor and Battery Pack
The Southeastern Michigan IEEE EMC Society EMC System Engineering of the Hybrid Vehicle Electric Motor and Battery Pack Presented by: James Muccioli Authors: James Muccioli & Dale Sanders Jastech EMC Consulting,
More information12VPS TRAK-DT. Block Detection / Signaling Starter Package. 12 VOLT / 0.5 Amp REGULATED POWER SUPPLY. a c t i v a t i o n s e c t i o n
Block Detection / Signaling Starter Package This package includes 3 Trak-DT's (item 365) and one 12VPS (item 369), 12 volt DC regulated power supply. Drawings are included for basic two and three aspect
More informationP200 P/I Transducer. Installation, Operation, and Maintenance Instructions INTRODUCTION
INTRODUCTION Scope This manual provides instructions for the installation, adjustment, maintenance, and parts ordering of the P200 Pneumatic-to-Current P/I Transducer. Due to its over-engineered design,
More informationUse of Flow Network Modeling for the Design of an Intricate Cooling Manifold
Use of Flow Network Modeling for the Design of an Intricate Cooling Manifold Neeta Verma Teradyne, Inc. 880 Fox Lane San Jose, CA 94086 neeta.verma@teradyne.com ABSTRACT The automatic test equipment designed
More informationPDS COLLISION AVOIDANCE AACSA UNDERGROUND IMPLEMENTATION LEARNINGS
PDS COLLISION AVOIDANCE AACSA UNDERGROUND IMPLEMENTATION LEARNINGS Coal South Africa - 11 June 2015 Prepared for the SACEA Workshop 1 PDS BACKGROUND NEW DENMARK EXAMPLE SUCCESSES CHALLENGES AACSA COLLISION
More informationState-of-the-art architectures State-of-the-art testing Jürgen Schölzel, Siemens AG, Mobility Division
State-of-the-art architectures State-of-the-art testing Jürgen Schölzel, Siemens AG, Mobility Division siemens.com Not only operator control but also operational processes and headways and thus systems
More informationIntroducing Formal Methods (with an example)
Introducing Formal Methods (with an example) J-R. Abrial September 2004 Formal Methods: a Great Confusion - What are they used for? - When are they to be used? - Is UML a formal method? - Are they needed
More informationImprovements to the Hybrid2 Battery Model
Improvements to the Hybrid2 Battery Model by James F. Manwell, Jon G. McGowan, Utama Abdulwahid, and Kai Wu Renewable Energy Research Laboratory, Department of Mechanical and Industrial Engineering, University
More informationAutonomous Vehicle Impacts on Traffic and Transport Planning
Autonomous Vehicle Impacts on Traffic and Transport Planning AITPM Regional Seminar 11 May 2017 Discussion Paper AVs/CAVs Autonomous/Automated Vehicles (AVs) Connected and Automated Vehicles (CAVs) Increased
More informationVALVE CONDITION ASSESSMENT USING NEW TECHNOLOGY. Sagar Khadka. ACTEW Water
VALVE CONDITION ASSESSMENT USING NEW TECHNOLOGY Paper Presented by: Sagar Khadka Author: Sagar Khadka, Asset Maintenance Engineer, ACTEW Water 77 th Annual WIOA Victorian Water Industry Operations Conference
More informationWHITE PAPER. SVM4001 Series standstill monitor. Stop everything! Standstill monitors add sensorless safety features to motor-driven machinery
Technical information Stop everything! Standstill monitors add sensorless safety features to motor-driven machinery SVM4001 Series standstill monitor Back EMF technology enables motion detection for safe
More informationCompatibility Between Electric Trains and Electrification Systems
Compatibility Between Electric Trains and Electrification Systems Synopsis Process for managing change that affects the compatibility between electric trains and electrification systems Submitted by Signatures
More informationModel 930 Power Control System Instruction Manual
Model 930 Power Control System Instruction Manual Publication No. A105328-001 Rev A December 2000 Another quality product from: 7128 Shady Oak Rd, Eden Prairie MN 55344 Phone: (952) 949-9009 Fax: (952)
More information