System-software interfaces for safety-related digital I&C systems

被引：0
|
作者：
Kececi, N [1 ]
Smidts, C [1 ]
Modarres, M [1 ]
Hu, YS [1 ]
机构：
[1] Univ Maryland, Ctr Reliabil Engn, College Pk, MD 20742 USA
来源：
SAFETY AND RELIABILITY, VOLS 1 & 2 | 1999年
关键词：
D O I：
暂无
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
The purpose of this paper is to discuss a structured software development process based on a graphical method which relates functional requirements and software specifications to the detailed software design and implementation. This paper presents a systematic logic-based method. This approach may be used to model the functional specifications of digital instrumentation and control systems used for safety purposes. This graphical representation of functional requirements is depicted through a multilevel hierarchical decomposition technique which allows one to (i) show functional interrelations between system and software (ii) map to follow functional information from the system level to the software implementation (requirement, design, code), (iii) address incomplete, inconsistent, and ambiguous requirements.
引用
收藏
页码：433 / 438
页数：6
相关论文
共 50 条
  • [21] The UK EPR™ digital I&C system
    不详
    [J]. NUCLEAR ENGINEERING INTERNATIONAL, 2013, 58 (704): : 25 - 27
  • [22] A Survey on the quantitative evaluation methods of software reliability of digital I&C systems at NPPs
    Liu Ying
    Yang Ming
    Li Fengjun
    Zhang Chao
    Hashim, Muhammad
    [J]. PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING - 2013, VOL 5, 2014,
  • [23] Evaluation Measures About Software V&V of the Safety Digital I&C System in Nuclear Power Plant
    Gu, Peng-Fei
    Liu, Zhe-Ming
    Liang, Hui-Hui
    Chen, Wei-Hua
    Gao, Feng
    [J]. NUCLEAR POWER PLANTS: INNOVATIVE TECHNOLOGIES FOR INSTRUMENTATION AND CONTROL SYSTEMS, 2018, 455 : 233 - 239
  • [24] Software Requirement Evaluation Method for Safety I&C System of Nuclear Power Plant
    Tang, Jian-Zhong
    Gu, Peng-Fei
    Wang, Sheng-Chao
    He, Ya-Nan
    Chen, Wei-Hua
    [J]. NUCLEAR POWER PLANTS: INNOVATIVE TECHNOLOGIES FOR INSTRUMENTATION AND CONTROL SYSTEMS, 2018, 455 : 240 - 247
  • [25] Research and Application of Software Reliability Analysis Method for Safety I&C System in NPPs
    Wang, Sheng-Chao
    Tang, Jian-Zhong
    Bai, Tao
    [J]. NUCLEAR POWER PLANTS: INNOVATIVE TECHNOLOGIES FOR INSTRUMENTATION AND CONTROL SYSTEMS (ISNPP 2019), 2020, 595 : 541 - 549
  • [26] Reliability and availability analysis of digital I&C systems
    Sedlak, J.
    Hladky, M.
    [J]. RISK, RELIABILITY AND SOCIETAL SAFETY, VOLS 1-3: VOL 1: SPECIALISATION TOPICS; VOL 2: THEMATIC TOPICS; VOL 3: APPLICATIONS TOPICS, 2007, : 1865 - +
  • [27] Verification and validation process for safety I&C systems
    Richter, S
    Witiig, JU
    [J]. NUCLEAR PLANT JOURNAL, 2003, 21 (03) : 36 - +
  • [28] Software architecture of a safety-related actuator in traffic management systems
    SWARCO FUTURIT, Muehlgasse 86, 2380 Perchtoldsdorf, Austria
    [J]. Lect. Notes Comput. Sci., (268-278):
  • [29] Engineering safety-related requirements for software-intensive systems
    Firesmith, DG
    [J]. ICSE 05: 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2005, : 720 - 721
  • [30] DIGITAL I&C SYSTEM IN THE US-APWR
    Shirasawa, Hiroshi
    Ishimoto, Shunsuke
    Mashio, Kenji
    [J]. ICONE16: PROCEEDING OF THE 16TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING - 2008, VOL 3, 2008, : 977 - 982
12345