{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:31:07Z","timestamp":1759332667361,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,5,22]],"date-time":"2024-05-22T00:00:00Z","timestamp":1716336000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,22]],"date-time":"2024-05-22T00:00:00Z","timestamp":1716336000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,5,22]]},"DOI":"10.1109\/isorc61049.2024.10551355","type":"proceedings-article","created":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T17:28:14Z","timestamp":1718213294000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["Managing Complexity in Safety-critical Railway Signaling Systems using Simplex Architectures"],"prefix":"10.1109","author":[{"given":"Robert","family":"Schmid","sequence":"first","affiliation":[{"name":"University of Potsdam,Hasso-Plattner Institute,Potsdam,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katja","family":"Assaf","sequence":"additional","affiliation":[{"name":"University of Potsdam,Hasso-Plattner Institute,Potsdam,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clemens","family":"Tiedt","sequence":"additional","affiliation":[{"name":"University of Potsdam,Hasso-Plattner Institute,Potsdam,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frederic","family":"Reiter","sequence":"additional","affiliation":[{"name":"University of Potsdam,Hasso-Plattner Institute,Potsdam,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Friedenberger","sequence":"additional","affiliation":[{"name":"University of Potsdam,Hasso-Plattner Institute,Potsdam,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Polze","sequence":"additional","affiliation":[{"name":"University of Potsdam,Hasso-Plattner Institute,Potsdam,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/37.710880"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ms.2001.936213"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/rtas.2009.20"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2008.2010774"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2461446.2461456"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-55754-6_6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-91265-9_13"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.1998.666813"},{"article-title":"Elicitation and formal specification of run time assurance requirements for aerospace collision avoidance systems","year":"2020","author":"Hobbs","key":"ref9"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.2514\/6.2008-6338","article-title":"Run-time verification and validation for safety-critical flight control systems","volume-title":"AIAA Guidance, Navigation and Control Conference and Exhibit","author":"Schierman"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.2514\/6.2021-0525"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/aero.2016.7500817"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.21236\/ada585474"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/dasc50938.2020.9256425"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/lcsys.2021.3135260"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-60508-7_10"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1791212.1791236"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/isorc.1998.666813"},{"key":"ref19","article-title":"A study in the use of CORBA in real-time settings: Model problems for the manufacturing domain","volume-title":"Tech. Rep. CMU\/SEI-97-TR-011","author":"Plakosh","year":"1998"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/eurmic.1998.708133"},{"volume-title":"ETCS Levels and Modes - European Commission","key":"ref21"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/isorc52013.2021.00024"},{"issue":"6","key":"ref23","article-title":"Integrated safety and security through software-based segregation in the EULYNX Object Controller","author":"Moumouris","year":"2023","journal-title":"Signalling and Datacommunication"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2023.3234380"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.jrtpm.2022.100313"},{"key":"ref26","first-page":"39","article-title":"Flexible arbeitsumgebungen f\u00fcr die ato-r\u00fcckfallebene","volume":"1","author":"Adebahr","year":"2023","journal-title":"EI-Der Eisenbahningenieur"}],"event":{"name":"2024 IEEE 27th International Symposium on Real-Time Distributed Computing (ISORC)","start":{"date-parts":[[2024,5,22]]},"location":"Tunis, Tunisia","end":{"date-parts":[[2024,5,25]]}},"container-title":["2024 IEEE 27th International Symposium on Real-Time Distributed Computing (ISORC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10551300\/10551323\/10551355.pdf?arnumber=10551355","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T19:10:21Z","timestamp":1719342621000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10551355\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,22]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/isorc61049.2024.10551355","relation":{},"subject":[],"published":{"date-parts":[[2024,5,22]]}}}