Abstract
The Institute for Safety Technology (ISTec) has been involved in software reliability research and assessment for more than 25 years. The emphasis has been placed on applications in nuclear power plants, especially on software based instrumentation and control (I&C) systems important to safety. In this context potential sources of weakness in ANSI C programs, which may be error prone have been investigated from a practical point of view. The paper describes essential results of this study; it gives not a complete list of weakness points, but essential examples are shown. From the potential sources of weakness recommendations are derived to improve the C code also in view of software modification and maintenance, which is important because of the long life-time of I&C systems in nuclear power plants.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literature
IEC 880, Software for computers in safety systems of nuclear power stations, CEI (1986)
Bastl, W., Bock, H.-W.: German qualification and assessment of Digital I&C systems important to safety. Reliability Engineering and System Safety 59 (1998) 163–170
Brummer, J., Kersken, M., Lindner, A., Miedl, H.: Validation of Transformation Tools. In Licensing of Computer-Based Systems Important to Safety, OECD/GD(97)91 Paris (1997) 400–411
Lindner, A., Miedl. H.: Methodology and Tools for Independent Verification and Validation of Computerized I&C Systems important to Safety. In Proc. of IAEA Spec. Meeting on Computerized Reactor Protection and Safety Related Systems in Nuclear Power Plants, IAEA-IWG-NPPCI-98/1, IAEA, Vienna (1998) 127–138
Miedl. H.: Reverse Transformation of Normed Source Code. In Cacciabue, C., C., Papazoglu, I., A. (eds.): Probabilistic Safety Assessment and Management, ESREL’96-PSAM-III. Springer-Verlag, London (1996) 1139–1144
Rohner, A.: C-Compiler und Sicherheitsaspekte. Design & Elektronik-EmbeddedControl, (06.03.1996) 71–77
Edwards, P., D., Rivett, R, S.: Towards an Automotiv’ Safer Subset ‘of C. In: Daniel, P. (ed.): Safecomp 97. Springer-Verlag, London (1997) 185–196
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg Berlin Heidelberg
About this paper
Cite this paper
Lindner, A. (1998). ANSI-C in Safety Critical Applications Lessons-Learned from Software Evaluation. In: Ehrenberger, W. (eds) Computer Safety, Reliability and Security. SAFECOMP 1998. Lecture Notes in Computer Science, vol 1516. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49646-7_16
Download citation
DOI: https://doi.org/10.1007/3-540-49646-7_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65110-9
Online ISBN: 978-3-540-49646-5
eBook Packages: Springer Book Archive