Assessment of ETCS Definition in Term of its Formalisation

Slides:

Advertisements

Podobné prezentace

Český Těšín- Czeski Cieszyn. Basic informations Here we live Area: 33 km 2 Population:

Advertisements

Jakub Marek Research & Development

Vlastislav Tůma šéfredaktor Truck&business

1 Škola: Gymnázium, Brno, Slovanské náměstí 7 Šablona: III/2 – Inovace a zkvalitnění výuky prostřednictvím ICT Název projektu: Inovace výuky na GSN prostřednictvím.

Tutorial: Mechanic - electrician Topic: Technical training II. class Printed circuit boards 3 Prepared by: Melichařík Lubomír Projekt Anglicky v odborných.

Copyright, © Eurist s.r.o. EKRK goes Europe Strategy Concerning the European Union and the position of Real estate brokers presented by: Matthieu.

Novinky ze zahraničí IVIG 2008

Základní technická terminologie Poznámka: značka * za slovem znamená pokračování kliknutím, zbytek je načasován.

Educational program: Mechanic - electrician Title of program: Technical training II. class Transistor stage with common emitter Worked out: Bc. Chumchal.

Daniel.steigerwald.cz Třídy, dědičnost a OOP v Javascriptu.

Tutorial: Mechanic - electrician Topic: Electric measurement the 2nd. year Measuring devices 1 Prepared by: Ing. Jiří Smílek Projekt Anglicky v odborných.

Lada Leszkowová, Gymnázium K.V. Raise Hlinsko, 2014 leden

Čtěte a přeložte: Mother is at home. Matka je doma.

Číslo projektuCZ.1.07/1.5.00/ Číslo materiálu VY_32_INOVACE_AJK-3.PT-19-Služby Název školyStřední odborná škola a Střední odborné učiliště, Dubno.

Mission of the Chamber – since 1996

Další vývoj IT v EU – CCN2 – IT Master Plan Národní vývoj - předpoklad.

SharePoint technologie WSS 3.0 a MOSS 2007 Tomáš Kutěj TSP – Office platform Microsoft.

4. Úprava fotografií na počítači

Číslo projektuCZ.1.07/1.5.00/ Číslo materiálu VY_32_INOVACE_AJK-2.PT-15-Česká republika Název školyStřední odborná škola a Střední odborné učiliště,

ŠkolaStřední průmyslová škola Zlín Název projektu, reg. č.Inovace výuky prostřednictvím ICT v SPŠ Zlín, CZ.1.07/1.5.00/ Vzdělávací.

Škola1. ZŠ TGM Milevsko AutorMgr. Lenka Soldátová ČísloVY_32_INOVACE_66 NázevPrepositions of places Téma hodinyPopis bytu, pokojíku PředmětAnglický jazyk.

Výukový materiál zpracovaný v rámci projektu Označení:Sada: 3 Ověření ve výuce:Třída: Datum: Registrační číslo projektu:CZ.1.07/1.5.00/ VY_32_INOVACE_ANJ_VL_3_15.

Tutorial:Mechanic - electrician Topic: Electric measurement the 2nd. year Power output- AC 3-phase Prepared by: Ing. Jiří Smílek Projekt Anglicky v odborných.

Tutorial :Mechanic - electrician Topic: Electrical measurements the 2nd. Year Performance measurement DC, AC 1f Prepared by: Ing. Jiří Smílek Projekt.

CZECH TEAM. Hello everyone! Let us introduce ourselves…

Štěpán Pavíza 3.A leden 20111Property of Pavíza's company. Do NOT copy.

Terezie Rosová MARCH MAY JUNE JUNE-SEPTEMBER SEPTEMBER OCTOBER.

Autorem materiálu a všech jeho částí, není-li uvedeno jinak, je Ing. Helena Zikmundová. Dostupné z Metodického portálu ISSN: Provozuje.

Jméno autora: Mgr. Mária Filipová Datum vytvoření: Číslo DUMu: VY_32_INOVACE_07_AJ_CM Ročník: 1. – 4. ročník Vzdělávací oblast:Jazyk a jazyková.

Autor materiálu:RNDr. Pavlína Kochová Datum vytvoření:říjen 2013 Vzdělávací oblast:Jazyk a jazyková komunikace Vyučovací předmět:Anglický jazyk Ročník:3.,4.

Název školy: Střední průmyslová škola, Ostrava - Vítkovice, příspěvková organizace Autor: Mgr. Dagmar Andrysová Datum: Název: VY_22_INOVACE_1_1_1.

CPSSU Czech Political Science Students’ Union Unie studentů politických věd v ČR.

Termodynamika NANOmateriálů … „One nanometer is one billionth of a meter. It is a magical point on the scale of length, for this is the point.

Integrated Development Environment datové modely pro SharePoint Michal Černík.

The IEEAIC center of Water Protection Vodňany and the Biotechnology and Biomedicine center ASCR cordinally invite you to the lecture (in English): Prof.

Tutorial: Engineering technology Topic: Casting to temporary forms Prepared by: Ing. Elena Nová Projekt Anglicky v odborných předmětech, CZ.1.07/1.3.09/

Předpřítomný čas Autorem materiálu a všech jeho částí, není-li uvedeno jinak, je Ondřej Hoberla. Dostupné z Metodického portálu ISSN:

Practical experience with implementation of GMP + B4.1 system Miloslav Válek The association of road transport operators ČESMAD BOHEMIA.

Podpora rozvoje cizích jazyků pro Evropu 21. stol. INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ Tento projekt je spolufinancován Evropským sociálním fondem a státním.

Nikola Hojdová Petra Kubů V7A

T HE C ZECH R EPUBLIC. Area: km² Population: Capital: Prague Climate: continental.

Tato prezentace je hrazena z projektu: Spolupráce s partnery – základ kvalitní odborné výuky Registrační číslo: CZ.1.07/1.1.01/

Jazyk a jazyková komunikace Cizí jazyk Komunikace Zjisti, o čem se mluví 1 VY_22_INOVACE_26 Sada 2 Základní škola T. G. Masaryka, Český Krumlov, T. G.

FLIS related activities in CZ Miroslav Havránek NRC FLIS MEETING,

Educational program: Mechanic - electrician Title of program: Technical training II. class Astable multivibrator Worked out: Bc. Chumchal Miroslav Projekt.

The key strategic targets of the energy policy of the State include: the basic conception of long-term development of the energy sector legislation and.

Autorem materiálu a všech jeho částí, není-li uvedeno jinak, je Ing. Helena Zikmundová. Dostupné z Metodického portálu ISSN: Provozuje.

PREPOSITIONS ON, IN, UNDER Zmáčkni klávesu F5. Autorem materiálu a všech jeho částí, není-li uvedeno jinak, je Ing. Lenka Čekalová. Dostupné z Metodického.

Setkání uživatelů SFX Statistické reporty SFX.

Přejít na první stránkuLONDON Test yourself by Ludmila Lukavcova double-decker.

Obchodní akademie a Střední odborná škola, gen. F. Fajtla, Louny, p.o. Osvoboditelů 380, Louny Číslo projektu CZ.1.07/1.5.00/ Číslo sady 02Číslo.

doc. MUDr. Jaroslava Dušková, CSc., F.I.A.C.

Maturita oral exam rehearsal Lada Leszkowová, GKVR Hlinsko, 2013 prosinec The Czech Republic.

Travelling Maturita oral exam rehearsal

8. Pravost fotografií Zdeněk Töpfer

Jméno autora: Mgr. Mária Filipová Datum vytvoření: Číslo DUMu: VY_32_INOVACE_01_AJ_EP Ročník: 1. – 4. ročník Vzdělávací oblast:Jazyk a jazyková.

Regional Branding in the Czech Republic Kateřina Čadilová Asociace regionálních značek, o.s. / Association of the Regional Brands.

O.Topolčan, Š. Svobodová, H.Rosolová Medical Faculty nad Faculty Hospital Pilsen Czech Republic.

MIB VI, 16 th – 19 th September 2013, Mariánské lázně -1- Ivo Kabelka, 1 Jakub Štěpán, 1,2 Jaroslav Koča 1,2, and Petr Kulhánek 1,2

IPZe laboratory Analysis of the communication over USB L Instructor: Straka Martin, Kaštil Jan.

Tento výukový materiál vznikl v rámci Operačního programu Vzdělávání pro konkurenceschopnost 1. KŠPA Kladno, s. r. o., Holandská 2531, Kladno,

EURO-SiBRA‘M 2002 COLLOQUIUM Prague, Czech Republic, June 24 to 26, 2002 MULTICOMPONENTS WRITING OF LOADING OF CRANE WAY GIRDER Ján HUDÁK Faculty of Civil.

1 Škola: Gymnázium, Brno, Slovanské náměstí 7 Šablona: III/2 – Inovace a zkvalitnění výuky prostřednictvím ICT Název projektu: Inovace výuky na GSN prostřednictvím.

Ing. Luděk Šprongl CL Nemocnice Šumperk

Tutorial: Mechanic - electrician Topic: Technical training II. class Printed circuit boards 2 Prepared by: Melichařík Lubomír Projekt Anglicky v odborných.

Diverzifikace vysokého školství – nové výzvy Michal Karpíšek Seminář „Hodnocení kvality vysokých škol“ Telč, 28. dubna 2011.

3 EFEKTIVNOST TRHU. Základy ekonomie Koordinace ekonomiky 1. příkaz – CPE: centrální plán, státní vlastnictví, vertikální struktura 2. trh – TE:

PICTURES FOR DESCRIPTION

Název školy: Základní škola Chomutov, Písečná 5144 Název materiálu: VY_22_INOVACE_22_Istanbul_hz2 Číslo projektu: CZ 1.07/1.4.00/ Autor: Mgr. Zdena.

CONCLUSIONS AND RECOMMENDATION

Transkript prezentace:

Assessment of ETCS Definition in Term of its Formalisation Jakub Marek Research & Development

Obsah Contents Motivace Formalizace ETCS a jeho definice Hodnocení definice ETCS Závěr Motivation Formalisation ETCS and its definition Assessment of ETCS-definition Conclusions 3. dubna 2017 EURO - ŽEL 2011

Motivace Motivation ERTMS/ETCS ERTMS/ETCS VRT (96/48/ES, 2004/50/ES) konvenční tratě (2001/16/ES, 2004/50/ES) ERTMS koridory ERTMS/ETCS HS lines (96/48/ES, 2004/50/ES) conventional lines (2001/16/ES, 2004/50/ES) ERTMS corridors 3. dubna 2017 EURO - ŽEL 2011

Motivace Motivation Europe in 2020 3. dubna 2017 EURO - ŽEL 2011

Motivace Motivation Czech Republic in 2020 3. dubna 2017 EURO - ŽEL 2011

Obsah Contents Motivace Formalizace ETCS a jeho definice Hodnocení definice ETCS Závěr Motivation Formalisation ETCS and its definition Assessment of ETCS-definition Conclusions 3. dubna 2017 EURO - ŽEL 2011

Formalizace Formalisation způsoby popisu funkčního chování neformální semiformální formální methods of functional behaviour describtion informal semiformal formal 3. dubna 2017 EURO - ŽEL 2011

Formalizace Formalisation formální metody, možnosti: specifikace – – úplná, jednoznačná a ověřitelná verifikace – – matematický důkaz  FM: užitečné a doporučované formal methods, possibilities: specification – – complete, unambiguous, and verifiable verification – – mathematical proof  FM: useful and recommended 3. dubna 2017 EURO - ŽEL 2011

Obsah Contents Motivace Formalizace ETCS a jeho definice Hodnocení definice ETCS Závěr Motivation Formalisation ETCS and its definition Assessment of ETCS-definition Conclusions 3. dubna 2017 EURO - ŽEL 2011

ETCS and its definition ETCS a jeho definice ETCS and its definition VZZ jednotný přenos aplikační úrovně kontrola rychlosti ATC unified transmission application levels speed supervision Source: www.ertms.com 3. dubna 2017 EURO - ŽEL 2011

ETCS a jeho definice ETCS and its definition definice funkčního chování ETCS definition of ETCS funcional behaviour European level of ETCS-definition FRS ETCS SRS ETCS National Customer Specification National level of ETCS-definition National Supplier Specification 3. dubna 2017 EURO - ŽEL 2011

ETCS a jeho definice ETCS and its definition definice funkčního chování ETCS definition of ETCS funcional behaviour European level of ETCS-definition FRS ETCS SRS ETCS National Customer Specification National level of ETCS-definition National Supplier Specification 3. dubna 2017 EURO - ŽEL 2011

ETCS and its definition ETCS a jeho definice ETCS and its definition FRS ETCS (5.00) provozní záležitosti SRS ETCS (2.3.0d) technická specifikace pro vývojové pracovníky FRS ETCS (5.00) operational issues SRS ETCS (2.3.0d) technical specification for developers 3. dubna 2017 EURO - ŽEL 2011

ETCS and its definition ETCS a jeho definice ETCS and its definition NCS (1.01) „Technické požadavky pro implementaci ERTMS/ETCS L2 na české části Koridoru E“ NSS PU, FRS, SRS a SSRS NCS (1.01) “Technical Requirements for Implementation of ERTMS/ETCS L2 in the Czech part of the Corridor E” NSS UC, FRS, SRS, and SSRS 3. dubna 2017 EURO - ŽEL 2011

Obsah Contents Motivace Formalizace ETCS a jeho definice Hodnocení definice ETCS Závěr Motivation Formalisation ETCS and its definition Assessment of ETCS-definition Conclusions 3. dubna 2017 EURO - ŽEL 2011

Hodnocení ETCS definice Assessment of ETCS-definition Specification Assessment Notes FRS Fully Informal Only plain text of requirements SRS Mostly Informal; Some Semiformal Fragments Mostly plain text with some figures and tables; Some state diagrams for describing some procedures in chapter 5 (e.g. Start of Mission, Shunting Initiated by Driver, …) NCS NSS From Informal to (Semi- -)Formal It depends on the supplier and on the phase of NSS (i.e. scenarios, FRS, SRS, SSRS) 3. dubna 2017 EURO - ŽEL 2011

Obsah Contents Motivace Formalizace ETCS a jeho definice Hodnocení definice ETCS Závěr Motivation Formalisation ETCS and its definition Assessment of ETCS-definition Conclusions 3. dubna 2017 EURO - ŽEL 2011

Závěr Conclusions definice ETCS na evropské úrovni: spíše neformální definice ETCS na národní úrovni: jistá snaha formalizovat ETCS-definition on the European level: mostly informal ETCS-definition on the National level: endeavour to formalise it 3. dubna 2017 EURO - ŽEL 2011

Thank you for your attention Děkuji za pozornost Thank you for your attention Jakub Marek AŽD Praha, s. r. o. Výzkum a vývoj – P13 marek.jakub@azd.cz +420 466 773 344 3. dubna 2017 EURO - ŽEL 2011