Search results for "ERTMS/ETCS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
250	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
51	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
51	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
51	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
51	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
51	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
51	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
51	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
51	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
51	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
51	Paolo Arcaini, Pavel Jezek, Jan Kofron	Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin.	ABZ	2018	DBLP DOI BibTeX RDF
51	Alcino Cunha, Nuno Macedo	Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum.	ABZ	2018	DBLP DOI BibTeX RDF
51	Thai Son Hoang, Michael J. Butler, Klaus Reichl	The Hybrid ERTMS/ETCS Level 3 Case Study.	ABZ	2018	DBLP DOI BibTeX RDF
51	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
51	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
51	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
51	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
51	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
51	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
51	Laura Carnevali, Francesco Flammini, Marco Paolieri, Enrico Vicario	Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3.	EPEW	2015	DBLP DOI BibTeX RDF
51	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
51	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
51	Linh Vu Hong	Formal Development and Verification of Railway Control Systems - In the context of ERTMS/ETCS Level 2.		2015	RDF
51	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
51	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
51	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
45	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
45	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
45	Pasquale di Tommaso, Rosaria Esposito, Pietro Marmo, Antonio Orazzo	Hazard Analysis of Complex Distributed Railway Systems.	SRDS	2003	DBLP DOI BibTeX RDF