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 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 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 Motivace Motivation Europe in 2020

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

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

11 22. června 2014EURO - ŽEL 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 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 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 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 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 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 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 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 Děkuji za pozornost Thank you for your attention Jakub Marek AŽD Praha, s. r. o. Výzkum a vývoj – P


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