SCOPUS 정보 검색 플랫폼

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1516, Issue , 1998, Pages 209-217

ANSI-C in safety critical applications lessons-learned from software evaluation

(1) Lindner, Arndt a

a Institut für Sicherheitstechnologie ISTec GmbH (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; NUCLEAR ENERGY; NUCLEAR FUELS; NUCLEAR POWER PLANTS; SAFETY ENGINEERING; SOFTWARE RELIABILITY;

ANSI C PROGRAMS; ERROR PRONES; INSTRUMENTATION AND CONTROL; POTENTIAL SOURCES; SAFETY CRITICAL APPLICATIONS; SAFETY TECHNOLOGY; SOFTWARE EVALUATION; SOFTWARE MODIFICATION;

C (PROGRAMMING LANGUAGE);

EID: 84948965470 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/3-540-49646-7_16 Document Type: Conference Paper

Times cited : (2)

References (7)

1
- 0141571908
- IEC 880, CEI
- IEC 880, Software for computers in safety systems of nuclear power stations, CEI (1986)
- (1986) Software for Computers in Safety Systems of Nuclear Power Stations

2
- 0031988580
- German qualification and assessment of Digital I&C systems important to safety
- 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
- (1998) Reliability Engineering and System Safety , vol.59 , pp. 163-170
- Bastl, W.¹ Bock, H.-W.²

3
- 84949043657
- Validation of Transformation Tools
- OECD/GD(97)91 Paris
- 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
- (1997) Licensing of Computer-Based Systems Important to Safety , pp. 400-411
- Brummer, J.¹ Kersken, M.² Lindner, A.³ Miedl, H.⁴

4
- 33750982248
- Methodology and Tools for Independent Verification and Validation of Computerized I&C Systems important to Safety
- IAEA-IWG-NPPCI-98/1, IAEA, Vienna
- 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
- (1998) Proc. Of IAEA Spec. Meeting on Computerized Reactor Protection and Safety Related Systems in Nuclear Power Plants , pp. 127-138
- Lindner, A.¹ Miedl, H.²

5
- 84949043658
- Reverse Transformation of Normed Source Code
- In Cacciabue, C., C., Papazoglu, I., A. (eds.), Springer-Verlag, London
- 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
- (1996) Probabilistic Safety Assessment and Management, ESREL’96- PSAM-III , pp. 1139-1144
- Miedl, H.¹

6
- 84948983223
- C-Compiler und Sicherheitsaspekte
- 06.03
- Rohner, A.: C-Compiler und Sicherheitsaspekte. Design & Elektronik-EmbeddedControl, (06.03.1996) 71-77
- (1996) Design & Elektronik-Embeddedcontrol , pp. 71-77
- Rohner, A.¹

7
- 84940653917
- Towards an Automotiv ‘Safer Subset’ of C
- In: Daniel, P. (ed.), Springer-Verlag, London
- 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
- (1997) Safecomp 97 , pp. 185-196
- Edwards, P.D.¹ Rivett, R.S.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.