{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:46:28Z","timestamp":1725551188475},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664888"},{"type":"electronic","value":"9783540482499"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48249-0_4","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:13:11Z","timestamp":1269882791000},"page":"39-45","source":"Crossref","is-referenced-by-count":1,"title":["Assessment and Certification of Safety-Critical Digital Architectures \u2014 the ACRuDA Project"],"prefix":"10.1007","author":[{"given":"Gerald","family":"Sonneck","sequence":"first","affiliation":[]},{"given":"Erwin","family":"Schoitsch","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,10,14]]},"reference":[{"key":"4_CR1","unstructured":"ACRuDA Deliverable D1: State of the Art, Safety Architectures Synthesis, 1997"},{"key":"4_CR2","volume-title":"Vital coded processor: the new safety for transit system","author":"J. Martin","year":"1989","unstructured":"Martin, J.; Wartski, s.: Vital coded processor: the new safety for transit system. IFAC IFIP, Wien, 1989"},{"key":"4_CR3","unstructured":"Doppelbauer, J.: ELEKTRA-Sicherheits-und Zuverl\u00e4ssigkeitsmechnismen (Mechnisms for Safety and Reliability). Paper presented at the 1st German-Austrian ENCRESS Workshop. Salzburg, 28 June 1995"},{"key":"4_CR4","volume-title":"The ELECTRA System, The system for more than just electronic interlocking","author":"H. Steinbrecher","year":"1991","unstructured":"H. Steinbrecher, H.: The ELECTRA System, The system for more than just electronic interlocking. IRSE, ASPECT91, London, 1991"},{"key":"4_CR5","unstructured":"Council Directive 96\/48\/EC: Interoperability of the European High Speed Train Network, 23 July 1996"},{"key":"4_CR6","unstructured":"Council Directive 93\/465\/EC: Modules related to the different phases of assessment procedures of conformity and rules of affixing and using CE mark, intended to be used in the technical harmonisation directives, 22 July 1993"},{"key":"4_CR7","unstructured":"Council Directive 90\/531\/EEC: Procurement procedures of entities operating in the water, energy, transportation and telecommunication sectors, 17 September 1990"},{"key":"4_CR8","unstructured":"ACRuDA Deliverable D3: The Proposed Assessment and Certification Methodology for Digital Architectures, 1998"},{"key":"4_CR9","unstructured":"prEN 50126, CENELEC: Railway Applications: The specification and demonstration of dependability, reliability, availability, maintainability and safety (RAMS), June 1997"},{"key":"4_CR10","unstructured":"prEN 50128, CENELEC: Railway Applications: Software for Railway Control and Protection Systems, June 1997"},{"key":"4_CR11","unstructured":"prENV 50129, CENELEC: Railway Applications: Safety Related Electronic Systems for Signalling, Version 1.0, January 1997"},{"key":"4_CR12","unstructured":"IEC 61508: Functional Safety: Safety Related Systems, Draft 1998"},{"key":"4_CR13","unstructured":"EN 450001: General Criteria for the Operation of Testing Laboratories, 1989"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Schoitsch, E.; Dittrich, E.; Grasegger, S.; Kropfitsch, D.; Erb, A.; Fritz, P.; Kopp, H.: The ELEKTRA Testbed: Architecture of a Real-Time Test Environment for High Safety and Reliability Requirements. In Daniels, B. K., ed.: Safecomp\u201990, Proceedings of the IFAC\/EWICS\/SARS Symposium, Gatwick, UK, Pergamon Press, 1990.","DOI":"10.1016\/B978-0-08-040953-5.50016-7"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48249-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T22:12:17Z","timestamp":1550959937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48249-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664888","9783540482499"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-48249-0_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}