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

被引:0
|
作者
Lindner, A [1 ]
机构
[1] Inst Sicherheitstechnol GMBH, Forschungsgelande, D-85748 Garching, Germany
来源
关键词
D O I
暂无
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
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.
引用
收藏
页码:209 / 217
页数:9
相关论文
共 50 条
  • [1] Scalable Secure Computation from ANSI-C
    Buescher, Niklas
    Kretzmer, David
    Jindal, Arnav
    Katzenbeisser, Stefan
    [J]. 2016 8TH IEEE INTERNATIONAL WORKSHOP ON INFORMATION FORENSICS AND SECURITY (WIFS 2016), 2016,
  • [2] SMT-Based Bounded Model Checking for Embedded ANSI-C Software
    Cordeiro, Lucas
    Fischer, Bernd
    Marques-Silva, Joao
    [J]. 2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 137 - 148
  • [3] SMT-Based Bounded Model Checking for Embedded ANSI-C Software
    Cordeiro, Lucas
    Fischer, Bernd
    Marques-Silva, Joao
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2012, 38 (04) : 957 - 974
  • [4] GOING FROM K-AND-R TO ANSI-C
    LADD, SR
    [J]. DR DOBBS JOURNAL, 1989, 14 (08): : 74 - &
  • [5] Context-Bounded Model Checking of LTL Properties for ANSI-C Software
    Morse, Jeremy
    Cordeiro, Lucas
    Nicole, Denis
    Fischer, Bernd
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 302 - +
  • [6] A simple way to build an ANSI-C like compiler from scratch and embed it on the instrument's software
    Rodriguez Trinidad, Alicia
    Morales Munoz, Rafael
    Abril Marti, Miguel
    Costillo Iciarra, Luis P.
    Cardenas Vazquez, M. C.
    Rabaza Castillo, Ovidio
    Ramon Ballesta, Alejandro
    Sanchez Carrasco, Miguel A.
    Becerril Jarque, Santiago
    Amado Gonzalez, Pedro J.
    [J]. SOFTWARE AND CYBERINFRASTRUCTURE FOR ASTRONOMY, 2010, 7740
  • [7] Towards a lessons learned system for critical software
    Andrade, J.
    Ares, J.
    Garcia, R.
    Pazos, J.
    Rodriguez, S.
    Rodriguez-Paton, A.
    Silva, A.
    [J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 2007, 92 (07) : 902 - 913
  • [8] Lessons-learned from the army's stormwater and erosion control programs
    Scholze, RJ
    Riggins, RE
    [J]. INTERNATIONAL EROSION CONTROL ASSOCIATION - PROCEEDINGS OF CONFERENCE 30, 1999, 30 : 435 - +
  • [9] From UML to ANSI-C - An Eclipse-based code generation framework
    Funk, Mathias
    Nyssen, Alexander
    Lichter, Horst
    [J]. ICSOFT 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL SE/GSDCA/MUSE, 2008, : 12 - +
  • [10] An Evaluation of Sensing Technologies in a Wind Turbine Blade: Some Issues, Challenges and Lessons-Learned
    Rumsey, Mark A.
    [J]. INDUSTRIAL AND COMMERCIAL APPLICATIONS OF SMART STRUCTURES TECHNOLOGIES 2011, 2011, 7979