scholarly journals Application Development for Cyber-Physical Systems: Programming Language Concepts and Case Studies

2011 ◽  
Author(s):  
Tamim Sookoor
Keyword(s):  
Case Studies ◽  
Programming Language ◽  
Cyber Physical Systems ◽  
Application Development ◽  
Physical Systems ◽  
Systems Programming

A resource-oriented middleware in a prototype cyber-physical manufacturing system

2017 ◽  
Vol 232 (13) ◽  
pp. 2339-2352 ◽  
Author(s):  
Chao Liu ◽  
Pingyu Jiang ◽  
Chaoyang Zhang
Keyword(s):  
Data Acquisition ◽  
Cyber Physical Systems ◽  
Application Development ◽  
Heterogeneous Sensors ◽  
Physical Systems ◽  
Enabling Technologies ◽  
Application Programming ◽  
Low Efficiency ◽  
Key Enabling Technologies ◽  
Access Right

The interconnection among heterogeneous sensors and data acquisition equipment in cyber-physical systems have profound significance in achieving adaptability, flexibility, and transparency. Various middlewares have been developed in cyber-physical systems to collect, aggregate, correlate, and translate system monitoring data. Existing middleware solutions are normally highly customized, which face several challenges due to the highly dynamic and harsh production environments. The data generated by sensors can only be shared by specific applications, which prevents the reusability of sensors. Moreover, the lack of uniform access to sensors causes high cost and low efficiency in application development. To address these issues, a resource-oriented middleware architecture called ROMiddleware was proposed, and three key enabling technologies including heterogeneous sensor modeling and grouping, open application programming interfaces development, and token-based access right control mechanism have been developed. Under the guidance of the key enabling technologies, a prototype of ROMiddleware was implemented and its performance was evaluated. Finally, two applications were developed to stress the significance of ROMiddleware. The results show that ROMiddleware can meet the requirements of data acquisition in cyber-physical systems.

scholarly journals A GRL-compliant iStar extension for collaborative cyber-physical systems

2021 ◽  
Author(s):  
Marian Daun ◽  
Jennifer Brings ◽  
Lisa Krajinski ◽  
Viktoria Stenkova ◽  
Torsten Bandyszak
Keyword(s):  
Case Studies ◽  
Cyber Physical Systems ◽  
Modeling Language ◽  
Abstract Syntax ◽  
Goal Modeling ◽  
Physical Systems ◽  
Modeling Approaches ◽  
Concrete Syntax ◽  
The Individual ◽  
Do So

AbstractCollaborative cyber-physical systems are capable of forming networks at runtime to achieve goals that are unachievable for individual systems. They do so by connecting to each other and exchanging information that helps them coordinate their behaviors to achieve shared goals. Their highly complex dependencies, however, are difficult to document using traditional goal modeling approaches. To help developers of collaborative cyber-physical systems leverage the advantages of goal modeling approaches, we developed a GRL-compliant extension to the popular iStar goal modeling language that takes the particularities of collaborative cyber-physical systems and their developers’ needs into account. In particular, our extension provides support for explicitly distinguishing between the goals of the individual collaborative cyber-physical systems and the network and for documenting various dependencies not only among the individual collaborative cyber-physical systems but also between the individual systems and the network. We provide abstract syntax, concrete syntax, and well-formedness rules for the extension. To illustrate the benefits of our extension for goal modeling of collaborative cyber-physical systems, we report on two case studies conducted in different industry domains.

scholarly journals Structured Proofs for Adversarial Cyber-Physical Systems

2021 ◽  
Vol 20 (5s) ◽  
pp. 1-26
Author(s):  
Brandon Bohrer ◽  
André Platzer
Keyword(s):  
Hybrid Systems ◽  
Differential Game ◽  
Programming Language ◽  
First Language ◽  
Cyber Physical Systems ◽  
Proof Checking ◽  
Game Logic ◽  
Physical Systems ◽  
Safety Critical ◽  
High Level

Many cyber-physical systems (CPS) are safety-critical, so it is important to formally verify them, e.g. in formal logics that show a model’s correctness specification always holds. Constructive Differential Game Logic ( CdGL ) is such a logic for (constructive) hybrid games, including hybrid systems. To overcome undecidability, the user first writes a proof, for which we present a proof-checking tool. We introduce Kaisar , the first language and tool for CdGL proofs, which until now could only be written by hand with a low-level proof calculus. Kaisar’s structured proofs simplify challenging CPS proof tasks, especially by using programming language principles and high-level stateful reasoning. Kaisar exploits CdGL ’s constructivity and refinement relations to build proofs around models of game strategies. The evaluation reproduces and extends existing case studies on 1D and 2D driving. Proof metrics are compared and reported experiences are discussed for the original studies and their reproductions.

Experience based knowledge representation for Internet of Things and Cyber Physical Systems with case studies

2019 ◽  
Vol 92 ◽  
pp. 604-616 ◽  
Author(s):  
Cesar Sanin ◽  
Zhang Haoxi ◽  
Imran Shafiq ◽  
Md Maqbool Waris ◽  
Caterine Silva de Oliveira ◽  
...  
Keyword(s):  
Internet Of Things ◽  
Knowledge Representation ◽  
Case Studies ◽  
Cyber Physical Systems ◽  
Physical Systems

Resource sharing in cyber-physical systems: modelling framework and case studies

2016 ◽  
Vol 54 (23) ◽  
pp. 6969-6983 ◽  
Author(s):  
Ashutosh Nayak ◽  
Rodrigo Reyes Levalle ◽  
Seokcheon Lee ◽  
Shimon Y. Nof
Keyword(s):  
Case Studies ◽  
Resource Sharing ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Modelling Framework ◽  
Systems Modelling

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

Sign in / Sign up

Export Citation Format

Share Document