Scalability of formal methods for validation and verification of software control systems
|
|
- Jordan Stevenson
- 7 years ago
- Views:
Transcription
1 Scalability of formal methods for validation and verification of software control systems COPYRIGHT 2012 HAMILTON SUNDSTRAND CORPORATION. THIS DOCUMENT IS THE PROPERTY OF HAMILTON SUNDSTRAND CORPORATION (HSC). YOU MAY NOT POSSESS, USE, COPY OR DISCLOSE THIS DOCUMENT OR ANY INFORMATION IN IT, FOR ANY PURPOSE, INCLUDING, WITHOUT LIMITATION, TO DESIGN, MANUFACTURE OR REPAIR PARTS, OR OBTAIN ANY GOVERNMENT APPROVAL TO DO SO, WITHOUT HSC S EXPRESS WRITTEN PERMISSION. NEITHER RECEIPT NOR POSSESSION OF THIS DOCUMENT ALONE, FROM ANY SOURCE, CONSTITUTES SUCH PERMISSION. POSSESSION, USE, COPYING OR DISCLOSURE BY ANYONE WITHOUT HSC S EXPRESS WRITTEN PERMISSION IS NOT AUTHORIZED AND MAY RESULT IN CRIMINAL AND/OR CIVIL LIABILITY. E. Scholte (Hamilton Sundstrand) A. Ferrari (ALES s.r.l.) Team: C. Liu, C. Pinello, R. Kumar (UTRC) L. Mangeruca, C. Sofronis (ALES s.r.l.) EAR STATEMENT WARNING -- This document or file contains technical data the export of which is, or may be, restricted by the Export Administration Act and the Export Administration Regulations (EAR), 15 C.F.R. parts Diversion contrary to U.S. law is prohibited. The export, re-export, transfer or re-transfer of this technical data to any other company, entity, person, or destination, or for any use or purpose other than that for which the technical data was originally provided by Hamilton Sundstrand, is prohibited without prior written approval from Hamilton Sundstrand and authorization under applicable export control laws. EAR Export Classification: ECCN EAR99 June Aerospace Decision and Control Workshop Georgia Institute of Technology Atlanta, GA
2 OUTLINE Systems at Hamilton Sundstrand System Integration and Control Integrated Modular Avionics, Software, 178C Formal Methods for Model Based Validation and Verification Scalability Challenges: Abstractions and Automatic Simplifications 1
3 HAMILTON SUNDSTRAND AEROSPACE SYSTEMS INDUSTRIAL Electric Systems Air Management Engine Systems Space Systems Compressors Fire Protection Propellers Systems Auxiliary Power Actuation Systems Specialty Pumps Hamilton Sundstrand is among the world s largest suppliers of technologically advanced aerospace and industrial products.
4 HAMILTON SUNDSTRAND Experience 1900 s today Curtiss T
5 HAMILTON SUNDSTRAND Electric Systems Electric Systems Platforms Integrated Drive Generator Variable Frequency Generator Power Control / Conversion ERJ170/190 Boeing 737 F-35 JSF A320 A350 Boeing 787 C919 CSeries Power Distribution / Management Emergency Power Electric Systems has 22 active development programs
6 SYSTEM INTEGRATION AND SOFTWARE System integration encompassing mechanical, electrical, and software control systems. Increased use of networks and software to implement functionality 178C: Model Based Development and Formal Methods How to leverage existing model based techniques for validation and verification of highly integrated cyber physical systems? (How to reuse existing models created during development?) 5
7 MODEL BASED VERIFICATION TECHNIQUES Need to manage complexity growth in cost/schedule effective manners Augment testing with formal methods Develop models at the different abstraction layers to enable early and consistent guidance Use analysis (formal analysis) to verify correct behavior at different layers Customer specification Aircraft System Model Validation/Verification techniques System Requirement Document System Behavioral Model Formal analysis Formal analysis of discrete systems (finite state) using model checkers Simulation Derived Requirement Document Component Model Physical testing Software Implementation Model
8 ELECTRIC SYSTEM CONTROL INTEGRATION Generation and Primary Power Distribution Typical 6-9 main power sources S = {on, off, failed} LGEN ExtPwr APU RGEN Typical contactors (actuators) C = {on, off, failed open, failed closed} AC Bus L TRU AC Bus R TRU Order of nominal physical configurations: ~2^43 = 8,796,093,022,208 DC Bus L DC Bus R (Physical system constraints will reduce this number) Batt Bus L Batt Batt Bus R
9 SYSTEM SIZE AND INCREASED INTEGRATION Increase reliance on electric power in aircraft raises complexity of system due to integration Increased use of software and networks to provide system functionality Use Finite State Models and model checking to evaluate system control design System Fault No fault 1 Single contactor fault (Stuck Open) ~12 Single contactor fault (Stuck Open and Stuck Close) Single component fault (i.e. contactor, TRU, Bus, BPCU, GCU failure) Number of Configurations ~26 ~40 Dual failure operation ~1,000 Typical conventional system (Single cruise mode system configuration)
10 MODEL CHECKING Use Formal Model of the controller/software and determine whether properties (i.e. requirements) are met for all possible input sequences Looks at all possible behaviors of the system Automated procedure if the system is Finite State Model (system requirements/ functionality) Model Checker Tool OR YES NO and a counterexample (sequence of inputs) is given System/function modeled as Finite State Machine Specification (System property) Requirement formalized using (temporal) logic
11 SYSTEM REQUIREMENT MODELING Formulate system requirements as invariants or use Linear Temporal Logic S1 S2 C1 C2 ACBUS
12 SCALABILITY OF MODEL CHECKING Methods for increasing checkable system size: Binary Decision Diagram ordering NP-hard to find best ordering, use heuristics Automatic simplifications Automatic abstractions Example Test System Counter limit Baseline [s] BDD Ordering [s] , , ,000,
13 SIMPLIFICATION AND ABSTRACTION Constant Propagation and simplification Simplifies expressions by propagating constant values through operators Substitute variables with their values Range Reduction By propagating range information through the model Reduce variable data types while still supporting the computed ranges Typical tested system: Originally > 40,000 Boolean Variables Reduce to ~ 6,000 Boolean Variables Automated Subsystem Abstraction Using Cone of Influence automatically remove subsystems Conservative Abstraction Substitute part of the system with one or more input variables Dynamics of substituted part is lost conservative approximation 12
14 SUMMARY Current aircraft systems are increasing in complexity Increased reliance on software control systems for electric power distribution Use of automated techniques enabler for increasing scalability of existing verification engines Questions?
TITLE: Control of Software
Page 1 of 8 TITLE: Control of Software WARNING This document is the property of United Technologies Corporation (UTC). You may not possess, use, copy or disclose this document or any information in it,
More informationIntroduction to Aircraft Design and Aviation Systems (ENG3005)
Chapter 3 Emergency power generation 1. Power distribution 1.1 The power source for many civil aircraft: a.main aircraft generator : through a Generator Control Breaker (GCB). Controlled by Generator Control
More informationDMD 101 Introduction to DMD technology
TI DN 2510331 Rev A March 2009 Introduction to DMD technology This document describes basic structure and operation of the DMD array. May not be reproduced without the permission of Texas Instruments Incorporated
More informationRotorcraft Health Management System (RHMS)
AIAC-11 Eleventh Australian International Aerospace Congress Rotorcraft Health Management System (RHMS) Robab Safa-Bakhsh 1, Dmitry Cherkassky 2 1 The Boeing Company, Phantom Works Philadelphia Center
More informationwhite paper Mitigate Risk in Handling ediscovery Data Subject to the U.S. Export Control Laws and Regulations
white paper Mitigate Risk in Handling ediscovery Data Subject to the U.S. Export Control Laws and Regulations WWW.EPIQSYSTEMS.COM 800 314 5550 Mitigate Risk in Handling ediscovery Data Subject to the U.S.
More informationElectric Power in Airplane. Student: Maja Knezev Course ELEN 615, 31 st August 2006
Electric Power in Airplane Student: Maja Knezev Course ELEN 615, 31 st August 2006 Power sources on aircraft engine driven AC generators, auxiliary power units (APUs), external power and ram air turbines.
More informationWORKSHOP RC 2011. EVI Integração de Sistemas Junho de 2011 Eng. Nelson José Wilmers Júnior
WORKSHOP RC 2011 EVI Integração de Sistemas Junho de 2011 Eng. Nelson José Wilmers Júnior Comparison between ARP4754 A Guidelines for Development of Civil Aircraft and Systems (2010) and ARP4754 Certification
More informationDirector of Logistics & Compliance James Hall
Minimizing Risk Exposure While Fully Utilizing Freight Forwarders Expertise To Effectively Apply Compliance In Challenging Locations Director of Logistics & Compliance James Hall What is Compliance Adherence
More informationApplying 4+1 View Architecture with UML 2. White Paper
Applying 4+1 View Architecture with UML 2 White Paper Copyright 2007 FCGSS, all rights reserved. www.fcgss.com Introduction Unified Modeling Language (UML) has been available since 1997, and UML 2 was
More informationAutomotive Software Engineering
Automotive Software Engineering List of Chapters: 1. Introduction and Overview 1.1 The Driver Vehicle Environment System 1.1.1 Design and Method of Operation of Vehicle Electronic 1.1.2 Electronic of the
More informationT146 Electro Mechanical Engineering Technician MTCU Code 51021 Program Learning Outcomes
T146 Electro Mechanical Engineering Technician MTCU Code 51021 Program Learning Outcomes Synopsis of the Vocational Learning Outcomes* The graduate has reliably demonstrated the ability to: 1. fabricate
More informationPropulsion Gas Path Health Management Task Overview. Donald L. Simon NASA Glenn Research Center
Propulsion Gas Path Health Management Task Overview Donald L. Simon NASA Glenn Research Center Propulsion Controls and s Research Workshop December 8-10, 2009 Cleveland, OH www.nasa.gov 1 National Aeronautics
More informationWEEKLY SCHEDULE. GROUPS (mark X) SPECIAL ROOM FOR SESSION (Computer class room, audio-visual class room)
SESSION WEEK COURSE: THERMAL ENGINEERING DEGREE: Aerospace Engineering YEAR: 2nd TERM: 2nd The course has 29 sessions distributed in 14 weeks. The laboratory sessions are included in these sessions. The
More informationHardware safety integrity Guideline
Hardware safety integrity Comments on this report are gratefully received by Johan Hedberg at SP Swedish National Testing and Research Institute mailto:johan.hedberg@sp.se Quoting of this report is allowed
More informationasuresign Aero (NATEP Grant MA005)
asuresign Aero (NATEP Grant MA005) WP2 Workshop: Identification of Needs for Tool Support in Meeting Aircraft Avionics Systems, Hardware & Software Certification Standards Dr Chris Harper Systems & Safety
More informationELECTRICAL DISTRIBUTION POWER SYSTEMS OF MODERN CIVIL AIRCRAFTS
2 nd International Conference on Energy Systems and Technologies 18 21 Feb. 2013, Cairo, Egypt ELECTRICAL DISTRIBUTION POWER SYSTEMS OF MODERN CIVIL AIRCRAFTS Reyad Abdel-Fadil 1, Ahmad Eid 1, Mazen Abdel-Salam
More informationNORTHPOINTE BANK. Northpointe Liquid High Yield Money Market Account
NORTHPOINTE BANK Northpointe Liquid High Yield Money Market Account ELECTRONIC FUND TRANSFERS The terms and conditions in this agreement are in addition to those that apply to any deposit or credit account
More informationELECTRICITY IS IN THE AIR
ELECTRICITY IS IN THE AIR LABINAL POWER SYSTEMS Electrical expert of Safran, Labinal Power Systems brings to the market a unique positioning, meeting the requirements of all onboard electrical functions.
More informationScheduling Home Health Care with Separating Benders Cuts in Decision Diagrams
Scheduling Home Health Care with Separating Benders Cuts in Decision Diagrams André Ciré University of Toronto John Hooker Carnegie Mellon University INFORMS 2014 Home Health Care Home health care delivery
More informationApplication Technique. Safety Function: Magnetic Door Switch Monitoring
Application Technique Safety Function: Magnetic Door Switch Monitoring Products: MC1 Magnetically-coded Door Switch, Guardmaster Dual-input Safety Relay Safety Rating: CAT. 3, PLd to EN ISO 13849-1: 2008
More informationU.S. Department of Commerce Bureau of Industry and Security. How to Classify Your Item
U.S. Department of Commerce Bureau of Industry and Security How to Classify Your Item How is my Item Classified for Export Control Purposes? Commerce Control List ( CCL ) Export Control Classification
More informationSystem modeling. Budapest University of Technology and Economics Department of Measurement and Information Systems
System modeling Business process modeling how to do it right Partially based on Process Anti-Patterns: How to Avoid the Common Traps of Business Process Modeling, J Koehler, J Vanhatalo, IBM Zürich, 2007.
More informationFormal techniques for embedded safety critical systems
Formal techniques for embedded safety critical systems P. Bieber, C. Castel, C. Kehren, C. Seguin Office National d Études et de Recherches Aérospatiales www.cert.fr Presentation objectives Give a detailed
More informationSoftware Test Plan (STP) Template
(STP) Template Items that are intended to stay in as part of your document are in bold; explanatory comments are in italic text. Plain text is used where you might insert wording about your project. This
More information5SV Residual Current Protective Devices
s Siemens AG 2013 SENTRON 5SV Residual Current Protective Devices New portfolio for reliable personnel, material and fire protection Safe protection against residual currents Residual current protective
More informationVersion: 1.0 Latest Edition: 2006-08-24. Guideline
Management of Comments on this report are gratefully received by Johan Hedberg at SP Swedish National Testing and Research Institute mailto:johan.hedberg@sp.se Quoting of this report is allowed but please
More informationSafety Analysis and Certification of Open Distributed Systems. P. M. Conmy; Department of Computer Science, University of York, York, YO10 5DD U.K.
Safety Analysis and Certification of Open Distributed Systems P. M. Conmy; Department of Computer Science, University of York, York, YO10 5DD U.K. M. Nicholson; Department of Computer Science, University
More informationPLEASE READ THIS AGREEMENT CAREFULLY. BY INSTALLING, DOWNLOADING OR OTHERWISE USING THE SOFTWARE, YOU AGREE TO THE TERMS OF THIS AGREEMENT.
Access Governance Suite 6 Lifecycle Manager 6 Compliance Manager 6 Software License Agreement PLEASE READ THIS AGREEMENT CAREFULLY. BY INSTALLING, DOWNLOADING OR OTHERWISE USING THE SOFTWARE, YOU AGREE
More informationSCADE System 17.0. Technical Data Sheet. System Requirements Analysis. Technical Data Sheet SCADE System 17.0 1
SCADE System 17.0 SCADE System is the product line of the ANSYS Embedded software family of products and solutions that empowers users with a systems design environment for use on systems with high dependability
More informationModule 3 Licensed Software TABLE OF CONTENTS. Version 3.0
1 Module 3 Licensed Software Version 3.0 TABLE OF CONTENTS 1. AGREED TERMS AND INTERPRETATION... 2 2. LICENCE TERMS... 3 3. SUPPLY OF... 8 4. UPDATES AND NEW RELEASES... 9 5. OPEN SOURCE SOFTWARE... 10
More informationParameters for Efficient Software Certification
Parameters for Efficient Software Certification Roland Wolfig, e0327070@student.tuwien.ac.at Vienna University of Technology, Real-Time Systems Group 1 Abstract Software certification is a common approach
More informationTable of Contents 738.1 INTRODUCTION (CCL) STRUCTURE
Commerce Control List Overview and the Country Chart Part 738 page 1 Table of Contents 738.1 INTRODUCTION... 1 738.2 COMMERCE CONTROL LIST (CCL) STRUCTURE... 1 738.3 COMMERCE COUNTRY CHART STRUCTURE...
More informationHECTOR a software model checker with cooperating analysis plugins. Nathaniel Charlton and Michael Huth Imperial College London
HECTOR a software model checker with cooperating analysis plugins Nathaniel Charlton and Michael Huth Imperial College London Introduction HECTOR targets imperative heap-manipulating programs uses abstraction
More informationSAFETY MANUAL SIL RELAY MODULE
PROCESS AUTOMATION SAFETY MANUAL SIL RELAY MODULE KFD0-RSH-1.4S.PS2 ISO9001 3 With regard to the supply of products, the current issue of the following document is applicable: The General Terms of Delivery
More informationhttp://www.bis.doc.gov
If you ship a commercial item from the United States to a foreign destination, your transaction is likely to be subject to the jurisdiction of the U.S. Department of Commerce. The Bureau of Industry and
More informationFlight Standards Handbook Bulletin for Airworthiness (HBAW)
ORDER: 8300.10 APPENDIX: 3 BULLETIN TYPE: BULLETIN NUMBER: BULLETIN TITLE: Flight Standards Handbook Bulletin for Airworthiness (HBAW) HBAW 96-05C (AMENDED) Air Carrier Operations Specifications Authorization
More informationPosition Descriptions. Aerospace
Position Descriptions Aerospace Aerospace Engineering? Aeromechanics / Flight Control / Flight Qualities Engineer Predict, analyze, and verify air vehicle flight dynamics including aircraft aerodynamics,
More informationThe Model Checker SPIN
The Model Checker SPIN Author: Gerard J. Holzmann Presented By: Maulik Patel Outline Introduction Structure Foundation Algorithms Memory management Example/Demo SPIN-Introduction Introduction SPIN (Simple(
More informationFive Essential Components for Highly Reliable Data Centers
GE Intelligent Platforms Five Essential Components for Highly Reliable Data Centers Ensuring continuous operations with an integrated, holistic technology strategy that provides high availability, increased
More informationUNITED STATES DEPARTMENT OF COMMERCE BUREAU OF INDUSTRY AND SECURITY WASHINGTON, D.C. 20230
UNITED STATES DEPARTMENT OF COMMERCE BUREAU OF INDUSTRY AND SECURITY WASHINGTON, D.C. 20230 In the Matter of Winter Aircraft Products SA m a Ruf S. Lopez SA CFerrocarril41 1 DCHA 28045 Madrid, Spain and
More informationIBM Business Monitor V8.0 Global monitoring context lab
Copyright IBM Corporation 2012 All rights reserved IBM BUSINESS MONITOR 8.0 LAB EXERCISE IBM Business Monitor V8.0 lab What this exercise is about... 2 Lab requirements... 2 What you should be able to
More informationModel Checking: An Introduction
Announcements Model Checking: An Introduction Meeting 2 Office hours M 1:30pm-2:30pm W 5:30pm-6:30pm (after class) and by appointment ECOT 621 Moodle problems? Fundamentals of Programming Languages CSCI
More information3. Designed for installation by the user without further substantial support by the supplier; and
Commerce Control List Supplement No. 1 to Part 774 Category 5 - Info. Security page 1 CATEGORY 5 TELECOMMUNICATIONS AND INFORMATION SECURITY Part 2 INFORMATION SECURITY Note 1: The control status of information
More informationSUBSCRIPTION SERVICES.
SUSE Manager Server SUSE Manager Server with Database SUSE Software License Agreement PLEASE READ THIS AGREEMENT CAREFULLY. BY PURCHASING, INSTALLING AND/OR USING THE SOFTWARE (INCLUDING ITS COMPONENTS),
More informationOracle Insurance Policy Administration. Version 9.4.0.0
Oracle Insurance Policy Administration Coherence Version 9.4.0.0 Part Number: E18894-01 June 2011 Copyright 2009, 2011, Oracle and/or its affiliates. All rights reserved. This software and related documentation
More informationSynthesis and Validation of Control Software For A. Vehicular Electric Power Distribution Testbed
Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed Robert Rogersten KTH Royal Institute of Technology, Stockholm, Sweden Huan Xu University of Maryland, College
More informationARINC 653. An Avionics Standard for Safe, Partitioned Systems
ARINC 653 An Avionics Standard for Safe, Partitioned Systems 1 Courtesy of Wind River Inc. 2008 IEEE-CS Seminar June 4 th, 2008 Agenda Aerospace Trends IMA vs. Federated ARINC 653 Main concepts Safety
More informationFormal verification of contracts for synchronous software components using NuSMV
Formal verification of contracts for synchronous software components using NuSMV Tobias Polzer Lehrstuhl für Informatik 8 Bachelorarbeit 13.05.2014 1 / 19 Problem description and goals Problem description
More informationUML TUTORIALS THE USE CASE MODEL
UML TUTORIALS THE USE CASE MODEL www.sparxsystems.com.au Sparx Systems 2004 Page 1/5 describes the proposed functionality of the new system. A Use Case represents a discrete unit of interaction between
More informationExtracting an S/MIME certificate from a digital signature
Extracting an S/MIME certificate from a digital signature Instructions for Microsoft Outlook 2007 and 2010 Document User_Instruction_Outlook_Certificate_Handling Status Final Date: 03.06.2012 Version:
More informationCA Endevor Software Change Manager Version 15.0
PRODUCT SHEET CA Endevor Software Change Manager CA Endevor Software Change Manager Version 15.0 CA Endevor Software Change Manager (CA Endevor SCM) helps organizations to control all software management
More informationDEBIT CARD AGREEMENT AND DISCLOSURE
DEBIT CARD AGREEMENT AND DISCLOSURE This Debit Card Agreement and Disclosure is the contract which covers your and our rights and responsibilities concerning the debit card services offered to you by Front
More informationMultizone Application 1 2-3 >3. MSR300 System. No Software configurable? GuardPLC. Enet RECOMMENDED PRODUCTS. Time Delay MSR138
AUDIN - 8, avenue de la malle - 51370 Saint Brice Courcelles - Tel : 03.26.04.20.21 - Fax : 03.26.04.28.20 - Web : http: www.audin.fr - Email : info@audin.fr Selection Flowchart Multizone Application General
More informationTaming Big Data Storage with Crossroads Systems StrongBox
BRAD JOHNS CONSULTING L.L.C Taming Big Data Storage with Crossroads Systems StrongBox Sponsored by Crossroads Systems 2013 Brad Johns Consulting L.L.C Table of Contents Taming Big Data Storage with Crossroads
More informationAn Automation Approach Based on Workflows and Software Agents for IPS² by
The 7 th CIRP IPSS Conference 21-22 May 2015 Saint-Etienne, France An Automation Approach Based on Workflows and Software Agents for IPS² by E. Uhlmann, C. Gabriel and N. Raue Presenting Author: C. Gabriel
More informationMethods and Tools For Embedded Distributed System Scheduling and Schedulability Analysis
Methods and Tools For Embedded Distributed System Scheduling and Schedulability Analysis Steve Vestal Honeywell Labs Steve.Vestal@Honeywell.com 18 October 2005 Outline Background Binding and Routing Scheduling
More information1. GRANT OF LICENSE. Formdocs LLC grants you the following rights provided that you comply with all terms and conditions of this EULA:
END-USER LICENSE AGREEMENT FOR FORMDOCS SOFTWARE IMPORTANT-READ CAREFULLY: This End-User License Agreement ("EULA") is a legal agreement between you (either an individual or a single entity) and Formdocs
More informationSystem- Level Reliability Analysis for Conceptual Design of Electrical Power Systems
System- Level Reliability Analysis for Conceptual Design of Electrical Power Systems Ying Zhang and Tolga Kurtoglu Palo Alto Research Center Palo Alto, CA, 94304 {yzhang, kurtoglu}@parc.com Irem Y. Tumer
More informationMachine Safety Design: Safety Relays Versus a Single Safety Controller
Machine Safety Design: Safety Relays Versus a Single Safety Controller Technical and Commercial Considerations A White Paper presented by: Mike Garrick Product Marketing Lead Specialist INTERFACE Relays
More informationDesigning an efficient Programmable Logic Controller using Programmable System On Chip
Designing an efficient Programmable Logic Controller using Programmable System On Chip By Raja Narayanasamy, Product Apps Manager Sr, Cypress Semiconductor Corp. A Programmable Logic Controller (PLC) is
More informationInnoCaption TM Service Terms of Use
PRIOR TO USING THE INNOCAPTION SERVICE YOU MUST REVIEW AND AGREE TO THE TERMS AND CONDITIONS OF THIS SERVICE AGREEMENT ( AGREEMENT ) BY COMPLETING YOUR REGISTRATION ( SIGN UP ) FOR INNOCAPTION SERVICE.
More informationGEORGIA TECH RESEARCH CORPORATION SPECIALIZED TESTING SERVICES AGREEMENT. Project No.
GEORGIA TECH RESEARCH CORPORATION SPECIALIZED TESTING SERVICES AGREEMENT Project No. THIS AGREEMENT is made by and between GEORGIA TECH RESEARCH CORPORATION, a Georgia corporation, having principal offices
More informationLeverage Your Financial System to Enable Sarbanes-Oxley Compliance: An Evaluator s Guide
Leverage Your Financial System to Enable Sarbanes-Oxley Compliance: An Evaluator s Guide W H I T E P A P E R Summary This document provides an overview on how financial systems can provide companies with
More informationADDITIONAL TERMS FOR HOSTED EXCHANGE SERVICES SCHEDULE 2Z
ADDITIONAL TERMS FOR HOSTED EXCHANGE SERVICES SCHEDULE 2Z CONTENTS 1 Service Description... 3 2 Definitions... 3 3 Service Terms... 4 3.1 Scope of Hosted Exchange Services... 4 3.2 Data centre locations...
More informationRules and Regulations
1059 Rules and Regulations Federal Register Vol. 76, No. 5 Friday, January 7, 2011 This section of the FEDERAL REGISTER contains regulatory documents having general applicability and legal effect, most
More informationONLINE EXERCISE SYSTEM A Web-Based Tool for Administration and Automatic Correction of Exercises
ONLINE EXERCISE SYSTEM A Web-Based Tool for Administration and Automatic Correction of Exercises Daniel Baudisch, Manuel Gesell and Klaus Schneider Embedded Systems Group, University of Kaiserslautern,
More informationSOFTWARE-IMPLEMENTED SAFETY LOGIC Angela E. Summers, Ph.D., P.E., President, SIS-TECH Solutions, LP
SOFTWARE-IMPLEMENTED SAFETY LOGIC Angela E. Summers, Ph.D., P.E., President, SIS-TECH Solutions, LP Software-Implemented Safety Logic, Loss Prevention Symposium, American Institute of Chemical Engineers,
More informationSection 7216. Disclosure or Use of Information by Preparers of Returns
Part 301 Section 7216. Disclosure or Use of Information by Preparers of Returns 26 CFR: 301.7216-1: Penalty for disclosure or use of tax return information. (Also 6713; 301.7216-2.) Rev. Rul. 2010-5 PURPOSE
More informationFederated, Generic Configuration Management for Engineering Data
Federated, Generic Configuration Management for Engineering Data Dr. Rainer Romatka Boeing GPDIS_2013.ppt 1 Presentation Outline I Summary Introduction Configuration Management Overview CM System Requirements
More informationHuman-Automation Interaction Design and Evaluation Tools. Michael Feary, PhD
Human-Automation Interaction Design and Evaluation Tools Michael Feary, PhD Outline Human Automation interaction Research Challenges Research Approach Understanding Work domain analysis Visualization Prediction
More informationEUROPASS DIPLOMA SUPPLEMENT
EUROPASS DIPLOMA SUPPLEMENT TITLE OF THE DIPLOMA (ES) Técnico Superior en Automatización y Robótica Industrial TRANSLATED TITLE OF THE DIPLOMA (EN) (1) Higher Technician in Industrial Automation and Robotics
More informationOpportunities to Overcome Key Challenges
The Electricity Transmission System Opportunities to Overcome Key Challenges Summary Results of Breakout Group Discussions Electricity Transmission Workshop Double Tree Crystal City, Arlington, Virginia
More informationINSIDE. Management Process. Symantec Corporation TM. Best Practices Roles & Responsibilities. Vulnerabilities versus Exposures.
Symantec Corporation TM Symantec Product Vulnerability Management Process Best Practices Roles & Responsibilities INSIDE Vulnerabilities versus Exposures Roles Contact and Process Information Threat Evaluation
More informationFormal Verification by Model Checking
Formal Verification by Model Checking Natasha Sharygina Carnegie Mellon University Guest Lectures at the Analysis of Software Artifacts Class, Spring 2005 1 Outline Lecture 1: Overview of Model Checking
More informationLearning Systems Software Simulation
Learning Systems Software Simulation EasyVeep PLC controls and technology training FluidSIM Fluid Power training aid for instructors and design tool for engineers COSIMIR PLC 3D simulation tool for practical
More informationA NOVEL RESOURCE EFFICIENT DMMS APPROACH
A NOVEL RESOURCE EFFICIENT DMMS APPROACH FOR NETWORK MONITORING AND CONTROLLING FUNCTIONS Golam R. Khan 1, Sharmistha Khan 2, Dhadesugoor R. Vaman 3, and Suxia Cui 4 Department of Electrical and Computer
More informationSIS 202 - Functional Design 15 minutes
2005 Emerson Process Management. All rights reserved. View this and other courses online at www.plantwebuniversity.com. SIS 202 - Functional Design 15 minutes In this course: 1 Overview 2 Software Types
More informationEfficient Verification for Avionic Product Development
YAVE Test Systems Efficient Verification for Avionic Product Development With YAVE FTI offers the full range of test systems from compact budget units up to complex systems configured to customers individual
More informationSafety Function: Door Monitoring
Application Technique Safety Function: Door Monitoring Products: Trojan 5 Switch, GuardLogix Controller Safety Rating: CAT. 3, PLd to ISO 13849-1: 2008 Topic Page Important User Information 2 General Safety
More informationThe Course. http://www.cse.unsw.edu.au/~cs3153/
The Course http://www.cse.unsw.edu.au/~cs3153/ Lecturers Dr Peter Höfner NICTA L5 building Prof Rob van Glabbeek NICTA L5 building Dr Ralf Huuck NICTA ATP building 2 Plan/Schedule (1) Where and When Tuesday,
More informationUsing Patterns and Composite Propositions to Automate the Generation of Complex LTL
University of Texas at El Paso DigitalCommons@UTEP Departmental Technical Reports (CS) Department of Computer Science 8-1-2007 Using Patterns and Composite Propositions to Automate the Generation of Complex
More informationPage 1. Outline of the Lecture. What is Software Configuration Management? Why Software Configuration Management?
Books: Software Configuration Management 1. B. Bruegge and A. H. Dutoit, Object-Oriented Software Engineering: Using UML, Patterns, and Java (Chapter 13) Outline of the Lecture Purpose of Software Configuration
More informationDegree programme in Automation Engineering
Degree programme in Automation Engineering Course descriptions of the courses for exchange students, 2014-2015 Autumn 2014 21727630 Application Programming Students know the basis of systems application
More informationStatic Program Transformations for Efficient Software Model Checking
Static Program Transformations for Efficient Software Model Checking Shobha Vasudevan Jacob Abraham The University of Texas at Austin Dependable Systems Large and complex systems Software faults are major
More informationBlock 3 Size 0 KB 0 KB 16KB 32KB. Start Address N/A N/A F4000H F0000H. Start Address FA000H F8000H F8000H F8000H. Block 2 Size 8KB 16KB 16KB 16KB
APPLICATION NOTE M16C/26 1.0 Abstract The following article describes using a synchronous serial port and the FoUSB (Flash-over-USB ) Programmer application to program the user flash memory of the M16C/26
More informationOffice of Export Enforcement Bureau of Industry and Security (BIS) U.S. Department of Commerce
Office of Export Enforcement Bureau of Industry and Security (BIS) U.S. Department of Commerce Sidney M. Simon Special Agent in Charge New York Field Office Export Enforcement s Mission Protect National
More informationLearning Systems Modular Systems for Mechatronics Training
Learning Systems Modular Systems for Mechatronics Training MPS Modular Production System Model industrial automation systems at various levels of complexity MPS Combinations Model specific combinations
More informationIntroduction To Commerce Department. Export Controls U.S. DEPARTMENT OF COMMERCE BUREAU OF INDUSTRY AND SECURITY OFFICE OF EXPORTER SERVICES
Introduction To Commerce Department Export Controls U.S. DEPARTMENT OF COMMERCE BUREAU OF INDUSTRY AND SECURITY OFFICE OF EXPORTER SERVICES Overview The Department of Commerce s Bureau of Industry and
More informationHarvard Export Control Compliance Policy Statement
Harvard Export Control Compliance Policy Statement Harvard University investigators engage in a broad range of innovative and important research both in the United States and overseas. These activities
More informationAdvisory Circular. U.S. Department of Transportation Federal Aviation Administration
U.S. Department of Transportation Federal Aviation Administration Advisory Circular Subject: Airborne Software Assurance Date: 07/19/2013 AC No: 20-115C Initiated by: AIR-120 Change: 1. Purpose of this
More informationInstallation Guide. Novell Storage Manager 3.1.1 for Active Directory. Novell Storage Manager 3.1.1 for Active Directory Installation Guide
Novell Storage Manager 3.1.1 for Active Directory Installation Guide www.novell.com/documentation Installation Guide Novell Storage Manager 3.1.1 for Active Directory October 17, 2013 Legal Notices Condrey
More informationSpecification and Analysis of Contracts Lecture 1 Introduction
Specification and Analysis of Contracts Lecture 1 Introduction Gerardo Schneider gerardo@ifi.uio.no http://folk.uio.no/gerardo/ Department of Informatics, University of Oslo SEFM School, Oct. 27 - Nov.
More informationModel Based Software Development for DDG 1000 Advanced Gun System
BAE Systems Land & Armaments Model Based Software Development for DDG 1000 Advanced Gun System Dirk Jungquist BAE Systems Land & Armaments 2012 Distribution Statement A: Approved for public release; distribution
More informationENGINEERING AUSTRALIAN COLLEGE OF KUWAIT - CORPORATE TRAINING
INTRO TO CORPORATE TRAINING Drawing upon ACK expertise and in collaboration with international bodies the Australian College of Kuwait Corporate Training (ACK CT) division was formed in 2009 to cater for
More informationNXP Basestation Site Scanning proposal with AISG modems
NXP Basestation Site Scanning proposal with modems Advanced Systems White Paper by Jaijith Radhakrishnan There are a number of connectivity issues associated with cellular base stations that can increase
More informationGIORGI-FERMI vocational school. Knowledge and skills to be acquired by the student/trainee during his training
GIORGI-FERMI vocational school Knowledge and skills to be acquired by the student/trainee during his training Electrical course Electrical circuits and networks Programmable Logic Controller PLC (Siemens)
More informationData Migration Plan for MIRPS Data and Reference Table Data
Resource Ordering and Status System (ROSS) Program Professional Development Services Data Migration Plan for MIRPS Data and Reference Table Data August 16, 1999 Contract: GS-35F-4863G Delivery Order Number:
More informationTechnical Training Module ( 30 Days)
Annexure - I Technical Training Module ( 30 Days) Section 1 : Programmable Logic Controller (PLC) 1. Introduction to Programmable Logic Controller - A Brief History, Need and advantages of PLC, PLC configuration,
More information