Formally Verified Firmware Modules for Industrial Process Automation

Safe Comp 95 ◽  
1995 ◽  
pp. 206-218
Author(s):  
Wolfgang A. Halang ◽  
Bernd J. Krämer ◽  
Norbert Völker
Keyword(s):  
Industrial Process ◽  
Process Automation

Blockchain-Based Industrial Internet of Things for the Integration of Industrial Process Automation Systems

2021 ◽  
pp. 163-186
Author(s):  
Charles Tim Batista Garrocho ◽  
Célio Márcio Soares Ferreira ◽  
Carlos Frederico Marcelo da Cunha Cavalcanti ◽  
Ricardo Augusto Rabelo Oliveira
Keyword(s):  
Internet Of Things ◽  
Industrial Process ◽  
Industrial Processes ◽  
Process Automation ◽  
Industrial Internet Of Things ◽  
Industrial Internet ◽  
Automation Systems ◽  
Machine Communication ◽  
Time Systems ◽  
The Impact

The industrial internet of things is expected to attract significant investment to the industry. In this new environment, blockchain presents immediate potential in industrial IoT applications, offering several benefits to industrial cyber-physical systems. However, works in the blockchain literature target environments that do not meet the reality of the factory and do not assess the impact of the blockchain on industrial process requirements. Thus, this chapter presents an investigation of the evolution of industrial process automation systems and blockchain-based applications in the horizontal and vertical integration of the various systems in a supply chain and factories. In addition, through an investigation of experimental work, this work presents issues and challenges to be faced for the application of blockchain in industrial processes. Evaluations and discussions are mainly focused on aspects of real-time systems in machine-to-machine communication of industrial processes.

Reversive Approach to the Design of Industrial Process Automation Systems

2021 ◽  
Author(s):  
Irina I. Kashirskaya ◽  
Irina E. Voronina ◽  
Elena N. Desyatirikova ◽  
Vladimir E. Mager
Keyword(s):  
Industrial Process ◽  
Process Automation ◽  
Automation Systems

Real-Time Cluster Resources Scheduling Strategy in WIA-PA Networks

2014 ◽  
Vol 989-994 ◽  
pp. 4253-4260 ◽  
Author(s):  
Yu Ping Sun ◽  
Ming Jie Fang ◽  
Jian Hua Sun
Keyword(s):  
Real Time ◽  
Edge Coloring ◽  
Industrial Process ◽  
Optimal Routing ◽  
Process Automation ◽  
Mesh Structure ◽  
Scheduling Strategy ◽  
Routing Mechanism ◽  
Automation Control ◽  
Hybrid Management

WIA-PA network is a kind of multi-hop wireless network, which is specially designed for industrial process automation control. It uses hybrid management pattern with star and mesh structure. Intra-cluster and inter-cluster communication is scheduled simultaneously based on TDMA as well as FDMA. In this paper, a real-time cluster resources scheduling strategy for WIA-PA networks is proposed and the specific algorithm is implemented by edge-coloring. Our algorithm combines with optimal routing mechanism and arranges the order of links reasonably, resulting in avoiding conflict and improving the original communication success rate. Furthermore, the algorithm makes full use of channel resources, which greatly reduces end-to-end delay. The performance analysis shows that our algorithm is close to optimal for WIA-PA networks. In addition, compared with RSCA algorithm, our algorithm has lower latency and higher network throughput.

Design and Analysis of Multimodel-Based Anomaly Intrusion Detection Systems in Industrial Process Automation

2015 ◽  
Vol 45 (10) ◽  
pp. 1345-1360 ◽  
Author(s):  
Chunjie Zhou ◽  
Shuang Huang ◽  
Naixue Xiong ◽  
Shuang-Hua Yang ◽  
Huiyun Li ◽  
...  
Keyword(s):  
Intrusion Detection ◽  
Industrial Process ◽  
Intrusion Detection Systems ◽  
Process Automation ◽  
Detection Systems ◽  
Anomaly Intrusion Detection
Sign in / Sign up

Export Citation Format

Share Document