Filters








25,609 Hits in 4.5 sec

Validation process for railway interlocking systems

A. Bonacchi, A. Fantechi, S. Bacherini, M. Tempestini
2016 Science of Computer Programming  
In this paper we show how the problem has been addressed by a manufacturer at the final validation stage of production interlocking systems, by means of a model extraction procedure that creates a model  ...  of the internal behaviour, to be exercised with the planned test suites, in order to reduce the high costs of direct validation of the target system.  ...  Acknowledgments The second author has been partially funded by Villum Fonden.  ... 
doi:10.1016/j.scico.2016.04.004 fatcat:sqftsseqqjhdfduib6h7fxha3a

The Application of Automation Theory to Railway Signaling Systems: Turkish National Railway Signaling Project

Mustafa Seckin Durmus, Ugur Yildirim, Mehmet Turan Soylemez
2013 Pamukkale University Journal of Engineering Sciences  
Signaling system is the vital part of a railway system which ensures safe travel and transportation on railways.  ...  The initial construction costs of railways are high and developing its signaling system also requires a lot of attention.  ...  The whole system (including the interlocking and CC software which was developed by ÜBİ AK-BİLGE ) has been validated in these tests.  ... 
doi:10.5505/pajes.2013.14633 fatcat:or42hr6vzbcidanvwnitjecesi

Applied Bounded Model Checking for Interlocking System Designs [chapter]

Anne E. Haxthausen, Jan Peleska, Ralf Pinger
2014 Lecture Notes in Computer Science  
In this paper the verification and validation of interlocking systems is investigated.  ...  The former checks that the plant model -that is, the software components reflecting the physical components of the interlocking system -has been set up in an adequate way.  ...  The second and third authors have been supported by the openETCS project funded by the European ITEA2 organisation.  ... 
doi:10.1007/978-3-319-05032-4_16 fatcat:rxqa6jv2yzaytijw7dsmqenwui

From CCS-Planning to Testautomation: The Digital Testfield of Deutsche Bahn in Scheibenberg – A Case Study [article]

Arne Boockmeyer, Dirk Friedenberger, Lukas Pirl, Robert Schmid, Andreas Polze, Heiko Herholz, Gisela Freiin von Arnim, Pedro Lehmann Ibáñez, Torsten Friedrich, Christoph Klaus, Christian Wilhelmi
2021 arXiv   pre-print
of code of an interlocking for the digital CCS planning to contribute to the vision of test automation.  ...  The digitalization of railway systems should increase the efficiency of the train operation to achieve future mobility challenges and climate goals.  ...  Part of this work has been funded by the German Federal Ministry of Transport and Digital Infrastructure through the mFUND project RailChain (19F2093C).  ... 
arXiv:2109.14378v1 fatcat:lty4eznwlbb4vfpdmr6owtmcya

Detection of Critical Number of People in Interlocked Doors for Security Access Control by Exploiting a Microwave Transceiver-Array [article]

Paolo Nesi, Gianni Pantaleo
2015 arXiv   pre-print
The proposed solution has been statistically validated by using statistical analysis.  ...  The system consists of a fixed array of microwave transceiver modules, whose received signals are processed to collect information related to a sort of volume occupied in the interlocked door cabin.  ...  A special 'thank you' goes to the staff involved in the test cases' set up and monitoring activities to collect data for validation.  ... 
arXiv:1508.01081v1 fatcat:qwta7qtsqfaxbouqfyuztcvuay

Report on a Practical Application of ASMs in Software Design [chapter]

Egon Börger, Peter Päppinghaus, Joachim Schmid
2000 Lecture Notes in Computer Science  
Main purpose of FALKO is the construction and validation of timetables for railway systems. For simulation the whole closed-loop traffic control system is modelled within FALKO.  ...  The model is designed in a modular way with three main components: train supervision/train tracking, interlocking system, and railway process model.  ...  We thank our colleagues of the FALKO team for their open attitude towards this pioneering use of ASMs and for a year of enjoyable and fruitful cooperation.  ... 
doi:10.1007/3-540-44518-8_20 fatcat:oxogr54e6vffjfnanoipkwf3wq

FPGA based design of the railway's interlocking equipments

R. Dobias, H. Kubatova
2004 Euromicro Symposium on Digital System Design, 2004. DSD 2004.  
This paper describes the architecture of a safety system of the railway's interlocking equipment, which has been developed for Czech railways. The system will be used for the railway crossing gate.  ...  The reliability analyses, models and reliability characteristics calculations of this system are described. Markov chain models are used for the reliability analyses.  ...  Acknowledgement This research has been in part supported by the GA102/03/0672 grant.  ... 
doi:10.1109/dsd.2004.1333312 dblp:conf/dsd/DobiasK04 fatcat:jiywpsohlrda7nlau4sa2gfwmy

A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway

Christophe Limbree, Charles Pecheur
2019 Electronic Communications of the EASST  
Much research propose to verify the safety properties of such systems by means of model checking.  ...  Each interlocking is seen as the component of a larger system (i.e., station) and interacts with its neighbours by means of interfaces.  ...  Currently the validation of the application data relies on the combination of different V&V activities such as functional tests, safety tests, and application data reviewing.  ... 
doi:10.14279/tuj.eceasst.76.1077 dblp:journals/eceasst/LimbreeP18 fatcat:s2o3nye36vhfllgq6k3cd3ubge

Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker [chapter]

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
2006 Lecture Notes in Computer Science  
Signal boxes correspond to the network's interlocking points and communicate only with their neighbor signal boxes. Communication takes place by the use of rendezvous communication channels.  ...  Also, exhaustive simulation and testing can easily miss system errors, whether they are life-critical or not.  ...  SPIN was also used in [7] where the authors present a model of the same system and validate certain safety properties, in the presence of Byzantine system components or of some hardware temporary faults  ... 
doi:10.1007/11946441_32 fatcat:qg5joniuifa5bdfpkeutf3z5fy

The upgrade and re-validation of the Compact Muon Solenoid Electromagnetic Calorimeter Control and Safety Systems during the Second Long Shutdown of the Large Hadron Collider at CERN

R. Jiménez Estupiñán, P. Adzic, E. Auffray, D. Bailleux, D. Di Calafiori, G. Dissertori, L. Djambazov, J. Fay, D. Jovanovic, W. Lustermann, P. Milenovic, A. Tsirou (+9 others)
2020 EPJ Web of Conferences  
This paper presents the architectures of the CMS ECAL control and safety systems, discusses the ongoing and planned upgrades, details implementation processes and validation methods and highlights the  ...  Over this long period, several changes to both systems were necessary to correct issues, extend functionality and keep them in-line with current hardware technologies and the evolution of software platforms  ...  The authors would like to thank the Swiss National Science Foundation for the financial support, as well as the CMS Tracker DCS team for their participation in the works described in this paper.  ... 
doi:10.1051/epjconf/202024501009 fatcat:pbi3dbcakvh75aa4zedfo6pelm

Experimenting with diversity in the model driven development of a railway signaling system

Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi
2007 Proceedings of the 2007 workshop on Engineering fault tolerant systems - EFTS '07  
of railway signalling systems hosted by a new fault-tolerant platform.  ...  In this paper we discuss how we have introduced elements of diversity in the experimental model driven development process of a railway signalling system.  ...  Interlocking rules are obviously the core of the system, so their correctness is the main objective to be addressed.  ... 
doi:10.1145/1316550.1316555 dblp:conf/sigsoft/BanciFGL07 fatcat:e5hrryli4bdqlkdc424tdxaqhi

Scalable Incremental Test-case Generation from Large Behavior Models [chapter]

Bernhard K. Aichernig, Dejan Ničković, Stefan Tiran
2015 Lecture Notes in Computer Science  
Secondly, our specification language enables incremental test-case generation by providing support for compositional modeling, in which each requirement or view of the system is expressed as a separate  ...  We apply our test-case generation technique to two large industrial case studies: (1) an electronic control unit (ECU) of an agricultural device; and (2) a railway interlocking system.  ...  the project CRYSTAL, Critical System Engineering Acceleration.  ... 
doi:10.1007/978-3-319-21215-9_1 fatcat:hkmx5ai4y5bgffqsvxvdbkch3a

Some Trends in Formal Methods Applications to Railway Signaling [chapter]

Alessandro Fantechi, Wan Fokkink, Angelo Morzenti
2012 Formal Methods for Industrial Critical Systems  
Railway signaling is often considered as one of the most fruitful areas of intervention by formal methods.  ...  In this chapter, we investigate the reasons of these successes, and we offer some insight into the actual industrial usage of formal methods in this field, which does not yet meet the promises of the aforementioned  ...  developers, looking for conformance of the new interlocking systems to such sources, by means of costly and tedious, but possibly not exhaustive, testing.  ... 
doi:10.1002/9781118459898.ch4 fatcat:k7ejzlacmzeqnfzunodprogviu

Towards a Framework for Modelling and Verification of Relay Interlocking Systems [chapter]

Anne E. Haxthausen
2011 Lecture Notes in Computer Science  
This paper describes a framework currently under development for modelling, simulation, and verification of relay interlocking systems as used by the Danish railways.  ...  interlocking systems.  ...  Kjaer, who have all contributed to this project in their bachelor and master theses, respectively, and who have helped producing some of the figures in this paper.  ... 
doi:10.1007/978-3-642-21292-5_10 fatcat:vc3mjwvwbngtzj3zxwxbl2f2d4

LOAD TRANSFER-CRACK WIDTH RELATION OF NON-DOWELLED JOINTED PLAIN CONCRETE SHORT SLABS

Mauricio PRADENA, Lambert HOUBEN
2018 Baltic Journal of Road and Bridge Engineering  
Considering that their provision of load transfer relies on aggregate interlock, the objective of the present article is to develop the relationship between the load transfer by aggregate interlock and  ...  For that, the analysis includes a validated nonlinear aggregate interlock model incorporated in a 3D Finite Element program, laboratory results, and field measurements performed as part of the present  ...  A more conservative approach is the direct application of the curve of validation of the nonlinear aggregate interlock model of EverFE.  ... 
doi:10.3846/bjrbe.2018.388 fatcat:j42z3eu5w5gblhe7u6ondtcrau
« Previous Showing results 1 — 15 out of 25,609 results