Prezentace se nahrává, počkejte prosím

Prezentace se nahrává, počkejte prosím

AŽD Praha s.r.o. 22. června 2014, AŽD Praha s.r.o. Assessment of ETCS Definition in Term of its Formalisation Jakub Marek Research & Development.

Podobné prezentace


Prezentace na téma: "AŽD Praha s.r.o. 22. června 2014, AŽD Praha s.r.o. Assessment of ETCS Definition in Term of its Formalisation Jakub Marek Research & Development."— Transkript prezentace:

1 AŽD Praha s.r.o. 22. června 2014, AŽD Praha s.r.o. Assessment of ETCS Definition in Term of its Formalisation Jakub Marek Research & Development

2 22. června 2014EURO - ŽEL 20112 Obsah  Motivace  Formalizace  ETCS a jeho definice  Hodnocení definice ETCS  Závěr  Motivation  Formalisation  ETCS and its definition  Assessment of ETCS-definition  Conclusions Contents

3 22. června 2014EURO - ŽEL 20113 Motivace Motivation  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

4 22. června 2014EURO - ŽEL 20114 Motivace Motivation Europe in 2020

5 22. června 2014EURO - ŽEL 20115 Motivace Motivation Czech Republic in 2020

6 22. června 2014EURO - ŽEL 20116 Obsah  Motivace  Formalizace  ETCS a jeho definice  Hodnocení definice ETCS  Závěr  Motivation  Formalisation  ETCS and its definition  Assessment of ETCS-definition  Conclusions Contents

7 22. června 2014EURO - ŽEL 20117 Formalizace  způsoby popisu funkčního chování ●neformální ●semiformální ●formální  methods of functional behaviour describtion ●informal ●semiformal ●formal Formalisation

8 22. června 2014EURO - ŽEL 20118 Formalizace  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 Formalisation

9 22. června 2014EURO - ŽEL 20119 Obsah  Motivace  Formalizace  ETCS a jeho definice  Hodnocení definice ETCS  Závěr  Motivation  Formalisation  ETCS and its definition  Assessment of ETCS-definition  Conclusions Contents

10 22. června 2014EURO - ŽEL 201110 ETCS a jeho definice  VZZ  jednotný přenos  aplikační úrovně  kontrola rychlosti  ATC  unified transmission  application levels  speed supervision ETCS and its definition Source: www.ertms.com

11 22. června 2014EURO - ŽEL 201111 ETCS a jeho definice  definice funkčního chování ETCS  definition of ETCS funcional behaviour ETCS and its definition National level of ETCS-definition European level of ETCS-definition FRS ETCS SRS ETCS National Customer Specification National Supplier Specification

12 22. června 2014EURO - ŽEL 201112 ETCS a jeho definice  definice funkčního chování ETCS  definition of ETCS funcional behaviour ETCS and its definition National level of ETCS-definition European level of ETCS-definition FRS ETCS SRS ETCS National Customer Specification National Supplier Specification

13 22. června 2014EURO - ŽEL 201113 ETCS a jeho definice  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 ETCS and its definition

14 22. června 2014EURO - ŽEL 201114 ETCS a jeho definice  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 ETCS and its definition

15 22. června 2014EURO - ŽEL 201115 Obsah  Motivace  Formalizace  ETCS a jeho definice  Hodnocení definice ETCS  Závěr  Motivation  Formalisation  ETCS and its definition  Assessment of ETCS-definition  Conclusions Contents

16 22. června 2014EURO - ŽEL 201116 Hodnocení ETCS definice Assessment of ETCS-definition SpecificationAssessmentNotes FRSFully InformalOnly plain text of requirements SRSMostly 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, …) NCSFully InformalOnly plain text of requirements NSSFrom Informal to (Semi- -)Formal It depends on the supplier and on the phase of NSS (i.e. scenarios, FRS, SRS, SSRS)

17 22. června 2014EURO - ŽEL 201117 Obsah  Motivace  Formalizace  ETCS a jeho definice  Hodnocení definice ETCS  Závěr  Motivation  Formalisation  ETCS and its definition  Assessment of ETCS-definition  Conclusions Contents

18 22. června 2014EURO - ŽEL 201118 Závěr  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 Conclusions

19 22. června 2014EURO - ŽEL 201119 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


Stáhnout ppt "AŽD Praha s.r.o. 22. června 2014, AŽD Praha s.r.o. Assessment of ETCS Definition in Term of its Formalisation Jakub Marek Research & Development."

Podobné prezentace


Reklamy Google