The RobustRailS Verification Tool Set
|
|
- Ida Brandt
- 4 år siden
- Visninger:
Transkript
1 The RobustRailS Verification Tool Set for Safety Verification of Interlocking Systems Linh, H. Vu, Technical University of Denmark Anne E. Haxthausen, Technical University of Denmark Jan Peleska, University of Bremen
2 RobustRailS Verification Method & Tools ERTMS niveau 2: Interoperabel jernbane uden ydre signaler Fjernstyringscentral Trafikleder Radioblokcenter Sikringsanlæg GSM-R data Fast mærke ETCS Akseltællere Eurobalise (Km-sten) Figur 4.2 ERTMS niveau 2: Interoperabel jernbane uden ydre signaler. Eurobalise (Km-sten) Togdetektering Sporskiftedrev Strækningshastigheden vil desuden kunne øges på enkelte strækninger, når der er installeret et nyt signalsystem, idet togkontrol og førerrumssignalering er en sikkerhedsmæssig forudsætning for strækningshastigheder over 120 km/t, jf. kapitel 6. Method and tool set for automated, formal safety verification of interlocking systems. Were developed by Linh H. Vu, Anne Haxthausen, Jan Peleska, in collaboration with the Danish railways in the RobustRailS. research project. RobustRailS research project, : Funded by the Danish Innovation Fund. Partners: 4 DTU departments, Bremen University, Banedanmark, Traffic Authorities, DSB, DSB S-train. Det nye togkontrolsystem kan håndtere hastigheder på mere end 200 km/t. Det vil således være sporets udformning, der vil være begrænsende i forhold til hastighedsopgraderinger. En række strækninger, hvor hastigheden i dag begrænses af signalsystemet, vil uden videre kunne anvendes ved den hastighed sporet giver mulighed for. Togkontrolsystemet i ERTMS udfører de samme funktioner som det nuværende danske ATC system. Det vil således stadig være lokomotivføreren, som varetager styringen af toget. Togkontrolsystemet vil fortsat være en sikkerhedsfunktion, der nedbremser toget, hvis lokomotivføreren ikke reagerer korrekt på signalerne Teknisk udviklingsstade for ERTMS niveau 1 og 2 Fastlæggelsen af ERTMS-standarden for niveau 1 og 2 handler om, at der skal opnås enighed om, hvilken løsning blandt flere allerede eksisterende løsninger, der skal være den fælles standard. Derefter skal det sikres, at de valgte løsninger for de forskellige funktioner kan fungere sammen. Fastlæggelsen af ERTMS-standarden handler således ikke om at udvikle nye løsninger, men om at opnå enighed om hvilke løsninger der skal anvendes og få produkterne til at fungere sammen. Problemstillingen er uafhængig af valget af ERTMS niveau 1 eller niveau Goal: to develop methods for achieving punctual and safe railway operations for the Danish Re-signaling Program implementing ERTMS/ETCS Level 2. methods for efficient safety verification... 2 RobustRailS Verification Tool Set
3 Background: Challenges Errors in interlocking systems may have very severe consequences. Conventional specification & verification methods may be time consuming and not give sufficient guaranties for correctness. Bugs typically first found during testing expensive to fix. Need to get it right from the beginning. 3 RobustRailS Verification Tool Set
4 Smarter Specification and Verification Methods state space reachable states :safe states :unsafe states Use Formal Methods and Automation: strongly recommended by CENELEC for safety-critical software efficient to avoid bugs to catch bugs early, before implementation and test saves time and money 4 RobustRailS Verification Tool Set
5 b10 mb10 DOWN mb11 t10 t11 mb20 t20 mb12 t12 mb21 mb13 t13 t14 UP mb14 mb15 b14 RobustRailS Verification Method & Tools (0) develop or generate Possible human manipulation route from to path points markerboards conflicts 1a mb10 mb13 t10;t11;t12 t11:+;t13:- mb11;mb12;mb20 1b;2a;2b;3;4;5a;5b;6b;7. 7 mb20 mb11 t11;t10 t11:- mb10;mb12 1a;1b;2a;2b;3;5b;6a 8 mb21 mb14 t13;t14 t13:- mb13;mb15 1b;2a;4;5a;5b;6a;6b (step 2.1) generator model safety requirements (step 2.2) Model checker investigates: does model meet the requirements? 1.1 Input: track plan. (step 1) static checker 1.2 The tool automatically generates a route control table, if not provided. 1.3 The tool checks that the track plan and route control table are correct. 2.1 The tool generates a formal model of the behaviour of the interlocking system x formal safety requirements (e.g no train collisions). 2.2 A model checker (dis-)proves the model meets the requirements. 3.1 The tool generates test cases and a test oracle for software integration testing. 5 RobustRailS Verification Tool Set
6 b10 mb10 DOWN mb11 t10 t11 mb20 t20 mb12 t12 mb21 mb13 t13 t14 UP mb14 mb15 b14 RobustRailS Verification Method & Tools (0) develop or generate Possible human manipulation route from to path points markerboards conflicts 1a mb10 mb13 t10;t11;t12 t11:+;t13:- mb11;mb12;mb20 1b;2a;2b;3;4;5a;5b;6b;7. 7 mb20 mb11 t11;t10 t11:- mb10;mb12 1a;1b;2a;2b;3;5b;6a 8 mb21 mb14 t13;t14 t13:- mb13;mb15 1b;2a;4;5a;5b;6a;6b (step 2.1) generator model safety requirements (step 2.2) Model checker investigates: does model meet the requirements? (step 1) static checker Verification in three steps: The static checking step is used to find errors in the control table. The model checking step is used to find errors in the control algorithms. The model-based testing step is used to find errors in the implemented system. Features: Model hiding : Models automatically generated from domain-specific railway specifications can be used by railway engineers without background in formal methods. Verification based on induction reasoning using bounded model checking pushes the limits for state space explosion. 6 RobustRailS Verification Tool Set
7 b10 mb10 DOWN mb11 t10 t11 mb20 t20 mb12 t12 mb21 mb13 t13 UP t14 mb14 route from to path points markerboards conflicts 1a mb10 mb13 t10;t11;t12 t11:+;t13:- mb11;mb12;mb20 1b;2a;2b;3;4;5a;5b;6b;7. 7 mb20 mb11 t11;t10 t11:- mb10;mb12 1a;1b;2a;2b;3;5b;6a 8 mb21 mb14 t13;t14 t13:- mb13;mb15 1b;2a;4;5a;5b;6a;6b Untitled layer Roskilde Station Gadstrup St. Havdrup St. Lille Skensved St. Køge St. Herfølge St. Tureby St. Haslev St. Holme-Olstrup St. Næstved St. EDL mb15 b14 Applications of the Method & Tools (0) develop or generate Possible human manipulation (step 2.1) generator model safety requirements (step 2.2) Model checker investigates: does model meet the requirements? (step 1) static checker The Early Deployment Line, Roskilde - Næstved, in Denmark [Vu, Haxthausen, Peleska 2017]: Untitled map Florence station in Italy [Fantechi, Haxthausen, Macedo 2017]: 7 RobustRailS Verification Tool Set
8 Untitled layer Roskilde Station Gadstrup St. Havdrup St. Lille Skensved St. Køge St. Herfølge St. Tureby St. Haslev St. Holme-Olstrup St. Næstved St. EDL t25 t26 t27 t28 Compositional Verification Suggested by Fantechi, Haxthausen, Macedo Goal: to further increase the scalability of the verification method. Idea: cut the interlocking logic of large layouts into separate, more manageable, portions, so that proving safety of the portions implies safety of the whole. E8 E26 t13 T1 t7 t11 T16 T19 E1 E19 A station B station T2 E10 t5 t8 t10 t12 T15 E24 T18 E2 E17 E12 E22 T3 E3 t6 t9 T14 E15 T17 Experiments show: compositional verification is faster, uses 30 40% less memory. Early Deployment Line (EDL) in Denmark and Florence Station in Italy Untitled map 8 RobustRailS Verification Tool Set
9 Thank you for your attention. 9 RobustRailS Verification Tool Set
Lovkrav vs. udvikling af sundhedsapps
Lovkrav vs. udvikling af sundhedsapps Health apps give patients better control User Data Social media Pharma Products User behaviour Relatives www Self monitoring (app) data extract Healthcare specialists
Læs mereBasic statistics for experimental medical researchers
Basic statistics for experimental medical researchers Sample size calculations September 15th 2016 Christian Pipper Department of public health (IFSV) Faculty of Health and Medicinal Science (SUND) E-mail:
Læs mereBreaking Industrial Ciphers at a Whim MATE SOOS PRESENTATION AT HES 11
Breaking Industrial Ciphers at a Whim MATE SOOS PRESENTATION AT HES 11 Story line 1 HiTag2: reverse-engineered proprietary cipher 2 Analytic tools are needed to investigate them 3 CryptoMiniSat: free software
Læs mereProject Step 7. Behavioral modeling of a dual ported register set. 1/8/ L11 Project Step 5 Copyright Joanne DeGroat, ECE, OSU 1
Project Step 7 Behavioral modeling of a dual ported register set. Copyright 2006 - Joanne DeGroat, ECE, OSU 1 The register set Register set specifications 16 dual ported registers each with 16- bit words
Læs mereDesign by Contract Bertrand Meyer Design and Programming by Contract. Oversigt. Prædikater
Design by Contract Bertrand Meyer 1986 Design and Programming by Contract Michael R. Hansen & Anne Haxthausen mrh@imm.dtu.dk Informatics and Mathematical Modelling Technical University of Denmark Design
Læs mereSustainable use of pesticides on Danish golf courses
Indsæt nyt billede: Sustainable use of pesticides on Danish golf courses Anita Fjelsted - Danish EPA Ministry of the Environment 27 May 2015 - STERF The Danish Environmental Protection Agency 450 employees
Læs mereERTMS baserede signalsystemer på lille syd
ERTMS baserede signalsystemer på lille syd IDA Mechanical 2015, Haslev 05.11.2015 Præsenteret af Jens Holst Møller 1 Indhold 1.Udrulning og rollen for lille syd 2.Overordnet system forståelse 3.Fjernstyring
Læs mereH2020 DiscardLess ( ) Lessons learnt. Chefkonsulent, seniorrådgiver Erling P. Larsen, DTU Aqua, Denmark,
H2020 DiscardLess (2015-2019) Lessons learnt www.discardless.eu Chefkonsulent, seniorrådgiver Erling P. Larsen, DTU Aqua, Denmark, Fra ændrede fiskeredskaber til cost-benefit analyser Endnu et skifte i
Læs mereUheldsmodeller på DTU Transport - nu og fremover
Downloaded from orbit.dtu.dk on: Jan 20, 2019 på DTU Transport - nu og fremover Hels, Tove Publication date: 2011 Document Version Også kaldet Forlagets PDF Link back to DTU Orbit Citation (APA): Hels,
Læs mereSOFTWARE PROCESSES. Dorte, Ida, Janne, Nikolaj, Alexander og Erla
SOFTWARE PROCESSES Dorte, Ida, Janne, Nikolaj, Alexander og Erla Hvad er en software proces? Et struktureret sæt af AKTIVITETER, hvis mål er udvikling af software. En software proces model er en abstrakt
Læs mereDesign by Contract. Design and Programming by Contract. Oversigt. Prædikater
Design by Contract Design and Programming by Contract Anne Haxthausen ah@imm.dtu.dk Informatics and Mathematical Modelling Technical University of Denmark Design by Contract er en teknik til at specificere
Læs mereDSB s egen rejse med ny DSB App. Rubathas Thirumathyam Principal Architect Mobile
DSB s egen rejse med ny DSB App Rubathas Thirumathyam Principal Architect Mobile Marts 2018 AGENDA 1. Ny App? Ny Silo? 2. Kunden => Kunderne i centrum 1 Ny app? Ny silo? 3 Mødetitel Velkommen til Danske
Læs mereIBM Network Station Manager. esuite 1.5 / NSM Integration. IBM Network Computer Division. tdc - 02/08/99 lotusnsm.prz Page 1
IBM Network Station Manager esuite 1.5 / NSM Integration IBM Network Computer Division tdc - 02/08/99 lotusnsm.prz Page 1 New esuite Settings in NSM The Lotus esuite Workplace administration option is
Læs mereRailways and DSB traffic transition for the future
Railways and DSB traffic transition for the future DTU Transport Summit 31th of maj 2018 Lars Krogsdam, Long Term Planning A decade of transition in the Danish Railway 2 Agenda Traffical changes Timetable
Læs mereBilag 8. TDC technical requirements for approval of splitterfilters and inline filters intended for shared access (ADSL or VDSL over POTS).
Bilag 8. TDC technical requirements for approval of splitters and inline s intended for shared access (ADSL or VDSL over POTS). Dette bilag udgør bilag 8 til det mellem parterne tiltrådte Produkttillæg
Læs mereBlack Jack --- Review. Spring 2012
Black Jack --- Review Spring 2012 Simulation Simulation can solve real-world problems by modeling realworld processes to provide otherwise unobtainable information. Computer simulation is used to predict
Læs mereParticle-based T-Spline Level Set Evolution for 3D Object Reconstruction with Range and Volume Constraints
Particle-based T-Spline Level Set for 3D Object Reconstruction with Range and Volume Constraints Robert Feichtinger (joint work with Huaiping Yang, Bert Jüttler) Institute of Applied Geometry, JKU Linz
Læs mereBrug sømbrættet til at lave sjove figurer. Lav fx: Få de andre til at gætte, hvad du har lavet. Use the nail board to make funny shapes.
Brug sømbrættet til at lave sjove figurer. Lav f: Et dannebrogsflag Et hus med tag, vinduer og dør En fugl En bil En blomst Få de andre til at gætte, hvad du har lavet. Use the nail board to make funn
Læs mereTrolling Master Bornholm 2014
Trolling Master Bornholm 2014 (English version further down) Populært med tidlig færgebooking Booking af færgebilletter til TMB 2014 er populært. Vi har fået en stribe mails fra teams, som har booket,
Læs mereSmall Autonomous Devices in civil Engineering. Uses and requirements. By Peter H. Møller Rambøll
Small Autonomous Devices in civil Engineering Uses and requirements By Peter H. Møller Rambøll BACKGROUND My Background 20+ years within evaluation of condition and renovation of concrete structures Last
Læs mereLinear Programming ١ C H A P T E R 2
Linear Programming ١ C H A P T E R 2 Problem Formulation Problem formulation or modeling is the process of translating a verbal statement of a problem into a mathematical statement. The Guidelines of formulation
Læs mereSkidding System. Challenge Us
Skidding System n Malm Orstads cutting edge Engineering department designs and fabricates tailor made skidding systems for all kinds of enviroments. Our skidding systems are amongst the most efficient
Læs mereØg sporbarhed og produktivitet gennem integration
Øg sporbarhed og produktivitet gennem integration Hvem er jeg? De næste 40 minu4er DevOps hos TestHuset En normal case - Problemstillinger - Hvordan vi arbejder med kunden - Løsning Q&A DevOps DevOps is
Læs mereframe bracket Ford & Dodge
, Rev 3 02/19 frame bracket 8552005 Ford & Dodge ITEM PART # QTY DESCRIPTION 1 00083 8 NUT,.50NC HEX 2 00084 8 WASHER,.50 LOCK 3 14189-76 2 FRAME BRACKET 4 14194-76 1 411AL FRAME BRACKET PASSENGER SIDE
Læs mereStrings and Sets: set complement, union, intersection, etc. set concatenation AB, power of set A n, A, A +
Strings and Sets: A string over Σ is any nite-length sequence of elements of Σ The set of all strings over alphabet Σ is denoted as Σ Operators over set: set complement, union, intersection, etc. set concatenation
Læs mereDANSK INSTALLATIONSVEJLEDNING VLMT500 ADVARSEL!
DANSK INSTALLATIONSVEJLEDNING VLMT500 Udpakningsinstruktioner Åben indpakningen forsigtigt og læg indholdet på et stykke pap eller en anden beskyttende overflade for at undgå beskadigelse. Kontroller at
Læs mereEngineering of Chemical Register Machines
Prague International Workshop on Membrane Computing 2008 R. Fassler, T. Hinze, T. Lenser and P. Dittrich {raf,hinze,thlenser,dittrich}@minet.uni-jena.de 2. June 2008 Outline 1 Motivation Goal Realization
Læs mereSpecial VFR. - ved flyvning til mindre flyveplads uden tårnkontrol som ligger indenfor en kontrolzone
Special VFR - ved flyvning til mindre flyveplads uden tårnkontrol som ligger indenfor en kontrolzone SERA.5005 Visual flight rules (a) Except when operating as a special VFR flight, VFR flights shall be
Læs mereMaskindirektivet og Remote Access. Arbejdstilsynet Dau konference 2015 Arbejdsmiljøfagligt Center Erik Lund Lauridsen
Maskindirektivet og Remote Access Arbejdstilsynet Dau konference 2015 Arbejdsmiljøfagligt Center Erik Lund Lauridsen ell@at.dk Marts 2015 1 MD - Personsikkerhed og Remoten Hvad er spillepladen for personsikkerhed
Læs mereTitel: Barry s Bespoke Bakery
Titel: Tema: Kærlighed, kager, relationer Fag: Engelsk Målgruppe: 8.-10.kl. Data om læremidlet: Tv-udsendelse: SVT2, 03-08-2014, 10 min. Denne pædagogiske vejledning indeholder ideer til arbejdet med tema
Læs mereGeneralized Probit Model in Design of Dose Finding Experiments. Yuehui Wu Valerii V. Fedorov RSU, GlaxoSmithKline, US
Generalized Probit Model in Design of Dose Finding Experiments Yuehui Wu Valerii V. Fedorov RSU, GlaxoSmithKline, US Outline Motivation Generalized probit model Utility function Locally optimal designs
Læs mereGIGABIT COLOR IP PHONE
GIGABIT COLOR IP PHONE USER GUIDE UC924 Version:1.0.0.1 Nanjing Hanlong Technology Co., Ltd 86-25-84608050 www.h-tek.com support@h-tek.com Notices Information 1 Notices Information 2 Table of Content Notices
Læs mereGÅ-HJEM-MØDE OM FM OG INNOVATION
Centre for Facilities Management, DTU DFM Netværk GÅ-HJEM-MØDE OM FM OG INNOVATION Kgs. Lyngby, 21. Mai 2015 PROGRAM Kl. 14.00-14.10: Velkomst - Per Anker Jensen, CFM Kl. 14.10-14.45: Sony og Innovation
Læs mereLearnings from the implementation of Epic
Learnings from the implementation of Epic Appendix Picture from Region H (2016) A thesis report by: Oliver Metcalf-Rinaldo, oliv@itu.dk Stephan Mosko Jensen, smos@itu.dk Appendix - Table of content Appendix
Læs mereThe New Line Copenhagen-Ringsted. Bentleyusers.dk 14 November 2011
The New Line Copenhagen-Ringsted Bentleyusers.dk 14 November 2011 Rail transport in Denmark The history of rail transport in Denmark began in 1847 with the opening of a railway line between Copenhagen
Læs merel i n d a b presentation CMD 07 Business area Ventilation
l i n d a b presentation CMD 07 Business area Ventilation 1 Ventilation Sales LTM June 4 097 MSEK EBIT LTM June 449 MSEK 11,0% Two Divisions ADS 85% Comfort 15% YTD June 07 % Sales +31 Nordic countries
Læs mereTrolling Master Bornholm 2014
Trolling Master Bornholm 2014 (English version further down) Ny præmie Trolling Master Bornholm fylder 10 år næste gang. Det betyder, at vi har fundet på en ny og ganske anderledes præmie. Den fisker,
Læs mereTrafikstyrelsen for Jernbane og Færger, den 28. maj 2008 PER JACOBSEN. / Lise Aaen Kobberholm
BEK nr 424 af 28/05/2008 (Gældende) Udskriftsdato: 11. november 2017 Ministerium: Transport- og Bygningsministeriet Journalnummer: Transportmin., Trafikstyrelsen for Jernbane og Færger, j.nr. T691-000079
Læs mereIPv6 Application Trial Services. 2003/08/07 Tomohide Nagashima Japan Telecom Co., Ltd.
IPv6 Application Trial Services 2003/08/07 Tomohide Nagashima Japan Telecom Co., Ltd. Outline Our Trial Service & Technology Details Activity & Future Plan 2 Outline Our Trial Service & Technology Details
Læs mereStrækningsoversigt ETCS
anedanmark Strækningsoversigt ETCS 25.03.209 Su 02 Strækningsoversigt ETCS banedanmark Strækningsoversigt ETCS Nummeret på sidste på indsatte sidste rettelsesblad indsatte rettelsesblad 2 3 6 7 49 50 52
Læs mereUnited Nations Secretariat Procurement Division
United Nations Secretariat Procurement Division Vendor Registration Overview Higher Standards, Better Solutions The United Nations Global Marketplace (UNGM) Why Register? On-line registration Free of charge
Læs mereQUICK START Updated:
QUICK START Updated: 24.08.2018 For at komme hurtigt og godt igang med dine nye Webstech produkter, anbefales at du downloader den senest opdaterede QuickStart fra vores hjemmeside: In order to get started
Læs merehow to save excel as pdf
1 how to save excel as pdf This guide will show you how to save your Excel workbook as PDF files. Before you do so, you may want to copy several sheets from several documents into one document. To do so,
Læs mereProjektledelse i praksis
Projektledelse i praksis - Hvordan skaber man (grundlaget) for gode beslutninger? Martin Malis Business Consulting, NNIT mtmi@nnit.com 20. maj, 2010 Agenda Project Governance Portfolio Management Project
Læs mereIntroduction Ronny Bismark
Introduction 1 Outline Motivation / Problem Statement Tool holder Sensor calibration Motion primitive Concatenation of clouds Segmentation Next possible pose Problems and Challenges Future Work 2 Motivation
Læs mereFinn Gilling The Human Decision/ Gilling September Insights Danmark 2012 Hotel Scandic Aarhus City
Finn Gilling The Human Decision/ Gilling 12. 13. September Insights Danmark 2012 Hotel Scandic Aarhus City At beslutte (To decide) fra latin: de`caedere, at skære fra (To cut off) Gilling er fokuseret
Læs mereApplications. Computational Linguistics: Jordan Boyd-Graber University of Maryland RL FOR MACHINE TRANSLATION. Slides adapted from Phillip Koehn
Applications Slides adapted from Phillip Koehn Computational Linguistics: Jordan Boyd-Graber University of Maryland RL FOR MACHINE TRANSLATION Computational Linguistics: Jordan Boyd-Graber UMD Applications
Læs mereVina Nguyen HSSP July 13, 2008
Vina Nguyen HSSP July 13, 2008 1 What does it mean if sets A, B, C are a partition of set D? 2 How do you calculate P(A B) using the formula for conditional probability? 3 What is the difference between
Læs mereRoE timestamp and presentation time in past
RoE timestamp and presentation time in past Jouni Korhonen Broadcom Ltd. 5/26/2016 9 June 2016 IEEE 1904 Access Networks Working Group, Hørsholm, Denmark 1 Background RoE 2:24:6 timestamp was recently
Læs mereDesign til digitale kommunikationsplatforme-f2013
E-travellbook Design til digitale kommunikationsplatforme-f2013 ITU 22.05.2013 Dreamers Lana Grunwald - svetlana.grunwald@gmail.com Iya Murash-Millo - iyam@itu.dk Hiwa Mansurbeg - hiwm@itu.dk Jørgen K.
Læs meremandag den 23. september 13 Konceptkommunikation
Konceptkommunikation Status... En række koncepter, der efterhånden har taget form Status......nu skal vi rette os mod det færdige koncept idé 1 idé 2 How does it fit together Mixing and remixing your different
Læs mereUser Manual for LTC IGNOU
User Manual for LTC IGNOU 1 LTC (Leave Travel Concession) Navigation: Portal Launch HCM Application Self Service LTC Self Service 1. LTC Advance/Intimation Navigation: Launch HCM Application Self Service
Læs mereHealthcare Apps. OUH Odense University Hospital & Svendborg Hospital. Kiel, Germany, November 2013 1 05/12/13
Healthcare Apps OUH Odense University Hospital & Svendborg Hospital Kiel, Germany, November 2013 1 05/12/13 Jesper Lakman Senior Consultant Digital InnovaGon (4 employees) IT Department (140 employees)
Læs mereTo set new standards of lifting and transportation equipment for wind turbine components. Our product groups
To set new standards of lifting and transportation equipment for wind turbine components. Our product groups Embracing the full life cycle of the wind turbine Liftra develops and supplies services to
Læs mereSortering fra A-Z. Henrik Dorf Chefkonsulent SAS Institute
Sortering fra A-Z Henrik Dorf Chefkonsulent SAS Institute Hvorfor ikke sortering fra A-Å? Det er for svært Hvorfor ikke sortering fra A-Å? Hvorfor ikke sortering fra A-Å? Hvorfor ikke sortering fra A-Å?
Læs mereSikkerhedsvejledning
11-01-2018 2 Sikkerhedsvejledning VIGTIGT! Venligst læs disse instruktioner inden sengen samles og tages i brug Tjek at alle dele og komponenter er til stede som angivet i vejledningen Fjern alle beslagsdele
Læs mereEngelsk. Niveau D. De Merkantile Erhvervsuddannelser September Casebaseret eksamen. og
052431_EngelskD 08/09/05 13:29 Side 1 De Merkantile Erhvervsuddannelser September 2005 Side 1 af 4 sider Casebaseret eksamen Engelsk Niveau D www.jysk.dk og www.jysk.com Indhold: Opgave 1 Presentation
Læs mereCommunicate and Collaborate by using Building Information Modeling
Downloaded from orbit.dtu.dk on: Dec 20, 2017 Communicate and Collaborate by using Building Information Modeling Mondrup, Thomas Fænø; Karlshøj, Jan; Vestergaard, Flemming Publication date: 2012 Document
Læs mereThe two traction/speed curves can be seen below. Red for diesel, Green for electric.
Denne artikel er publiceret i det elektroniske tidsskrift Artikler fra Trafikdage på Aalborg Universitet (Proceedings from the Annual Transport Conference at Aalborg University) ISSN 1603-9696 www.trafikdage.dk/artikelarkiv
Læs merePARALLELIZATION OF ATTILA SIMULATOR WITH OPENMP MIGUEL ÁNGEL MARTÍNEZ DEL AMOR MINIPROJECT OF TDT24 NTNU
PARALLELIZATION OF ATTILA SIMULATOR WITH OPENMP MIGUEL ÁNGEL MARTÍNEZ DEL AMOR MINIPROJECT OF TDT24 NTNU OUTLINE INEFFICIENCY OF ATTILA WAYS TO PARALLELIZE LOW COMPATIBILITY IN THE COMPILATION A SOLUTION
Læs mereIPTV Box (MAG250/254) Bruger Manual
IPTV Box (MAG250/254) Bruger Manual Når din STB (Set top Box) starter op, bliver der vist en pop up boks på skærmen, hvor du kan åbne EPG ved at trykke på F2 (Nogle bokse kan fortælle at den har brug for
Læs mereChallenges for the Future Greater Helsinki - North-European Metropolis
Challenges for the Future Greater Helsinki - North-European Metropolis Prof. Dr.-Ing. / M.A. soc. pol. HafenCity University Hamburg Personal introduction background: - urban and regional planning - political
Læs mereUSERTEC USER PRACTICES, TECHNOLOGIES AND RESIDENTIAL ENERGY CONSUMPTION
USERTEC USER PRACTICES, TECHNOLOGIES AND RESIDENTIAL ENERGY CONSUMPTION P E R H E I S E L BERG I N S T I T U T F OR BYGGERI OG A N L Æ G BEREGNEDE OG FAKTISKE FORBRUG I BOLIGER Fra SBi rapport 2016:09
Læs mereBilag. Resume. Side 1 af 12
Bilag Resume I denne opgave, lægges der fokus på unge og ensomhed gennem sociale medier. Vi har i denne opgave valgt at benytte Facebook som det sociale medie vi ligger fokus på, da det er det største
Læs mereSusan Svec of Susan s Soaps. Visit Her At:
Susan Svec of Susan s Soaps Visit Her At: www.susansoaps.com Background Based on All-Natural Soap and Other Products Started Due to Experience with Eczema Common Beginning Transition to Business Started
Læs mereAgenda. The need to embrace our complex health care system and learning to do so. Christian von Plessen Contributors to healthcare services in Denmark
Agenda The need to embrace our complex health care system and learning to do so. Christian von Plessen Contributors to healthcare services in Denmark Colitis and Crohn s association Denmark. Charlotte
Læs mereHeuristics for Improving
Heuristics for Improving Model Learning Based Testing Muhammad Naeem Irfan VASCO-LIG LIG, Computer Science Lab, Grenoble Universities, 38402 Saint Martin d Hères France Introduction Component Based Software
Læs mereQUICK START Updated: 18. Febr. 2014
QUICK START Updated: 18. Febr. 2014 For at komme hurtigt og godt igang med dine nye Webstech produkter, anbefales at du downloader den senest opdaterede QuickStart fra vores hjemmeside: In order to get
Læs mereMaskinsikkerhed Risikovurdering Del 2: Praktisk vejledning og metodeeksempler
DS-information DS/ISO/TR 14121-2 2. udgave 2012-07-04 Maskinsikkerhed Risikovurdering Del 2: Praktisk vejledning og metodeeksempler Safety of machinery Risk assessment Part 2: Practical guidance and examples
Læs mereValg af Automationsplatform
Valg af Automationsplatform Factory or Machine? Different Product Segments APROL for Process Control and Factory Automation Automation Studio for Machine Automation Factory Automation Factory automation
Læs mereSR - Supplerende Sikkerhedsbestemmelser
SR SSB 123-2019 Offentliggjort: 09.07.2019 Gyldig fra: 16.08.2019 Gyldig til: 31.12.2019 TIB 4, Roskilde-Køge. Kørsel med prøvetog (ORF test) 1. Generelt 1.1. Formål For afprøvning af fjernbanens operationelle
Læs mereThe effects of occupant behaviour on energy consumption in buildings
The effects of occupant behaviour on energy consumption in buildings Rune Vinther Andersen, Ph.D. International Centre for Indoor Environment and Energy Baggrund 40 % af USA's samlede energiforbrug sker
Læs mereHealth surveys. Supervision (much more) from the patients perspective. Charlotte Hjort Head of dep., MD, ph.d., MPG
Health surveys Supervision (much more) from the patients perspective Charlotte Hjort Head of dep., MD, ph.d., MPG 8.10.2018 The story 2002 Act on surveys at all nursing homes (frequentbased surveys) 600-800
Læs mereMSE PRESENTATION 2. Presented by Srunokshi.Kaniyur.Prema. Neelakantan Major Professor Dr. Torben Amtoft
CAPABILITY CONTROL LIST MSE PRESENTATION 2 Presented by Srunokshi.Kaniyur.Prema. Neelakantan Major Professor Dr. Torben Amtoft PRESENTATION OUTLINE Action items from phase 1 presentation tti Architecture
Læs merewhat is this all about? Introduction three-phase diode bridge rectifier input voltages input voltages, waveforms normalization of voltages voltages?
what is this all about? v A Introduction three-phase diode bridge rectifier D1 D D D4 D5 D6 i OUT + v OUT v B i 1 i i + + + v 1 v v input voltages input voltages, waveforms v 1 = V m cos ω 0 t v = V m
Læs mereBoligsøgning / Search for accommodation!
Boligsøgning / Search for accommodation! For at guide dig frem til den rigtige vejledning, skal du lige svare på et par spørgsmål: To make sure you are using the correct guide for applying you must answer
Læs mereMotorway effects on local population and labor market
Motorway effects on local population and labor market Per Homann Jespersen Associate Professor, Roskilde University Jean P. Endres phd student, Roskilde University Trafikdage 23-08-16 Motorways and the
Læs mereIBM Software Group. SOA v akciji. Srečko Janjić WebSphere Business Integration technical presales IBM Software Group, CEMA / SEA IBM Corporation
IBM Software Group SOA v akciji Srečko Janjić Business Integration technical presales IBM Software Group, CEMA / SEA Service Oriented Architecture Design principles and technology for building reusable,
Læs mereSkriftlig Eksamen Beregnelighed (DM517)
Skriftlig Eksamen Beregnelighed (DM517) Institut for Matematik & Datalogi Syddansk Universitet Mandag den 7 Januar 2008, kl. 9 13 Alle sædvanlige hjælpemidler (lærebøger, notater etc.) samt brug af lommeregner
Læs mereShared space - mellem vision og realitet. - Lyngby Idrætsby som case
Downloaded from orbit.dtu.dk on: Jan 27, 2017 Shared space - mellem vision og realitet. - Lyngby Idrætsby som case Brinkø, Rikke Publication date: 2015 Document Version Peer-review version Link to publication
Læs mereECE 551: Digital System * Design & Synthesis Lecture Set 5
ECE 551: Digital System * Design & Synthesis Lecture Set 5 5.1: Verilog Behavioral Model for Finite State Machines (FSMs) 5.2: Verilog Simulation I/O and 2001 Standard (In Separate File) 3/4/2003 1 ECE
Læs mereQuality indicators for clinical pharmacy services
Quality indicators for clinical pharmacy services Head of Quality and Improvement, Nordsjælland Hospital Dorthe Vilstrup Tomsen Assuring quality in clinical pharmacy services Following international, national
Læs mereA Strategic Partnership between Aarhus University, Nykredit & PwC. - Focusing on Small and Medium-sized Enterprises
A Strategic Partnership between Aarhus University, Nykredit & PwC - Focusing on Small and Medium-sized Enterprises 04-12-2013 1 Why Danmark vinder bronze i innovation, men sakker bagud i forhold til vores
Læs mereNye fjernvarmesystemer. Svend Svendsen DTU BYG
Nye fjernvarmesystemer Svend Svendsen DTU BYG ss@byg.dtu.dk 22611854 Fjernvarme i EnergyLab Nordhavn - mine aktiviteter Fleksibel rumvarme i nye etageboliger med gulvvarme: Gulvvarme kan afbrydes i mange
Læs mereInternational Workshop on Language Proficiency Implementation
International Workshop on Language Proficiency Implementation Langen, Germany 6-7 September, 2007 By Captain Rick Valdes IFALPA representative to ICAO s PRICE SG PRESENTATION OUTLINE IFALPA S policy on
Læs mereElite sports stadium requirements - views from Danish municipalities
Elite sports stadium requirements - views from Danish municipalities JENS ALM Ph.d. student Malmö University jens.alm@mah.se Analyst Danish Institute for Sports Studies jens.alm@idan.dk Background Definitions
Læs mereInfo og krav til grupper med motorkøjetøjer
Info og krav til grupper med motorkøjetøjer (English version, see page 4) GENERELT - FOR ALLE TYPER KØRETØJER ØJER GODT MILJØ FOR ALLE Vi ønsker at paraden er en god oplevelse for alle deltagere og tilskuere,
Læs mereDIVAR VIGTIGT! / IMPORTANT! MÅL / DIMENSIONS. The DIVAR wall lamp comes standard. with 2.4 m braided cord and a plug in power supply (EU or UK).
DIVAR VIGTIGT! / IMPORTANT! VIGTIGT læs vores anvisninger før du bruger produktet. Har du problemer med den elektriske installation, skal du kontakte en elektriker. Sørg for at altid slukke for strømmen
Læs mereGusset Plate Connections in Tension
Gusset Plate Connections in Tension Jakob Schmidt Olsen BSc Thesis Department of Civil Engineering 2014 DTU Civil Engineering June 2014 i Preface This project is a BSc project credited 20 ECTS points written
Læs mereDET KONGELIGE BIBLIOTEK NATIONALBIBLIOTEK OG KØBENHAVNS UNIVERSITETS- BIBLIOTEK. Index
DET KONGELIGE Index Download driver... 2 Find the Windows 7 version.... 2 Download the Windows Vista driver.... 4 Extract driver... 5 Windows Vista installation of a printer.... 7 Side 1 af 12 DET KONGELIGE
Læs mereTeknologispredning i sundhedsvæsenet DK ITEK: Sundhedsteknologi som grundlag for samarbejde og forretningsudvikling
Teknologispredning i sundhedsvæsenet DK ITEK: Sundhedsteknologi som grundlag for samarbejde og forretningsudvikling 6.5.2009 Jacob Schaumburg-Müller jacobs@microsoft.com Direktør, politik og strategi Microsoft
Læs mereTLS-N: Non-repudiation over TLS Enabling Ubiquitous Content Signing
TLS-N: Non-repudiation over TLS Enabling Ubiquitous ontent Signing ubert Ritzdorf, Karl Wüst, Arthur Gervais, Guillaume Felley, Srdjan apkun ET Zurich Karl Wüst 2018-01-26 1 TLS { } Karl Wüst 2018-01-26
Læs mereVarenr.: 553925 90 højre 553926 90 venstre 554027 90º højre med coating 554028 90º venstre med coating
DK GH Skiftespor Varenr.: 55395 90 højre 55396 90 venstre 55407 90º højre med coating 55408 90º venstre med coating 553991 60º højre 553995 60º venstre 551058 60º højre med coating 551059 60º venstre med
Læs mereAutomatic Code Orchestration from Descriptive Implementations
ft her Automatic Code Orchestration from Descriptive Implementations older Professor Brian Vinter Niels Bohr Institute KU ft her Automatic Code Orchestration from Descriptive Implementations Prototypin
Læs mereKnowledge FOr Resilient
Date: 26.04.2017 Place: Aalborg University Knowledge FOr Resilient society LLL modalities at DTU Danmarks Technical University Department of Civil Engineering Section for Building Design Fire Safety Group
Læs mereINSTALLATION INSTRUCTIONS STILLEN FRONT BRAKE COOLING DUCTS NISSAN 370Z P/N /308960!
Materials supplied: 1. (10) Zip Ties 2. (4) Hose Clamps 3. (2) Brake Duct Hose 4. (2) Brake Shields 5. (2) Front Brake Ducts ( Stock Fascia Only ) 6. (2) Washers 1 OD ( Stock Fascia Only ) 7. (8) Shims
Læs mereKapacitetsanalyser af jernbanestrækninger. Alex Landex & Lars Wittrup Jensen
Alex Landex & Lars Wittrup Jensen Agenda Jernbanekapacitet Hvad er kapacitet? Opgørelse af kapacitet Line Capacity Analyser Cases Vestfyn Ringsted-Odense Netværkseffekter Perspektivering Opsamling 2 DTU
Læs mereBusiness Opening. Very formal, recipient has a special title that must be used in place of their name
- Opening English Danish Dear Mr. President, Kære Hr. Direktør, Very formal, recipient has a special title that must be used in place of their name Dear Sir, Formal, male recipient, name unknown Dear Madam,
Læs mereGevinstrealisering i Banedanmark
Gevinstrealisering i Banedanmark Teori og praksis Marts 2016 - Årsdage for offentlige indkøb - Laura Tomassini og Nina Uldal 1 Banedanmark hvem er vi? Ejer og forvalter det danske jernbanenet Statsejet
Læs mereThe X Factor. Målgruppe. Læringsmål. Introduktion til læreren klasse & ungdomsuddannelser Engelskundervisningen
The X Factor Målgruppe 7-10 klasse & ungdomsuddannelser Engelskundervisningen Læringsmål Eleven kan give sammenhængende fremstillinger på basis af indhentede informationer Eleven har viden om at søge og
Læs mere