Abstract
ACRuDA (Assessment and Certification Rules for Digital Architectures) is a project partly funded by CEC. Its objective was to develop an assessment and certification method for safety critical digital architectures for use in the guided transport industry. The assessment process and the criteria were tested in three case studies. This paper gives an overview on the underlying principles of two of these and discusses how the assessment according to the ACRuDA framework promotes the cross-acceptance of certificates.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ACRuDA Deliverable D1: State of the Art, Safety Architectures Synthesis, 1997
Martin, J.; Wartski, s.: Vital coded processor: the new safety for transit system. IFAC IFIP, Wien, 1989
Doppelbauer, J.: ELEKTRA-Sicherheits-und Zuverlässigkeitsmechnismen (Mechnisms for Safety and Reliability). Paper presented at the 1st German-Austrian ENCRESS Workshop. Salzburg, 28 June 1995
H. Steinbrecher, H.: The ELECTRA System, The system for more than just electronic interlocking. IRSE, ASPECT91, London, 1991
Council Directive 96/48/EC: Interoperability of the European High Speed Train Network, 23 July 1996
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
Council Directive 90/531/EEC: Procurement procedures of entities operating in the water, energy, transportation and telecommunication sectors, 17 September 1990
ACRuDA Deliverable D3: The Proposed Assessment and Certification Methodology for Digital Architectures, 1998
prEN 50126, CENELEC: Railway Applications: The specification and demonstration of dependability, reliability, availability, maintainability and safety (RAMS), June 1997
prEN 50128, CENELEC: Railway Applications: Software for Railway Control and Protection Systems, June 1997
prENV 50129, CENELEC: Railway Applications: Safety Related Electronic Systems for Signalling, Version 1.0, January 1997
IEC 61508: Functional Safety: Safety Related Systems, Draft 1998
EN 450001: General Criteria for the Operation of Testing Laboratories, 1989
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’90, Proceedings of the IFAC/EWICS/SARS Symposium, Gatwick, UK, Pergamon Press, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sonneck, G., Schoitsch, E. (1999). Assessment and Certification of Safety-Critical Digital Architectures — the ACRuDA Project. In: Felici, M., Kanoun, K. (eds) Computer Safety, Reliability and Security. SAFECOMP 1999. Lecture Notes in Computer Science, vol 1698. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48249-0_4
Download citation
DOI: https://doi.org/10.1007/3-540-48249-0_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66488-8
Online ISBN: 978-3-540-48249-9
eBook Packages: Springer Book Archive