Formal development of an operation monitoring and control system for nuclear reactors using Event‐B method

Kim, Jihun; Park, Moon-Ghu

doi:10.1002/er.5262

Cited by 5 publications

(3 citation statements)

References 30 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…45 Because these methods require a linear life cycle and prior knowledge of the exact requirements, they are rarely used in the development of software with very high requirements regarding safety or security. 46,47 The cleanroom approach is a software development philosophy intended to produce highly reliable software combining formal methods with an emphasis on iterative development and statistically based independent testing. Cleanroom Software Engineering is based on an incremental life cycle in which development and certification are conducted in a pipeline of user-function increments.…”

Section: Methodology-driven Sdlc Modelsmentioning

confidence: 99%

“…The main idea behind these formal methods is to specify the requirements of a system in B Abstract Machine Notation specification language with clearly defined semantics by building a mathematically rigorous model of it (e.g., using predicate logic, symbols denoting sets, sequences, and functions abstract data types) and then proving, in the mathematical sense, that the implementation satisfies the specification 45 . Because these methods require a linear life cycle and prior knowledge of the exact requirements, they are rarely used in the development of software with very high requirements regarding safety or security 46,47 …”

Section: Theoretical Backgroundmentioning

confidence: 99%

See 1 more Smart Citation

User‐centered approaches in software development processes: Qualitative research into the practice of Hungarian companies

Szabó

Hercegfi

2022

J Software Evolu Process

View full text Add to dashboard Cite

Integrating user‐centered approaches into development processes is one of the main challenges nowadays that derives from different objectives of software engineering (SE) and human‐computer interaction (HCI) fields. For SE experts, the main goal is quality code creation, whereas for HCI professionals, it is the continuous product interaction with the users. The major question is what tools and timings can be used together to achieve these goals effectively. Therefore, this article provides comparative, exploratory, and qualitative research about possible solutions on how practitioners transfer HCI values and practices to SE processes. The current practice of software companies was studied by conducting interviews on a sample of 13 Hungarian Information Technology companies to explore the SE processes in respect of several dimensions (applied development models, the integrity of user‐centered methods, and the user experience [UX] maturity). According to preliminary expectations, the development processes of the various companies proceed in different steps; nevertheless, they can be well grouped together based on the UX methods applied. The results representing the various user‐centered processes can be considered useful for future decision makers of software companies worldwide.

show abstract

Section: Methodology-driven Sdlc Modelsmentioning

confidence: 99%

Section: Theoretical Backgroundmentioning

confidence: 99%

User‐centered approaches in software development processes: Qualitative research into the practice of Hungarian companies

Szabó

Hercegfi

2022

J Software Evolu Process

View full text Add to dashboard Cite

show abstract

“…An intelligent control framework, which is part of the architecture of smart NPPs, is proposed based on secure embedded intelligence (SEI) [111] where operations such as remote operations, autonomous control are available. For a better and more reliable autonomous control system, it seems human knowledge constraints may be helpful [112].…”

Section: ) Autonomous Control For Fixed Proceduresmentioning

confidence: 99%

Nuclear Power Plants With Artificial Intelligence in Industry 4.0 Era: Top-Level Design and Current Applications—A Systemic Review

Lyu

Zhang

et al. 2020

IEEE Access

View full text Add to dashboard Cite

Nuclear energy can make an important contribution to low-carbon energy supply for Industry 4.0, while Industry 4.0 can reform this industry in return. As a typical and complex man-machine-network integration system, various faults, insufficient automation and stressed human operators limit the further popularization of nuclear power plants (NPPs) while these issues can be addressed by the aid of artificial intelligence (AI) technologies. In this work, we try to present a systemic review of how AI can benefit NPPs in a top-to-down fashion. We discuss limitations in current NPPs and introduce the concept of Nuclear Power Plant Human-Cyber-Physical System (NPPHCPS) as the top-level design. Then, we category AI-related nuclear power applications into Physical-Plant-Centered and Human-Operator-Centered technologies and review research works from 7 typical NPP functional scenarios in the recent two decades. In each NPP functional scenario, how researchers integrate AI into NPPs is presented following timeline. We hope this review can be used as the guideline for NPPs' Design in the future and contribute to green Industry 4.0.

show abstract

Modeling and verification of running process control for underground mine locomotive

Zhu

Jian-jun

Zhao

et al. 2020

Computers & Electrical Engineering

View full text Add to dashboard Cite

Formal development of an operation monitoring and control system for nuclear reactors using Event‐B method

Cited by 5 publications

References 30 publications

User‐centered approaches in software development processes: Qualitative research into the practice of Hungarian companies

User‐centered approaches in software development processes: Qualitative research into the practice of Hungarian companies

Nuclear Power Plants With Artificial Intelligence in Industry 4.0 Era: Top-Level Design and Current Applications—A Systemic Review

Modeling and verification of running process control for underground mine locomotive

Contact Info

Product

Resources

About