Efficient data validation for geographical interlocking systems

Autor: Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger

Publikováno v: Peleska, J, Krafczyk, N, Haxthausen, A E & Pinger, R 2021, ' Efficient data validation for geographical interlocking systems ', Formal Aspects of Computing . https://doi.org/10.1007/s00165-021-00551-6

In this paper, an efficient approach to data validation of distributed geographical interlocking systems (IXLs) is presented. In the distributed IXL paradigm, track elements are controlled by local computers communicating with other control component

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::69fc3956eb43b30115d848c24026a420
https://doi.org/10.1007/s00165-021-00551-6

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Autor: Thierry Lecomte, Ralf Pinger, Alexander Romanovsky

This book constitutes the refereed proceedings of the FirstInternational Conference on Reliability, Safety, and Security of RailwaySystems, RSSRail 2016, held in Paris, France, in June 2016.The 15 revised full papers presented were carefully reviewed

Understanding and closing the gap between requirements on system and subsystem level

Autor: Sabine Teufl, Wolfgang Böhm, Ralf Pinger

Publikováno v: MoDRE

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::719100341f0f8adb237c4166c4e9dee9
https://doi.org/10.1109/modre.2014.6890828

Formal Methods for Industrial Critical Systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings

Autor: Mariëlle Stoelinga, Ralf Pinger

This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presented were carefully reviewed and selected from 37 submis

Compositional Checking of Communication among Observers

Autor: Hans-Dieter Ehrich, Ralf Pinger

Publikováno v: Fundamental Approaches to Software Engineering ISBN: 9783540418634
FASE

Observers are objects inside or outside a concurrent object system carrying checking conditions about objects in the system (possibly including itself). In a companion paper [EP00], we show how to split and localise checking conditions over the objec

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::04c1c320609e5360f277afa59297d73a
https://doi.org/10.1007/3-540-45314-8_4