Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems

2016 ◽  
pp. 3-11 ◽  
Author(s):  
Alan Burns
Keyword(s):  
Programming Languages ◽  
Expressive Power ◽  
Cyber Physical Systems ◽  
Physical Systems

scholarly journals Programming Languages for End-User Personalization of Cyber-Physical Systems

Automatika ◽  
2012 ◽  
Vol 53 (3) ◽  
pp. 294-310 ◽  
Author(s):  
Siniša Srbljić ◽  
Dejan Škvorc ◽  
Miroslav Popović
Keyword(s):  
Programming Languages ◽  
Cyber Physical Systems ◽  
End User ◽  
Physical Systems ◽  
User Personalization

scholarly journals Creation of a chemical-technological system digital twin using the Python language

2021 ◽  
Vol 16 (91) ◽  
pp. 22-31
Author(s):  
Maksim I. Dli ◽  
◽  
Ekaterina A. Vlasova ◽  
Andrey M. Sokolov ◽  
Elvira V. Morgunova ◽  
...  
Keyword(s):  
Programming Languages ◽  
Programming Language ◽  
Industrial Revolution ◽  
Complex Structure ◽  
Three Dimensional ◽  
Cyber Physical Systems ◽  
Technological System ◽  
Physical Systems ◽  
Digital Twin ◽  
Digital Twins

Currently, when modeling complex technological processes in cyber-physical systems, procedures for creating so-called "digital twins" (DT) have become widespread. DT are virtual copies of real objects which reflect their main properties at various stages of the life cycle. The use of digital twins allows real-time monitoring of the current state of the simulated system, and also provides additional opportunities for engineering and deeper customization of its components to improve the quality of products. The development of the "digital twin" technology is facilitated by the ongoing Fourth Industrial Revolution, which is characterized by the massive introduction of cyber-physical systems into production process. These systems are based on the use of the latest technologies for data processing and presentation and have a complex structure of information chain between its components. When creating digital twins of such systems elements, it is advisable to use programming languages, that allow visualization of simulated processes and provide a convenient and developed apparatus for working with complex mathematical dependencies. The Python programming language has similar characteristics. In the article, as an example of a cyber- physical system, a chemical-technological system based on a horizontal-grate machine is considered. This system is designed to implement the process of producing pellets from the apatite-nepheline ore mining wastes. The article describes various aspects of creating a digital twin of its elements that carry out the chemical-technological drying process in relation to a single pellet. The digital twin is implemented using the Python 3.7.5 programming language and provides the visualization of the process in the form of a three-dimensional interactive model. Visualization is done using the VPython library. The description of the digital twin software operation algorithm is given, as well as the type of the information system interface, the input and output information type, the results of modeling the investigated chemical-technological process. It is shown that the developed digital twin can be used in three versions: independently (Digital Twin Prototype), as an instance of a digital twin (Digital Twin Instance), and also as part of a digital twins set (Digital Twin Aggregate).

Emerging Cyber-Physical Systems : An Overview

2018 ◽  
pp. 306-316
Author(s):  
Okolie S.O. ◽  
Kuyoro S.O. ◽  
Ohwo O. B
Keyword(s):  
Health Care ◽  
Economic Benefit ◽  
Physical World ◽  
Cyber Physical Systems ◽  
Cyber Physical System ◽  
Economic Sectors ◽  
Strategic Research ◽  
Physical Systems ◽  
Security Issues ◽  
Wide Range

Cyber-Physical Systems (CPS) will revolutionize how humans relate with the physical world around us. Many grand challenges await the economically vital domains of transportation, health-care, manufacturing, agriculture, energy, defence, aerospace and buildings. Exploration of these potentialities around space and time would create applications which would affect societal and economic benefit. This paper looks into the concept of emerging Cyber-Physical system, applications and security issues in sustaining development in various economic sectors; outlining a set of strategic Research and Development opportunities that should be accosted, so as to allow upgraded CPS to attain their potential and provide a wide range of societal advantages in the future.

Security of Cyber-Physical Systems: A Generalized Algorithm for Intrusion Detection and Determining Security Robustness of Cyber Physical Systems using Logical Truth Tables

2013 ◽  
Vol 9 ◽  
Author(s):  
Curtis G. Northcutt
Keyword(s):  
Intrusion Detection ◽  
Cyber Security ◽  
Logical Truth ◽  
Cyber Physical Systems ◽  
Security Model ◽  
Security Measures ◽  
Physical Systems ◽  
Multiple Signal ◽  
Security Attack ◽  
Truth Tables

The recent proliferation of embedded cyber components in modern physical systems [1] has generated a variety of new security risks which threaten not only cyberspace, but our physical environment as well. Whereas earlier security threats resided primarily in cyberspace, the increasing marriage of digital technology with mechanical systems in cyber-physical systems (CPS), suggests the need for more advanced generalized CPS security measures. To address this problem, in this paper we consider the first step toward an improved security model: detecting the security attack. Using logical truth tables, we have developed a generalized algorithm for intrusion detection in CPS for systems which can be defined over discrete set of valued states. Additionally, a robustness algorithm is given which determines the level of security of a discrete-valued CPS against varying combinations of multiple signal alterations. These algorithms, when coupled with encryption keys which disallow multiple signal alteration, provide for a generalized security methodology for both cyber-security and cyber-physical systems.

Models of decision support in socio-cyber-physical systems

2019 ◽  
pp. 55-70 ◽  
Author(s):  
A. V. Smirnov ◽  
T. V. Levashova
Keyword(s):  
Decision Making ◽  
Decision Support ◽  
Situation Awareness ◽  
Cyber Physical Systems ◽  
Emergent Behavior ◽  
Emergent Properties ◽  
Decision Making Process ◽  
Physical Systems ◽  
Decision Support Models ◽  
Common Goals

Introduction: Socio-cyber-physical systems are complex non-linear systems. Such systems display emergent properties. Involvement of humans, as a part of these systems, in the decision-making process contributes to overcoming the consequences of the emergent system behavior, since people can use their experience and intuition, not just the programmed rules and procedures.Purpose: Development of models for decision support in socio-cyber-physical systems.Results: A scheme of decision making in socio-cyber-physical systems, a conceptual framework of decision support in these systems, and stepwise decision support models have been developed. The decision-making scheme is that cybernetic components make their decisions first, and if they cannot do this, they ask humans for help. The stepwise models support the decisions made by components of socio-cyber-physical systems at the conventional stages of the decision-making process: situation awareness, problem identification, development of alternatives, choice of a preferred alternative, and decision implementation. The application of the developed models is illustrated through a scenario for planning the execution of a common task for robots.Practical relevance: The developed models enable you to design plans on solving tasks common for system components or on achievement of common goals, and to implement these plans. The models contribute to overcoming the consequences of the emergent behavior of socio-cyber-physical systems, and to the research on machine learning and mobile robot control.

Sign in / Sign up

Export Citation Format

Share Document