Tato práce je z oblasti vlakových zabezpečovacích systémů, konkrétně evropského vlakového zabezpečovacího systému ETCS. Rozebírá stávající způsob tvorby konfiguračních dat pro tento systém a navrhuje metodiku jejich ověření. Tato metodika je založena na nezávislosti postupů. Poslední část popisuje softwarový nástroj, zaměřený na realizaci klíčových částí nové metodiky.
Anotace v angličtině
This work is from the area of train control systems, particularly the European Train Control System (ETCS). It analyses an existing creation process of configuration for this system and suggests a methodology for a verification process. This solution is based on an independence of those two procedures. Final part describes a software tool aimed on realisation of the new solution key parts.
train control systems, ERTMS, ETCS, address software, verification
Rozsah průvodní práce
57 s.
Jazyk
CZ
Anotace
Tato práce je z oblasti vlakových zabezpečovacích systémů, konkrétně evropského vlakového zabezpečovacího systému ETCS. Rozebírá stávající způsob tvorby konfiguračních dat pro tento systém a navrhuje metodiku jejich ověření. Tato metodika je založena na nezávislosti postupů. Poslední část popisuje softwarový nástroj, zaměřený na realizaci klíčových částí nové metodiky.
Anotace v angličtině
This work is from the area of train control systems, particularly the European Train Control System (ETCS). It analyses an existing creation process of configuration for this system and suggests a methodology for a verification process. This solution is based on an independence of those two procedures. Final part describes a software tool aimed on realisation of the new solution key parts.
train control systems, ERTMS, ETCS, address software, verification
Zásady pro vypracování
Navrhnout metodiku ověření správnosti adresného softwaru RBC ETCS z hlediska jeho obsahu vůči vstupním podkladům a vybrané části metodiky ověřit praktickou realizací.
Postup:
1. Seznámení se s podklady pro tvorbu adresného softwaru (konfigurace) Radioblokové centrály evropského vlakového zabezpečovacího zařízení (RBC ETCS)
2. Seznámení se s metodikou tvorby ASW RBC ETCS
3. Návrh metody ověření správnosti výsledného ASW
4. Realizace identifikovaných klíčových částí metody
Zásady pro vypracování
Navrhnout metodiku ověření správnosti adresného softwaru RBC ETCS z hlediska jeho obsahu vůči vstupním podkladům a vybrané části metodiky ověřit praktickou realizací.
Postup:
1. Seznámení se s podklady pro tvorbu adresného softwaru (konfigurace) Radioblokové centrály evropského vlakového zabezpečovacího zařízení (RBC ETCS)
2. Seznámení se s metodikou tvorby ASW RBC ETCS
3. Návrh metody ověření správnosti výsledného ASW
4. Realizace identifikovaných klíčových částí metody
Seznam doporučené literatury
1. UNISIG. ERTMS/ETCS - Class 1 : System Requirements Specification : SUBSET-026 version 2.3.0 [soubor archivu Set-1-Index004-SUBSET-026+v230.zip obsahující soubory formátu *.doc]. UNISIG, 24.2. 2006. [cit. listopad 2014]. Dostupné na:
2. ERA. ERTMS/ETCS - Class 1 : Interoperability-related consolidation on TSI annex A documents : SUBSET-108 version 1.2.0 [soubor archivu Set 1 Index015 SUBSET 108+v120.zip obsahující soubory formátu *.doc]. ERA, 17. 1. 2008. [cit. listopad 2014]. Dostupné na:
3. AŽD Praha s.r.o. RBC ETCS - Specifikace systémových požadavků na traťovou část ETCS L2 : SRS ETCS L2 verze 1.03. AŽD Praha s.r.o., 2014. Neveřejný dokument.
4. AŽD Praha s.r.o. RBC ETCS - Pokyny pro projektování ASW RBC verze 1.07. AŽD Praha s.r.o., 2014. Neveřejný dokument.
5. AŽD Praha s.r.o. RBC ETCS - Pokyny pro zaměřování objektů pro ETCS verze 1.04. AŽD Praha s.r.o., 2014. Neveřejný dokument.
6. SHARP, John. Microsoft Visual C# 2010 : Krok za krokem. 1. vydání. Praha : Computer Press, 2010. ISBN 978-80-251-3147-3.
7. railML.org. The Library - a document database. railML.org: The XML-Interface for railway applications. [online]. 18.11.2015 [cit. 2015-11-18]. Dostupné z: https://www.railml.org//index.php/library.html
8. SIGNAL+DRAHT. Hamburg: DVV Media Group, 5/2003. ISSN 0037-4997.
Seznam doporučené literatury
1. UNISIG. ERTMS/ETCS - Class 1 : System Requirements Specification : SUBSET-026 version 2.3.0 [soubor archivu Set-1-Index004-SUBSET-026+v230.zip obsahující soubory formátu *.doc]. UNISIG, 24.2. 2006. [cit. listopad 2014]. Dostupné na:
2. ERA. ERTMS/ETCS - Class 1 : Interoperability-related consolidation on TSI annex A documents : SUBSET-108 version 1.2.0 [soubor archivu Set 1 Index015 SUBSET 108+v120.zip obsahující soubory formátu *.doc]. ERA, 17. 1. 2008. [cit. listopad 2014]. Dostupné na:
3. AŽD Praha s.r.o. RBC ETCS - Specifikace systémových požadavků na traťovou část ETCS L2 : SRS ETCS L2 verze 1.03. AŽD Praha s.r.o., 2014. Neveřejný dokument.
4. AŽD Praha s.r.o. RBC ETCS - Pokyny pro projektování ASW RBC verze 1.07. AŽD Praha s.r.o., 2014. Neveřejný dokument.
5. AŽD Praha s.r.o. RBC ETCS - Pokyny pro zaměřování objektů pro ETCS verze 1.04. AŽD Praha s.r.o., 2014. Neveřejný dokument.
6. SHARP, John. Microsoft Visual C# 2010 : Krok za krokem. 1. vydání. Praha : Computer Press, 2010. ISBN 978-80-251-3147-3.
7. railML.org. The Library - a document database. railML.org: The XML-Interface for railway applications. [online]. 18.11.2015 [cit. 2015-11-18]. Dostupné z: https://www.railml.org//index.php/library.html
8. SIGNAL+DRAHT. Hamburg: DVV Media Group, 5/2003. ISSN 0037-4997.
Přílohy volně vložené
1 CD ROM
Přílohy vázané v práci
-
Převzato z knihovny
Ne
Plný text práce
Přílohy
Posudek(y) oponenta
Hodnocení vedoucího
Záznam průběhu obhajoby
Uchazeč prezentoval komisi hlavní výsledky a závěry své diplomové práce Po zdařilé prezentaci doplomové práce zodpověděl podrobně dotazy vedoucího a oponenta diplomové práce. Od členů komise nebyl položen žádný dotaz k předmětné diplomové práci.