Applicability of AADL in modelling the overall I&C architecture of a nuclear power plant

被引：0

作者：

Linnosmaa, Joonas ^{[1
]}

Pakonen, Antti ^{[2
]}

Papakonstantinou, Nikolaos ^{[2
]}

Karpati, Peter ^{[3
]}

机构：

[1] VTT Tech Res Ctr Finland, Tampere, Finland

[2] VTT Tech Res Ctr Finland, Espoo, Finland

[3] Inst Energy Technol, OECD Halden Reactor Project, Halden, Norway

来源：

IECON 2020: THE 46TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY | 2020年

关键词：

AADL; architecture description languages; safety I&C architecture; model-based systems engineering;

D O I：

10.1109/iecon43393.2020.9254226

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper focuses on the challenges relating to the overall safety instrumentation and control (I&C) architectural design and more specifically the modelling and assessment of nuclear safety I&C systems at architectural level. We focus on the properties relating to Defence-in-Depth principle, mainly on the unwanted interactions between systems of different safety classification. This paper describes the design process of early conceptual overall safety I&C architecture from the modelling point of view and defines the requirements for a model-based approach to support the design and analysis of the design solution. The modelling language selected for the study was Architecture Analysis and Design Language (AADL), an architecture description language, which considers analysis as a goal. In this paper, we review the capabilities of the language for modelling overall safety I&C architectures and as a case study, we model a simplified example architecture of an APR-1400 nuclear power plant using standard AADL components and provide an overview of the analysis capabilities of the OSATE tool for checking Defence-in-Depth related requirements.

引用

页码：4337 / 4344

页数：8

共 50 条

[21] Different view of nuclear I&C
Raychaudhuri, S.
[J]. POWER, 2007, 151 (08) : 16 - 16
[22] DESIGN OF THE COMMUNICATION INDEPENDENCE FOR ACPR1000 NUCLEAR POWER PLANT DIGITAL SAFETY I&C SYSTEM
Sun Na
Shi Gui-lian
Xie Yi-qin
Li Gang
Jiang Guo-jin
[J]. PROCEEDINGS OF THE 25TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING, 2017, VOL 1, 2017,
[23] Next Generation Technologies in the Digital I&C Systems for Nuclear Power Plants
Maekawa, Tatsuyuki
Hayashi, Toshifumi
[J]. ADVANCES IN LIGHT WATER REACTOR TECHNOLOGIES, 2011, : 223 - 250
[24] Development of international standard for electromagnetic interference radio frequency interference susceptibility of nuclear power plant I&C systems
Sarylov, V. N.
Shumovi, S. A.
Quinn, E. L.
[J]. 7TH INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC COMPATIBILITY AND ELECTROMAGNETIC ECOLOGY, PROCEEDINGS, 2007, : 70 - 73
[25] Reliability Program Plan for Field Programmable Gate Array-based I&C System of Nuclear Power Plant
Maerani, Restu
Waskita, Arya Adhyaksa
Pradana, Satrio
Saharudin
Deswandri
Jung, Jae Cheon
[J]. 3RD INTERNATIONAL CONFERENCE ON NUCLEAR ENERGY TECHNOLOGIES AND SCIENCES (ICONETS) 2019, 2019, 2180
[26] 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
[27] I&C meeting geared to power producers
不详
[J]. POWER, 1999, 143 (02) : 16 - +
[28] Safety and security aspects in design of digital safety I&C in nuclear power plants
Ding, Y.
Waedt, K.
[J]. KERNTECHNIK, 2016, 81 (02) : 185 - 187
[29] Modelling and insertion of I&C in EPR-PSA
Coulomb, JP
Fiegel, A
Maupuy, C
[J]. PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT (PSAM 4), VOLS 1-4, 1998, : 1405 - 1410
[30] A CYBER SECURITY RISK ASSESSMENT FOR THE DESIGN OF I&C SYSTEMS IN NUCLEAR POWER PLANTS
Song, Jae-Gu
Lee, Jung-Woon
Lee, Cheol-Kwon
Kwon, Kee-Choon
Lee, Dong-Young
[J]. NUCLEAR ENGINEERING AND TECHNOLOGY, 2012, 44 (08) : 919 - 928

← 1 2 3 4 5 →