References

  1. Yaman Barlas (1996): Formal Aspects of Model Validity and Validation in System Dynamics. System Dynamics Review - SYST DYNAM REV 12, doi:10.1002/(SICI)1099-1727(199623)12:3<183::AID-SDR103>3.0.CO;2-4.
  2. S. L. M. Barrocas & Marcel Oliveira (2012): JCircus 2.0: an Extension of an Automatic Translator from Circus to Java. In: Peter H. Welch, Frederick R. M. Barnes, Kevin Chalmers, Jan Bækgaard Pedersen & Adam T. Sampson: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG. Open Channel Publishing Ltd., pp. 15–36. Available at http://wotug.org/paperdb/show_pap.php?f=1&num=662.
  3. Nazim Benaissa, David Bonvoisin, Abderrahmane Feliachi & Julien Ordioni (2016): The PERF Approach for Formal Verification. In: Thierry Lecomte, Ralf Pinger & Alexander Romanovsky: RSSRail 2016 proc.. Springer International Publishing, Cham, pp. 203–214, doi:10.1007/978-3-319-33951-1_15.
  4. Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte & Silvia Lizeth Tapia Tarifa (2013): User-defined schedulers for real-time concurrent objects. ISSE 9(1), pp. 29–43, doi:10.1007/s11334-012-0184-5.
  5. Manfred Broy, Klaus Havelund, Rahul Kumar & Bernhard Steffen (2018): Towards a Unified View of Modeling and Programming (Track Introduction). In: Tiziana Margaria & Bernhard Steffen: ISoLA. Springer, pp. 3–21, doi:10.1007/978-3-030-03418-4_1.
  6. CENELEC (2011): DIN EN 50128:2011, Railway applications – Communication, Signalling and Processing Signals.
  7. DB Netz AG, Frankfurt, Germany (2017): Richtlinie 408, Fahrdienstvorschrift.
  8. DB Netz AG, Frankfurt, Germany (2017): Richtlinie 819, LST-Anlagen planen.
  9. Stefan Dillmann & Reiner Hähnle (2019): Automated Planning of ETCS Tracks. In: RSSRail, LNCS 11495. Springer, pp. 79–90, doi:10.1007/978-3-030-18744-6_5.
  10. Eisenbahnbundesamt (Federal Railway Authority) (2017): Eisenbahn-Bau- und Betriebsordnung. April 2017: https://www.gesetze-im-internet.de/ebo/index.html.
  11. Alessio Ferrari, Gloria Gori, Benedetta Rosadini, Iacopo Trotta, Stefano Bacherini, Alessandro Fantechi & Stefania Gnesi (2018): Detecting requirements defects with NLP patterns: an industrial experience in the railway domain. Empirical Software Engineering 23(6), pp. 3684–3733, doi:10.1007/s10664-018-9596-7.
  12. Tomas Fischer & Dana Dghaym (2019): Formal Model Validation Through Acceptance Tests. In: RSSRail 2019, LNCS 11495. Springer, pp. 159–169, doi:10.1007/978-3-030-18744-6_10.
  13. Manel Fredj, Sven Leger, Abderrahmane Feliachi & Julien Ordioni (2017): OVADO - Enhancing Data Validation for Safety-Critical Railway Systems. In: Alessandro Fantechi, Thierry Lecomte & Alexander B. Romanovsky: RSSRail 2017 proc., LNCS 10598. Springer, pp. 87–98, doi:10.1007/978-3-319-68499-4_6.
  14. Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen & Hans Vangheluwe (2018): Co-Simulation: A Survey. ACM Comput. Surv. 51(3), pp. 49:1–49:33, doi:10.1145/3179993.
  15. IEEE (1998): IEEE Guide for Software Requirements Specifications. IEEE Std 830-1998.
  16. Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte & Martin Steffen (2010): ABS: A Core Language for Abstract Behavioral Specification. In: FMCO, LNCS 6957. Springer, doi:10.1007/978-3-642-25271-6_8.
  17. Eduard Kamburjan & Reiner Hähnle (2017): Deductive Verification of Railway Operations. In: RSSRail 2017, LNCS 10598. Springer, pp. 131–147, doi:10.1007/978-3-319-68499-4_9.
  18. Eduard Kamburjan & Reiner Hähnle (2018): Prototyping Formal System Models with Active Objects. In: Interaction and Concurrency Experience, EPTCS 279. Open Publishing Association, pp. 52–67, doi:10.4204/EPTCS.279.7.
  19. Eduard Kamburjan, Reiner Hähnle & Sebastian Schön (2018): Formal modeling and analysis of railway operations with active objects. Science of Computer Programming 166, pp. 167 – 193, doi:10.1016/j.scico.2018.07.001.
  20. Florian Rudolf Kämmerer (2017): Entwicklung eines Kennzahlensystems für Effektivität des Bahnbetriebs bei Abweichungen vom Regelbetrieb. Technische Universität Darmstadt.
  21. E. Kharlamov, F. Martin-Recuerda, B. Perry, D. Cameron, R. Fjellheim & A. Waaler (2018): Towards Semantically Enhanced Digital Twins. In: 2018 IEEE International Conference on Big Data, pp. 4189–4193, doi:10.1109/BigData.2018.8622503.
  22. Lukas Ladenberger (2017): Rapid Creation of Interactive Formal Prototypes for Validating Safety-Critical Systems. University of Düsseldorf, Germany.
  23. Lukas Ladenberger, Jens Bendisposto & Michael Leuschel (2009): Visualising Event-B Models with B-Motion Studio. In: María Alpuente, Byron Cook & Christophe Joubert: Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 202–204, doi:10.1007/978-3-642-04570-7_17.
  24. Bjørnar Luteberget, John J. Camilleri, Christian Johansen & Gerardo Schneider (2017): Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL. In: Alessandro Cimatti & Marjan Sirjani: Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, LNCS 10469. Springer, pp. 87–103, doi:10.1007/978-3-319-66197-1_6.
  25. Stefan Mitsch, Grant Olney Passmore & André Platzer (2014): Collaborative Verification-Driven Engineering of Hybrid Systems. Mathematics in Computer Science 8(1), pp. 71–97, doi:10.1007/s11786-014-0176-y.
  26. Chris Newcombe (2014): Why Amazon Chose TLA+.1667em++.1667em. In: Yamine Ait Ameur & Klaus-Dieter Schewe: Abstract State Machines, Alloy, B, TLA, VDM, and Z. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 25–39, doi:10.1007/978-3-662-43652-3_3.
  27. Dan North (2006): Introducing BDD. Http://dannorth.net/introducing-bdd/.
  28. Antoni Olivé (2007): Conceptual Modeling of Information Systems. Springer-Verlag, Berlin, Heidelberg.
  29. Jörn Pachl (2018): Das Ersatzsignal – ein deutscher Sonderweg?. Deine Bahn 3. In German.
  30. Roland Rosen, Georg von Wichert, George Lo & Kurt D. Bettenhausen (2015): About The Importance of Autonomy and Digital Twins for the Future of Manufacturing. IFAC-PapersOnLine 48(3), pp. 567 – 572, doi:10.1016/j.ifacol.2015.06.141.
  31. RTCA Inc, EUROCAE (2012): DO-178C.
  32. Rudolf Schlatte, Einar Broch Johnsen, Jacopo Mauro, Silvia Lizeth Tapia Tarifa & Ingrid Chieh Yu (2018): Release the Beasts: When Formal Methods Meet Real World Data, pp. 107–121. Springer International Publishing, Cham, doi:10.1007/978-3-319-90089-6_8.
  33. Bilal Üyümez (2018): Modellierung des Steuerungsprozesses der Rückfallebenen als Grundlage für die Automatisierung. Eisenbahntechnische Rundschau. In German.
  34. Nathaniel Watson, Steve Reeves & Paolo Masci (2018): Integrating User Design and Formal Models within PVSio-Web. In: Paolo Masci, Rosemary Monahan & Virgile Prevosto: Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018., EPTCS 284, pp. 95–104, doi:10.4204/EPTCS.284.8.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org