Search results for "ETCS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
114	Pasquale di Tommaso, Francesco Flammini, Armando Lazzaro, Raffaele Pellecchia, Angela Sanseviero	The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System.	HASE	2005	DBLP DOI BibTeX RDF	ERTMS/ETCS, Verification & Validation, Safety-Critical Systems, Functional Testing, Simulation Environments
94	Jan Trowitzsch, Armin Zimmermann	Using UML state machines and petri nets for the quantitative investigation of ETCS.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	UML state machines, model transformation, stochastic petri nets, ETCS
60	Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta, Berardino Vittorini	Formalization and validation of a subset of the European Train Control System.	ICSE (2)	2010	DBLP DOI BibTeX RDF	formal methods, methodology, requirements validation
60	André Platzer, Jan-David Quesel	European Train Control System: A Case Study in Formal Verification.	ICFEM	2009	DBLP DOI BibTeX RDF	formal verification of hybrid systems, train control, parameter constraint identification, theorem proving, disturbances
60	Kyung-Chul Park, Sung-Mo Rhee, Hae-Sook Shin	Optimal Integrated Operation Strategy for Highway Tollgate using Micro Simulation.	MUE	2007	DBLP DOI BibTeX RDF
60	Michael Meyer zu Hörste, Eckehard Schnieder	Formal Modelling and Simulation of Train Control Systems Using Petri Nets.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
50	Vahid Ranjbar, Nils O. E. Olsson, Hans Sipilä	Impact of signalling system on capacity - Comparing legacy ATC, ETCS level 2 and ETCS hybrid level 3 systems.	J. Rail Transp. Plan. Manag.	2022	DBLP DOI BibTeX RDF
40	André Platzer, Jan-David Quesel	Logical Verification and Systematic Parametric Analysis in Train Control.	HSCC	2008	DBLP DOI BibTeX RDF	logic for hybrid systems, symbolic decomposition, parametric verification
40	Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang 0001, André Platzer, Marc Segelken, Boris Wirtz	Automating Verification of Cooperation, Control, and Design in Traffic Applications.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
29	Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta	Supporting Requirements Validation: The EuRailCheck Tool.	ASE	2009	DBLP DOI BibTeX RDF	EuRailCheck, formal methods, requirements validation, ETCS
29	Holger Hermanns, David N. Jansen, Yaroslav S. Usenko	From StoCharts to MoDeST: a comparative reliability analysis of train radio communications.	WOSP	2005	DBLP DOI BibTeX RDF	European Train Control System (ETCS), UML, reliability, concurrency, wireless communication, tool support, stochastic systems
25	Michael Leuschel, Nader Nayeri	Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System.	RSSRail	2023	DBLP DOI BibTeX RDF
25	Ziyue Tang, Ning Zhao, Khalid Khan, Katinka Wolter	Safety Analysis of Automatic Train Operation Based on ETCS.	RSSRail	2023	DBLP DOI BibTeX RDF
25	Stefan Engels, Tom Peham, Robert Wille	A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy.	ATMOS	2023	DBLP DOI BibTeX RDF
25	Davide Basile 0001, Maurice H. ter Beek, Alessio Ferrari 0001, Axel Legay	Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods.	Int. J. Softw. Tools Technol. Transf.	2022	DBLP DOI BibTeX RDF
25	Lelio Campanile, Maria Stella de Biase, Stefano Marrone 0001, Mariapia Raimondo, Laura Verde	On the Evaluation of BDD Requirements with Text-based Metrics: The ETCS-L3 Case Study.	KES-IDT	2022	DBLP DOI BibTeX RDF
25	Ji Hoon Song, Kang-Yoon Lee	Design of Baseband Analog with Filter Tuning for 5.8GHz DSRC Transceiver in ETCS.	ICUFN	2021	DBLP DOI BibTeX RDF
25	Robert Eschbach	Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-B.	ABZ	2021	DBLP DOI BibTeX RDF
25	Carlo Di Meo, Marco Di Vaio, Francesco Flammini, Roberto Nardone, Stefania Santini, Valeria Vittorini	ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis.	IEEE Trans. Intell. Transp. Syst.	2020	DBLP DOI BibTeX RDF
25	Valeria Vignali, Federico Cuppi, Claudio Lantieri, Nicola Dimola, Tomaso Galasso, Luca Rapagnà	A methodology for the design of sections block length on ETCS L2 railway networks.	J. Rail Transp. Plan. Manag.	2020	DBLP DOI BibTeX RDF
25	Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau	A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard.	Int. J. Softw. Tools Technol. Transf.	2020	DBLP DOI BibTeX RDF
25	Paolo Arcaini, Jan Kofron, Pavel Jezek	Validation of the Hybrid ERTMS/ETCS Level 3 using Spin.	Int. J. Softw. Tools Technol. Transf.	2020	DBLP DOI BibTeX RDF
25	Dominik Hansen, Michael Leuschel, Philipp Körner, Sebastian Krings, Thomas Naulin, Nader Nayeri, David Schneider 0001, Frank Skowron	Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model.	Int. J. Softw. Tools Technol. Transf.	2020	DBLP DOI BibTeX RDF
25	Michael J. Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl	Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3.	Int. J. Softw. Tools Technol. Transf.	2020	DBLP DOI BibTeX RDF
25	Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar	Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach.	Int. J. Softw. Tools Technol. Transf.	2020	DBLP DOI BibTeX RDF
25	Alcino Cunha, Nuno Macedo	Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum.	Int. J. Softw. Tools Technol. Transf.	2020	DBLP DOI BibTeX RDF
25	Roberto Nardone, Stefano Marrone 0001, Ugo Gentile, Aniello Amato, Gregorio Barberio, Massimo Benerecetti, Renato De Guglielmo, Beniamino Di Martino, Nicola Mazzocca, Adriano Peron, Gaetano Pisani, Luigi Velardi, Valeria Vittorini	An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers.	J. Syst. Softw.	2020	DBLP DOI BibTeX RDF
25	Haifeng Song 0001, Hongjie Liu, Eckehard Schnieder	A Train-Centric Communication-Based New Movement Authority Proposal for ETCS-2.	IEEE Trans. Intell. Transp. Syst.	2019	DBLP DOI BibTeX RDF
25	Stefan Dillmann, Reiner Hähnle	Automated Planning of ETCS Tracks.	RSSRail	2019	DBLP DOI BibTeX RDF
25	Ao Cao, Bin Fu, Zhenqian He	ETCS: An Efficient Traffic Congestion Scheduling Scheme Combined with Edge Computing.	HPCC/SmartCity/DSS	2019	DBLP DOI BibTeX RDF
25	Rabéa Ameur-Boulifa, Ana R. Cavalli, Stephane Maag	Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System.	ICSOFT	2019	DBLP DOI BibTeX RDF
25	Rabéa Ameur-Boulifa, Ana R. Cavalli, Stephane Maag	From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems.	ICSOFT (Selected Papers)	2019	DBLP DOI BibTeX RDF
25	Emilia Koper, Andrzej Kochan, Lukasz Gruba	Simulation of the Effect of Selected National Values on the Braking Curves of an ETCS Vehicle.	TST	2019	DBLP DOI BibTeX RDF
25	Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer	Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3.	ICECCS	2019	DBLP DOI BibTeX RDF
25	Albert D. Ritzhaupt, Florence Martin, Raymond Pastore, Youngju Kang	Development and validation of the educational technologist competencies survey (ETCS): knowledge, skills, and abilities.	J. Comput. High. Educ.	2018	DBLP DOI BibTeX RDF
25	Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani	Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B.	MEDI	2018	DBLP DOI BibTeX RDF
25	Paolo Arcaini, Pavel Jezek, Jan Kofron	Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin.	ABZ	2018	DBLP DOI BibTeX RDF
25	Dominik Hansen, Michael Leuschel, David Schneider 0001, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron	Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains.	ABZ	2018	DBLP DOI BibTeX RDF
25	Alcino Cunha, Nuno Macedo	Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum.	ABZ	2018	DBLP DOI BibTeX RDF
25	Thai Son Hoang, Michael J. Butler, Klaus Reichl	The Hybrid ERTMS/ETCS Level 3 Case Study.	ABZ	2018	DBLP DOI BibTeX RDF
25	Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau	An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard.	ABZ	2018	DBLP DOI BibTeX RDF
25	Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar	Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach.	ABZ	2018	DBLP DOI BibTeX RDF
25	Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi	Product line models of large cyber-physical systems: the case of ERTMS/ETCS.	SPLC	2018	DBLP DOI BibTeX RDF
25	Mohamed Ghazel	A Control Scheme for Automatic Level Crossings Under the ERTMS/ETCS Level 2/3 Operation.	IEEE Trans. Intell. Transp. Syst.	2017	DBLP DOI BibTeX RDF
25	Roberto Canonico, Stefano Marrone 0001, Roberto Nardone, Valeria Vittorini	A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS.	RSSRail	2017	DBLP DOI BibTeX RDF
25	Jaizki Mendizabal, Jon Goya, Gorka de Miguel, Leonardo J. Valdivia, Saioa Arrizabalaga, Iñigo Adin	Virtual testing of the on-board ETCS with GNSS based Train integrity determination.	ITST	2017	DBLP DOI BibTeX RDF
25	Aleksander Sniady, José Soler, Mohamed Kassab, Marion Berbineau	Ensuring Long-Term Data Integrity: ETCS Data Integrity Requirements Can Be Fulfilled Even under Unfavorable Conditions with the Proper LTE Mechanisms.	IEEE Veh. Technol. Mag.	2016	DBLP DOI BibTeX RDF
25	Naim Harb, Carlos Valderrama 0001, Esteban Pelaez, Alexandre Girardi	FPGA hardware in the loop system for ERTMS-ETCS train equipment testing.	SIES	2016	DBLP DOI BibTeX RDF
25	Amanda Esteban, Sonia Solanas	The Viability of TETRA for ETCS Railway Signalling System.	Nets4Cars/Nets4Trains/Nets4Aircraft	2016	DBLP DOI BibTeX RDF
25	Gonzalo Solas, Iñigo Adin, Leonardo J. Valdivia, Saioa Arrizabalaga, Jaizki Mendizabal	Wireless Communication Emulator Device and Methodology for the ETCS BTM Subsystem.	Nets4Cars/Nets4Trains/Nets4Aircraft	2016	DBLP DOI BibTeX RDF
25	Jaizki Mendizabal, Gonzalo Solas, Leonardo J. Valdivia, Gorka de Miguel, Julen Uranga, Iñigo Adin	ETCS's Eurobalise-BTM and Euroloop-LTM Airgap Noise and Interferences Review.	Nets4Cars/Nets4Trains/Nets4Aircraft	2016	DBLP DOI BibTeX RDF
25	Laura Carnevali, Francesco Flammini, Marco Paolieri, Enrico Vicario	Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3.	EPEW	2015	DBLP DOI BibTeX RDF
25	Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger	Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude.	FTSCS	2015	DBLP DOI BibTeX RDF
25	Franco Mazzenga, Romeo Giuliano, Alessandro Neri 0001, Francesco Rispoli, Agostino Ruggeri, Maurizio Salvitti, Emiliano Del Signore, Valerio Fontana	The Adoption of Public Telecom Services for the Evolution of the ERTMS-ETCS Train Control Systems: Challenges and Opportunities.	Nets4Cars/Nets4Trains/Nets4Aircraft	2015	DBLP DOI BibTeX RDF
25	Gonzalo Solas, Leonardo J. Valdivia, Javier Añorga, Adam Podhorski, Jaizki Mendizabal, Stanislas Pinte, Luis Marcos	Virtual Laboratory for On-board ETCS Equipment.	ITSC	2015	DBLP DOI BibTeX RDF
25	Linh Vu Hong	Formal Development and Verification of Railway Control Systems - In the context of ERTMS/ETCS Level 2.		2015	RDF
25	Aleksander Sniady, José Soler	LTE for Railways: Impact on Performance of ETCS Railway Signaling.	IEEE Veh. Technol. Mag.	2014	DBLP DOI BibTeX RDF
25	Cécile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hübner, Jan Peleska 0001, Uwe Schulze, Linh Vu Hong	Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor.	ICFEM	2014	DBLP DOI BibTeX RDF
25	Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, Stefano Marrone 0001, Roberto Nardone, Adriano Peron, Valeria Vittorini	An Interoperable Testing Environment for ERTMS/ETCS Control Systems.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
25	Tomasz Babczynski, Jan Magott	Dependability and Safety Analysis of ETCS Communication for ERTMS Level 3 Using Performance Statecharts and Analytic Estimation.	DepCoS-RELCOMEX	2014	DBLP DOI BibTeX RDF
25	Daniel Lüdicke, Florian Eßer, Tobias Marchand, Torsten Dellmann	Modular multi-domain co-simulation for rail vehicle testing with ETCS scenario control (WIP).	SummerSim	2014	DBLP BibTeX RDF
25	Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru	B Formal Validation of ERTMS/ETCS Railway Operating Rules.	ABZ	2014	DBLP DOI BibTeX RDF
25	Benjamin Beichler, Alexander Nitsch, Frank Golatowski, Christian Haubelt	Ein abstraktes SystemC-Modell zur Analyse und Leistungsabschätzung des europäischen Zugsicherungssystems ETCS.	GI-Jahrestagung	2014	DBLP BibTeX RDF
25	Andrzej Torun, Andrzej Lewinski, Pawel Gradowski	Modeling of ETCS Levels with Respect to Functionality and Safety Including Polish Railways Conditions.	TST	2014	DBLP DOI BibTeX RDF
25	Jin Cha, Jong-In Jung, Sang-woo Chang, Sang-Sun Lee	2.4 Ghz RFID-based SME algorithm for Multi-lane-supported ETCS in 5.8Ghz DSRC.	IC-NIDC	2012	DBLP DOI BibTeX RDF
25	Mustafa Seçkin Durmus, Ugur Yildirim, Mehmet Turan Söylemez	Interlocking system design for ERTMS/ETCS: An approach with batches Petri nets.	WODES	2012	DBLP DOI BibTeX RDF
25	Jeongki Choi, Kanghyuk Lee, Seok-Oh Yun, Sang-Gug Lee 0001, Jinho Ko	An interference-aware 5.8GHz wake-up radio for ETCS.	ISSCC	2012	DBLP DOI BibTeX RDF
25	Jean-Pierre Braun	ETCS ermöglicht Energieeinsparungen im Bahnbetrieb.	Elektrotech. Informationstechnik	2011	DBLP DOI BibTeX RDF
25	Yupeng Liu, Tao Tang 0004, Jintao Liu, Lin Zhao, Tianhua Xu	Formal Modeling and Verification of RBC Handover of ETCS Using Differential Dynamic Logic.	ISADS	2011	DBLP DOI BibTeX RDF
25	Xian Li, Ming Chai, Lin Zhao, Tao Tang 0004, Tianhua Xu	Safety Monitoring for ETCS with 4-valued LTL.	ISADS	2011	DBLP DOI BibTeX RDF
25	Armin Zimmermann, Günter Hommel	Towards modeling and evaluation of ETCS real-time communication and operation.	J. Syst. Softw.	2005	DBLP DOI BibTeX RDF
20	Roland Meyer 0001, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko	Model checking Duration Calculus: a practical approach.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	European Train Control System, Real-time systems, Model checking, Verification, Timed automata, Case study, Duration Calculus
20	Walter Fuß	Tailored Solutions for Safety-Installations in the Loetschberg Tunnel - A Project with Importance for the Trans-European Rail Traffic.	DATE	2008	DBLP DOI BibTeX RDF
20	Roland Meyer 0001, Johannes Faber, Andrey Rybalchenko	Model Checking Duration Calculus: A Practical Approach.	ICTAC	2006	DBLP DOI BibTeX RDF
20	Johannes Faber, Roland Meyer 0001	Model Checking Data-Dependent Real-Time Properties of the European Train Control System.	FMCAD	2006	DBLP DOI BibTeX RDF
20	Francesco Flammini, Nicola Mazzocca, Mauro Iacono, Stefano Marrone 0001	Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems.	HASE	2005	DBLP DOI BibTeX RDF
20	Angela Song-Ie Noh, Eui-nam Huh, Ji-Yeun Sung, Pill-Woo Lee	An Optimal and Dynamic Monitoring Interval for Grid Resource Information System.	ICCSA (1)	2005	DBLP DOI BibTeX RDF
20	Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Antonio Orazzo	A Hybrid Testing Methodology for Railway Control Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF
20	Armin Zimmermann, Günter Hommel	A Train Control System Case Study in Model-Based Real Time System Desig.	IPDPS	2003	DBLP DOI BibTeX RDF
20	Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog	On the Verification of Cooperating Traffic Agents.	FMCO	2003	DBLP DOI BibTeX RDF
20	Pasquale di Tommaso, Rosaria Esposito, Pietro Marmo, Antonio Orazzo	Hazard Analysis of Complex Distributed Railway Systems.	SRDS	2003	DBLP DOI BibTeX RDF
20	Ge Cong, Bahram Parvin	Shape Recovery from Equal Thickness Contours.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	3D construction, shape from multiple views, Shape-from-X