scholarly journals Model-Driven Architectural Framework towards Safe and Secure Nuclear Power Reactors

Sensors ◽  
2021 ◽  
Vol 21 (15) ◽  
pp. 5136
Author(s):  
Bassem Ouni ◽  
Christophe Aussagues ◽  
Saadia Dhouib ◽  
Chokri Mraidha
Keyword(s):  
Nuclear Power ◽  
Nuclear Reactors ◽  
System Development ◽  
Levels Of Abstraction ◽  
Model Driven ◽  
Case System ◽  
Architectural Framework ◽  
Performance Check ◽  
High Level ◽  
Different Levels

Sensor-based digital systems for Instrumentation and Control (I&C) of nuclear reactors are quite complex in terms of architecture and functionalities. A high-level framework is highly required to pre-evaluate the system’s performance, check the consistency between different levels of abstraction and address the concerns of various stakeholders. In this work, we integrate the development process of I&C systems and the involvement of stakeholders within a model-driven methodology. The proposed approach introduces a new architectural framework that defines various concepts, allowing system implementations and encompassing different development phases, all actors, and system concerns. In addition, we define a new I&C Modeling Language (ICML) and a set of methodological rules needed to build different architectural framework views. To illustrate this methodology, we extend the specific use of an open-source system engineering tool, named Eclipse Papyrus, to carry out many automation and verification steps at different levels of abstraction. The architectural framework modeling capabilities will be validated using a realistic use case system for the protection of nuclear reactors. The proposed framework is able to reduce the overall system development cost by improving links between different specification tasks and providing a high abstraction level of system components.

scholarly journals Novel Model-Based approach for instrumentation and control of nuclear reactors

2021 ◽  
Vol 253 ◽  
pp. 05003
Author(s):  
Bassem Ouni ◽  
Christophe Aussagues ◽  
Saadia Dhouib ◽  
Chokri Mraidha
Keyword(s):  
Nuclear Reactors ◽  
System Development ◽  
Source Model ◽  
System Specification ◽  
Levels Of Abstraction ◽  
Model Based ◽  
Digital Instrumentation ◽  
High Level ◽  
And Control ◽  
Different Levels

Technological platforms dedicated for digital instrumentation and control of nuclear reactors are quite complex in terms of functionalities and devices. Hence, the design of these platforms requires high-level abstraction layers able to reduce the complexity, to rise the automation and to check the consistency between different development stages. The development of such systems is a challenging task that requires modeling of various components at different levels of abstraction and viewpoints, notably functional, hardware and software levels. In this paper, a new system engineering methodology is proposed to provide high-level models of different components and inter/intra-communication between them. These models are used for system specification, architecture design, performance evaluation or verification and validation. This approach focuses on the internal behavior of different components at different levels of abstraction in order to enable the interoperability of these components and to enhance cooperation between different stakeholders of the development process. An experimental setup has been carried out to validate this approach by customizing an open source model based engineering tool, Eclipse Papyrus, towards a significant reduction of system development cost in terms of engineering resources and equipment devices.

Development Trends in Nuclear Technology and Related Safety Aspects

2002 ◽  
Author(s):  
B. Kuczera ◽  
P. E. Juhn ◽  
K. Fukuda
Keyword(s):  
Nuclear Power ◽  
Power Plants ◽  
Fuel Cycle ◽  
Nuclear Reactors ◽  
Nuclear Technology ◽  
User Requirements ◽  
Safety Standards ◽  
Safety Requirements ◽  
Fuel Cycles ◽  
High Level

The IAEA Safety Standards Series include, in a hierarchical manner, the categories of Safety Fundamentals, Safety Requirements and Safety Guides, which define the elements necessary to ensure the safety of nuclear installations. In the same way as nuclear technology and scientific knowledge advance continuously, also safety requirements may change with these advances. Therefore, in the framework of the International Project on Innovative Nuclear Reactors and Fuel Cycles (INPRO) one important aspect among others refers to user requirements on the safety of innovative nuclear installations, which may come into operation within the next fifty years. In this respect, the major objectives of the INPRO subtask “User Requirements and Nuclear Energy Development Criteria in the Area of Safety” have been: a. to overview existing national and international requirements in the safety area, b. to define high level user requirements in the area of safety of innovative nuclear technologies, c. to compile and to analyze existing innovative reactor and fuel cycle technology enhancement concepts and approaches intended to achieve a high degree of safety, and d. to identify the general areas of safety R&D needs for the establishment of these technologies. During the discussions it became evident that the application of the defence in depth strategy will continue to be the overriding approach for achieving the general safety objective in nuclear power plants and fuel cycle facilities, where the emphasis will be shifted from mitigation of accident consequences more towards prevention of accidents. In this context, four high level user requirements have been formulated for the safety of innovative nuclear reactors and fuel cycles. On this basis safety strategies for innovative reactor designs are highlighted in each of the five levels of defence in depth and specific requirements are discussed for the individual components of the fuel cycle.

scholarly journals Algorithm Development for Distributed Memory Multicomputers Using CONLAB

1992 ◽  
Vol 1 (2) ◽  
pp. 185-203 ◽  
Author(s):  
Peter Jacobson ◽  
Bo Kågström ◽  
Mikael Rännar
Keyword(s):  
Distributed Memory ◽  
Computer Architectures ◽  
Parallel Computer ◽  
Levels Of Abstraction ◽  
Wide Audience ◽  
Development Methodology ◽  
Target Architecture ◽  
Real Performance ◽  
High Level ◽  
Different Levels

CONLAB (CONcurrent LABoratory) is an environment for developing algorithms for parallel computer architectures and for simulating different parallel architectures. A user can experimentally verify and obtain a picture of the real performance of a parallel algorithm executing on a simulated target architecture. CONLAB gives a high-level support for expressing computations and communications in a distributed memory multicomputer (DMM) environment. A development methodology for DMM algorithms that is based on different levels of abstraction of the problem, the target architecture, and the CONLAB language itself is presented and illustrated with two examples. Simulotion results for and real experiments on the Intel iPSC/2 hypercube are presented. Because CONLAB is developed to run on uniprocessor UNIX workstations, it is an educational tool that offers interactive (simulated) parallel computing to a wide audience.

Model-Driven Design and ASM-Based Validation of Embedded Systems

2010 ◽  
pp. 24-54 ◽  
Author(s):  
Angelo Gargantini ◽  
Elvinia Riccobene ◽  
Patrizia Scandurra
Keyword(s):  
Embedded System ◽  
Graphical Models ◽  
Code Generation ◽  
Formal Method ◽  
System Level ◽  
Levels Of Abstraction ◽  
Model Driven ◽  
The Embedded System ◽  
On Chip ◽  
High Level

In the embedded system and System-on-Chip (SoC) design area, the increasing technological complexity coupled with requests for more performance and shorter time to market have caused a high interest for new methods, languages and tools capable of operating at higher levels of abstraction than the conventional system level. This chapter presents a model-driven and tool-assisted development process of SoCs, which is based on high-level UML design of system components, guarantees SystemC code generation from graphical models, and allows validation of system behaviors on formal models automatically derived from UML models. An environment for system design and analysis is also presented, which is based on a UML profile for SystemC and the Abstract State Machine formal method.

High-Level Modeling to Support Software Design Choices

2013 ◽  
pp. 155-175
Author(s):  
Gerrit Muller
Keyword(s):  
Software Design ◽  
Quantitative Information ◽  
Exception Handling ◽  
It Services ◽  
Levels Of Abstraction ◽  
Model Driven ◽  
Mathematical Formulas ◽  
High Level Modeling ◽  
High Level ◽  
System Context

The IT industry is suffering from severe budget overruns and ill-performing IT services. Some of the problems that have caused IT project disasters could have been anticipated in the early project phases and mitigated in the project follow-up by modeling the system context and the software design. This chapter shows how to make models of varied views and at varied levels of abstraction to guide software design choices. Models of the enterprise provide understanding of the objectives. Models of the specification provide understanding of system performance and behavior. Models of the design provide understanding of design choices, such as the allocation of functions, resource usage, selection of mechanisms for communication, instantiation, synchronization, security, exception handling, and many more aspects. High-level models are simple models with the primary goal to support understanding, analysis, communication, and decision making. The models have various complementary representations and formats, e.g. visual diagrams, mathematical formulas, and quantitative information and graphs. Model-driven and model-based engineering approaches focus mostly on artifacts to analyze and synthesize software and hardware. High-level models complement model driven approaches by linking the system context to more detailed design decisions. High-level modeling as discussed in this chapter is based on research performed in industrial settings; the so-called industry-as-laboratory approach.

High-Level Modeling to Support Software Design Choices

2014 ◽  
pp. 1440-1460
Author(s):  
Gerrit Muller
Keyword(s):  
Software Design ◽  
Quantitative Information ◽  
Exception Handling ◽  
It Services ◽  
Levels Of Abstraction ◽  
Model Driven ◽  
Mathematical Formulas ◽  
High Level Modeling ◽  
High Level ◽  
System Context

The IT industry is suffering from severe budget overruns and ill-performing IT services. Some of the problems that have caused IT project disasters could have been anticipated in the early project phases and mitigated in the project follow-up by modeling the system context and the software design. This chapter shows how to make models of varied views and at varied levels of abstraction to guide software design choices. Models of the enterprise provide understanding of the objectives. Models of the specification provide understanding of system performance and behavior. Models of the design provide understanding of design choices, such as the allocation of functions, resource usage, selection of mechanisms for communication, instantiation, synchronization, security, exception handling, and many more aspects. High-level models are simple models with the primary goal to support understanding, analysis, communication, and decision making. The models have various complementary representations and formats, e.g. visual diagrams, mathematical formulas, and quantitative information and graphs. Model-driven and model-based engineering approaches focus mostly on artifacts to analyze and synthesize software and hardware. High-level models complement model driven approaches by linking the system context to more detailed design decisions. High-level modeling as discussed in this chapter is based on research performed in industrial settings; the so-called industry-as-laboratory approach.

scholarly journals DEVELOPING DISTRIBUTED SERVICES USING AN ASPECT ORIENTED MODEL DRIVEN FRAMEWORK

2006 ◽  
Vol 15 (04) ◽  
pp. 535-564 ◽  
Author(s):  
ARNOR SOLBERG ◽  
DEVON SIMMONDS ◽  
RAGHU REDDY ◽  
ROBERT FRANCE ◽  
SUDIPTO GHOSH ◽  
...  
Keyword(s):  
Specific Model ◽  
Levels Of Abstraction ◽  
Distributed Services ◽  
Model Driven ◽  
Banking Service ◽  
Pervasive System ◽  
Separation Of Concern ◽  
Services And Supports ◽  
Different Levels ◽  
Independent Model

To manage the development of cooperative information systems that support the dynamics and mobility of modern businesses, separation of concern mechanisms and abstractions are needed. Model driven development (MDD) approaches utilize abstraction and transformation to handle complexity. In MDD, specifying transformations between models at various levels of abstraction can be a complex task. Specifying transformations for pervasive system services that are tangled with other system services is particularly difficult because the elements to be transformed are distributed across a model. This paper presents an aspect oriented model driven framework (AOMDF) that facilitates separation of pervasive services and supports their transformation across different levels of abstraction. The framework facilitates composition of pervasive services with enterprise services at various levels of abstraction. The framework is illustrated using an example in which a platform independent model of a banking service is transformed to a platform specific model.

scholarly journals ARE THE HYBRID NUCLEAR REACTORS THE ANSWER FOR THE FUTURE ENERGY NEEDS?

2020 ◽  
pp. 40-49
Author(s):  
Alexander Blagoev
Keyword(s):  
Energy Production ◽  
Nuclear Power ◽  
Nuclear Reactors ◽  
Driven Systems ◽  
Energy Needs ◽  
Reasonable Cost ◽  
High Level ◽  
Near Future ◽  
Hybrid Reactors ◽  
Hybrid Fusion

Now the chances to get the energy released by the transformation of nuclei (fusion and fission) are significantly larger than they were 10 or 20 years ago due to the development of the hybrid nuclear reactors. They can provide energy with abundant resource, safe, and clean at reasonable cost. The research in nuclear fusion shows that several of the present day plasma devises (both stationary and pulse) have the potential to become the background of a hybrid (fusion-fission) industrial facility for energy production. They will burn the high-level radioactive waste, thus closing the nuclear cycle and will hinder the spread of hazardous materials. A breakthrough in nuclear power is expected in the near future, whichever of the three technologies - fast neutron reactors, accelerators driven systems or fusion-fission hybrid reactors will prove to be the most technologically or economically viable base for hybrid reactors.

A Framework for Developing Cyber-Physical Systems

2017 ◽  
Vol 27 (09n10) ◽  
pp. 1361-1386 ◽  
Author(s):  
Xudong He ◽  
Zhijiang Dong ◽  
Heng Yin ◽  
Yujian Fu
Keyword(s):  
Quality Assurance ◽  
Model Checking ◽  
System Development ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Model Driven ◽  
Domain Specific ◽  
High Level ◽  
Model Driven Approach ◽  
Oriented Approach

Cyber-physical systems (CPSs) are pervasive in our daily life from mobile phones to auto-driving cars. CPSs are inherently complex due to their sophisticated behaviors and thus difficult to build. In this paper, we propose a framework to develop CPSs based on a model-driven approach with quality assurance throughout the development process. An agent-oriented approach is used to model individual physical and computation processes using high-level Petri nets, and an aspect-oriented approach is used to integrate individual models. The Petri net models are systematically mapped to classes and threads in Java, which are enhanced and extended with domain-specific functionalities. Complementary quality assurance techniques are applied throughout system development and deployment, including simulation and model checking of design models, model checking of Java code, and runtime verification of Java executable. We demonstrate our framework using a car parking system.

Sign in / Sign up

Export Citation Format

Share Document