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

Joonas Linnosmaa; Antti Pakonen; Nikolaos Papakonstantinou; Peter Karpati

doi:10.1109/IECON43393.2020.9254226

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

Joonas Linnosmaa, Antti Pakonen, Nikolaos Papakonstantinou, Peter Karpati

BA6403 Network security

Institute for Energy Technology (IFE)

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

4 Citations (Scopus)

80 Downloads (Pure)

Abstract

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.

Original language	English
Title of host publication	Proceedings - IECON 2020
Subtitle of host publication	46th Annual Conference of the IEEE Industrial Electronics Society
Publisher	IEEE Institute of Electrical and Electronic Engineers
Pages	4337-4344
ISBN (Electronic)	978-1-7281-5414-5, 978-1-7281-5413-8
ISBN (Print)	978-1-7281-5415-2
DOIs	https://doi.org/10.1109/IECON43393.2020.9254226
Publication status	Published - 18 Oct 2020
MoE publication type	A4 Article in a conference publication
Event	46th Annual Conference of the IEEE Industrial Electronics Society, IECON 2020 - Singapore, Singapore Duration: 18 Oct 2020 → 21 Oct 2020

Conference

Conference	46th Annual Conference of the IEEE Industrial Electronics Society, IECON 2020
Country/Territory	Singapore
City	Singapore
Period	18/10/20 → 21/10/20

Keywords

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

Access to Document

10.1109/IECON43393.2020.9254226

Linnosmaa et al IECON2020 preprintAccepted author manuscript, 443 KB

Cite this

Linnosmaa, J., Pakonen, A., Papakonstantinou, N., & Karpati, P. (2020). Applicability of AADL in modelling the overall I&C architecture of a nuclear power plant. In Proceedings - IECON 2020: 46th Annual Conference of the IEEE Industrial Electronics Society (pp. 4337-4344). IEEE Institute of Electrical and Electronic Engineers. https://doi.org/10.1109/IECON43393.2020.9254226

@inproceedings{4742085c1c304114a988fd4e84613a30,

title = "Applicability of AADL in modelling the overall I&C architecture of a nuclear power plant",

abstract = "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.",

keywords = "AADL, architecture description language, safety I&C architecture, model-based systems engineering",

author = "Joonas Linnosmaa and Antti Pakonen and Nikolaos Papakonstantinou and Peter Karpati",

year = "2020",

month = oct,

day = "18",

doi = "10.1109/IECON43393.2020.9254226",

language = "English",

isbn = "978-1-7281-5415-2",

pages = "4337--4344",

booktitle = "Proceedings - IECON 2020",

publisher = "IEEE Institute of Electrical and Electronic Engineers",

address = "United States",

note = "46th Annual Conference of the IEEE Industrial Electronics Society, IECON 2020 ; Conference date: 18-10-2020 Through 21-10-2020",

}

Linnosmaa, J , Pakonen, A, Papakonstantinou, N & Karpati, P 2020, Applicability of AADL in modelling the overall I&C architecture of a nuclear power plant. in Proceedings - IECON 2020: 46th Annual Conference of the IEEE Industrial Electronics Society. IEEE Institute of Electrical and Electronic Engineers, pp. 4337-4344, 46th Annual Conference of the IEEE Industrial Electronics Society, IECON 2020, Singapore, Singapore, 18/10/20. https://doi.org/10.1109/IECON43393.2020.9254226

Applicability of AADL in modelling the overall I&C architecture of a nuclear power plant. / Linnosmaa, Joonas ; Pakonen, Antti; Papakonstantinou, Nikolaos et al.
Proceedings - IECON 2020: 46th Annual Conference of the IEEE Industrial Electronics Society. IEEE Institute of Electrical and Electronic Engineers, 2020. p. 4337-4344.

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

TY - GEN

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

AU - Linnosmaa, Joonas

AU - Pakonen, Antti

AU - Papakonstantinou, Nikolaos

AU - Karpati, Peter

PY - 2020/10/18

Y1 - 2020/10/18

N2 - 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.

AB - 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.

KW - AADL

KW - architecture description language

KW - safety I&C architecture

KW - model-based systems engineering

UR - http://www.scopus.com/inward/record.url?scp=85097740302&partnerID=8YFLogxK

U2 - 10.1109/IECON43393.2020.9254226

DO - 10.1109/IECON43393.2020.9254226

M3 - Conference article in proceedings

SN - 978-1-7281-5415-2

SP - 4337

EP - 4344

BT - Proceedings - IECON 2020

PB - IEEE Institute of Electrical and Electronic Engineers

T2 - 46th Annual Conference of the IEEE Industrial Electronics Society, IECON 2020

Y2 - 18 October 2020 through 21 October 2020

ER -

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

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this