633 research outputs found
Digital-Twins towards Cyber-Physical Systems: A Brief Survey
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Physical processes are monitored and controlled by embedded computers and networks, which frequently have feedback loops where physical processes affect computations and vice versa. To ease the analysis of a system, the costly physical plants can be replaced by the high-fidelity virtual models that provide a framework for Digital-Twins (DT). This paper aims to briefly review the state-of-the-art and recent developments in DT and CPS. Three main components in CPS, including communication, control, and computation, are reviewed. Besides, the main tools and methodologies required for implementing practical DT are discussed by following the main applications of DT in the fourth industrial revolution through aspects of smart manufacturing, sixth wireless generation (6G), health, production, energy, and so on. Finally, the main limitations and ideas for future remarks are talked about followed by a short guideline for real-world application of DT towards CPS
Short Paper: Digital Twin Framework Survey and Proposal of Implementation
The digital twin (DT) is widely adopted by the manufacturing and maintenance engineering industry to aid in the simulation and prediction of elements before they occur in real customer life. In this paper, authors look to introduce DT metamodel to support process management. This paper aims to expand set of DT frameworks and justify a framework extension by example of process implementation. To aid in the implementation process, a digital twin framework survey is presented that simplifies the digital twin development process into steps and layers that can be analysed independently
How to connect design thinking and cyber-physical systems: the s*IoT conceptual modelling approach
The alignment of enterprise models and information systems is a factor that influences the efficiency of enterprise practices. Considering the changing landscape in the age of the fourth industrial revolution, it is imperative that alignment methodologies are evolved with the progression of enterprise models and the transformation from information systems to cyber-physical systems (CPSs). This issue was dissected in three layers - scenario layer, modelling layer, and run-time environment. In this structure, design thinking and CPSs were extended from the scenario layer and the run-time environment to the modelling layer. Focusing on the modelling layer, progress was made towards composing smart models that innovate enterprise models according to novel influences from design thinking while abstracting from run-time environments that CPS provide. The hypothesis was to consider the automated transformation of knowledge as an axle around which artifacts on the modelling layer revolve. Based on this hypothesis, the modelling layer was structured in a modelling hierarchy, in which a metamodel was defined using a metamodelling platform. The metamodel is the direct model of modelling methods which were used to build smart models that connect design thinking and CPSs
Conceptualizing a framework for cyber-physical systems of systems development and deployment
ABSTRACT
Cyber-physical systems (CPS) refer to the next generation of
embedded ICT systems that are interconnected, collaborative and that provide users and businesses with a wide range of smart applications and services. Software in CPS applications ranges from small systems to large systems, aka. Systems of Systems (SoS), such as smart grids and cities. CPSoS require managing massive amounts of data, being aware of their emerging behavior, and scaling out to progressively evolve and add new systems. Cloud
computing supports processing and storing massive amounts of
data, hosting and delivering services, and configuring selfprovisioned resources. Therefore, cloud computing is the natural candidate to solve CPSoS needs. However, the diversity of platforms and the low-level cloud programming models make difficult to find a common solution for the development and deployment of CPSoS. This paper presents the architectural foundations of a cloud-centric framework for automating the development and deployment of CPSoS service applications to converge towards a common open service platform for CPSoS applications. This framework relies on the well-known qualities of the microservices architecture style, the autonomic computing paradigm, and the model-driven software development approach. Its implementation and validation is on-going at two European and national projects
An Assurance Framework for Independent Co-assurance of Safety and Security
Integrated safety and security assurance for complex systems is difficult for
many technical and socio-technical reasons such as mismatched processes,
inadequate information, differing use of language and philosophies, etc.. Many
co-assurance techniques rely on disregarding some of these challenges in order
to present a unified methodology. Even with this simplification, no methodology
has been widely adopted primarily because this approach is unrealistic when met
with the complexity of real-world system development.
This paper presents an alternate approach by providing a Safety-Security
Assurance Framework (SSAF) based on a core set of assurance principles. This is
done so that safety and security can be co-assured independently, as opposed to
unified co-assurance which has been shown to have significant drawbacks. This
also allows for separate processes and expertise from practitioners in each
domain. With this structure, the focus is shifted from simplified unification
to integration through exchanging the correct information at the right time
using synchronisation activities
Enterprise Composition Architecture for Micro-Granular Digital Services and Products
The digitization of our society changes the way we live, work, learn, communicate, and collaborate. This defines the strategical context for composing resilient enterprise architectures for micro-granular digital services and products. The change from a closed-world modeling perspective to more flexible open-world composition and evolution of system architectures defines the moving context for adaptable systems, which are essential to enable the digital transformation. Enterprises are presently transforming their strategy and culture together with their processes and information systems to become more digital. The digital transformation deeply disrupts existing enterprises and economies. Since years a lot of new business opportunities appeared using the potential of the Internet and related digital technologies, like Internet of Things, services computing, cloud computing, big data with analytics, mobile systems, collaboration networks, and cyber physical systems. Digitization fosters the development of IT systems with many rather small and distributed structures, like Internet of Things or mobile systems. In this paper, we are focusing on the continuous bottom-up integration of micro-granular architectures for a huge amount of dynamically growing systems and services, like Internet of Things and Microservices, as part of a new digital enterprise architecture. To integrate micro-granular architecture models to living architectural model versions we are extending more traditional enterprise architecture reference models with state of art elements for agile architectural engineering to support the digitalization of services with related products, and their processes
Self-managed Workflows for Cyber-physical Systems
Workflows are a well-established concept for describing business logics and processes in web-based applications and enterprise application integration scenarios on an abstract implementation-agnostic level. Applying Business Process Management (BPM) technologies to increase autonomy and automate sequences of activities in Cyber-physical Systems (CPS) promises various advantages including a higher flexibility and simplified programming, a more efficient resource usage, and an easier integration and orchestration of CPS devices. However, traditional BPM notations and engines have not been designed to be used in the context of CPS, which raises new research questions occurring with the close coupling of the virtual and physical worlds. Among these challenges are the interaction with complex compounds of heterogeneous sensors, actuators, things and humans; the detection and handling of errors in the physical world; and the synchronization of the cyber-physical process execution models. Novel factors related to the interaction with the physical world including real world obstacles, inconsistencies and inaccuracies may jeopardize the successful execution of workflows in CPS and may lead to unanticipated situations.
This thesis investigates properties and requirements of CPS relevant for the introduction of BPM technologies into cyber-physical domains. We discuss existing BPM systems and related work regarding the integration of sensors and actuators into workflows, the development of a Workflow Management System (WfMS) for CPS, and the synchronization of the virtual and physical process execution as part of self-* capabilities for WfMSes. Based on the identified research gap, we present concepts and prototypes regarding the development of a CPS WFMS w.r.t. all phases of the BPM lifecycle. First, we introduce a CPS workflow notation that supports the modelling of the interaction of complex sensors, actuators, humans, dynamic services and WfMSes on the business process level. In addition, the effects of the workflow execution can be specified in the form of goals defining success and error criteria for the execution of individual process steps. Along with that, we introduce the notion of Cyber-physical Consistency. Following, we present a system architecture for a corresponding WfMS (PROtEUS) to execute the modelled processes-also in distributed execution settings and with a focus on interactive process management. Subsequently, the integration of a cyber-physical feedback loop to increase resilience of the process execution at runtime is discussed. Within this MAPE-K loop, sensor and context data are related to the effects of the process execution, deviations from expected behaviour are detected, and compensations are planned and executed. The execution of this feedback loop can be scaled depending on the required level of precision and consistency. Our implementation of the MAPE-K loop proves to be a general framework for adding self-* capabilities to WfMSes. The evaluation of our concepts within a smart home case study shows expected behaviour, reasonable execution times, reduced error rates and high coverage of the identified requirements, which makes our CPS~WfMS a suitable system for introducing workflows on top of systems, devices, things and applications of CPS.:1. Introduction 15
1.1. Motivation 15
1.2. Research Issues 17
1.3. Scope & Contributions 19
1.4. Structure of the Thesis 20
2. Workflows and Cyber-physical Systems 21
2.1. Introduction 21
2.2. Two Motivating Examples 21
2.3. Business Process Management and Workflow Technologies 23
2.4. Cyber-physical Systems 31
2.5. Workflows in CPS 38
2.6. Requirements 42
3. Related Work 45
3.1. Introduction 45
3.2. Existing BPM Systems in Industry and Academia 45
3.3. Modelling of CPS Workflows 49
3.4. CPS Workflow Systems 53
3.5. Cyber-physical Synchronization 58
3.6. Self-* for BPM Systems 63
3.7. Retrofitting Frameworks for WfMSes 69
3.8. Conclusion & Deficits 71
4. Modelling of Cyber-physical Workflows with Consistency Style Sheets 75
4.1. Introduction 75
4.2. Workflow Metamodel 76
4.3. Knowledge Base 87
4.4. Dynamic Services 92
4.5. CPS-related Workflow Effects 94
4.6. Cyber-physical Consistency 100
4.7. Consistency Style Sheets 105
4.8. Tools for Modelling of CPS Workflows 106
4.9. Compatibility with Existing Business Process Notations 111
5. Architecture of a WfMS for Distributed CPS Workflows 115
5.1. Introduction 115
5.2. PROtEUS Process Execution System 116
5.3. Internet of Things Middleware 124
5.4. Dynamic Service Selection via Semantic Access Layer 125
5.5. Process Distribution 126
5.6. Ubiquitous Human Interaction 130
5.7. Towards a CPS WfMS Reference Architecture for Other Domains 137
6. Scalable Execution of Self-managed CPS Workflows 141
6.1. Introduction 141
6.2. MAPE-K Control Loops for Autonomous Workflows 141
6.3. Feedback Loop for Cyber-physical Consistency 148
6.4. Feedback Loop for Distributed Workflows 152
6.5. Consistency Levels, Scalability and Scalable Consistency 157
6.6. Self-managed Workflows 158
6.7. Adaptations and Meta-adaptations 159
6.8. Multiple Feedback Loops and Process Instances 160
6.9. Transactions and ACID for CPS Workflows 161
6.10. Runtime View on Cyber-physical Synchronization for Workflows 162
6.11. Applicability of Workflow Feedback Loops to other CPS Domains 164
6.12. A Retrofitting Framework for Self-managed CPS WfMSes 165
7. Evaluation 171
7.1. Introduction 171
7.2. Hardware and Software 171
7.3. PROtEUS Base System 174
7.4. PROtEUS with Feedback Service 182
7.5. Feedback Service with Legacy WfMSes 213
7.6. Qualitative Discussion of Requirements and Additional CPS Aspects 217
7.7. Comparison with Related Work 232
7.8. Conclusion 234
8. Summary and Future Work 237
8.1. Summary and Conclusion 237
8.2. Advances of this Thesis 240
8.3. Contributions to the Research Area 242
8.4. Relevance 243
8.5. Open Questions 245
8.6. Future Work 247
Bibliography 249
Acronyms 277
List of Figures 281
List of Tables 285
List of Listings 287
Appendices 28
Recommended from our members
A Framework for Automatic Dynamic Constraint Verification in Cyber Physical System Modeling Languages
Design of Cyber-Physical Systems (CPSs) involves overlapping the domains of control theory, network communication, and computational algorithms. Involving multiple domains within the same design greatly increases the system complexity. Furthermore, the physical nature of CPSs generally involves important safety constraints where constraint violations can be catastrophic. The design of CPSs benefits from focusing on the construction of abstracted, high-level models in a DomainSpecific Modeling Language (DSML). A Domain-Specific Modeling Environment (DSME) may aid in the design of such complex systems by enforcing structural design constraints during the construction of models. Models built using a DSME may also use compilers or interpreters to produce real working, low-level artifacts that represent the high-level design. Though each model in a DSME may abide by a formal specification, the behavior of a design may violate dynamic constraints if deployed. Engineers are tasked to ensure that models behave safely by implementing their expert knowledge after using appropriate verification tools. Constraint violations may be eliminated by a modification of the model based on verification feedback, known as Dynamic Constraint Feedback (DCF). Mending such constraint violations is a task generally performed by the model designer. Such a process could potentially be automated through the capture of well-known design practices. The challenging task when automating model correction then becomes in the design of a DSML. A designer of a DSML may have a clear understanding of how to design the syntax and semantics for their domain, but there are no formal methods for implementing verification tools for automatic model correction. Such a framework could greatly aid in the selection of available verification tools, implement well-established design methods, and model dynamic constraints. Presented is the Dynamic Constraint Feedback Metamodeling Language (DCFML), a new metamodel to implement DCF upfront in DSML design. This particular solution provides a concrete solution to the abstraction of the various components of DCF, and then appends them to the DSML design process provided by a DSME
Special section Industry 4.0: Challenges for the future in manufacturing
International audienceThe sensing enterprise is a digital business innovation concept making Cyber-Physical Systems, service-oriented architectures and advanced human-computer interactions converge, supporting a more agile, flexible, and proactive management of unexpected events in todayâs global value networks. In essence, it concerns the adoption of future Internet technologies in virtual enterprises. Translating this concept to a general approach to smart systems (smart manufacturing, smart cities, smart logistics, etc.), requires new capabilities by next-generation information systems to perform sensing, modelling, and interpretation of âanyâ signal from the real world, thus providing the systems with higher flexibility and possibilities for reconfiguration (Panetto et al. 2016). Intuitively, a sensing system requires resources and machineries to be constantly monitored, configured, and easily controlled by human operators. All these functions, and much more indeed, are now implemented by the so-called (Industrial) Internet of Things or Cyber-Physical Systems. With the advent of the new cyber-physical system design paradigm, the number and diversity of systems that need to work together in the future enterprises have significantly increased (Weichhart et al. 2016). This trend highlights the need to shift from the classic central control of systems, towards systems interoperability as a capability to control, sense, and perceive distributed and heterogeneous systems and their environments, as well as to purposefully and socially act upon their perceptions. Such a shift could have important consequences on the future architecture design of the control of these systems. The emergence of cloud-based technologies will also have a significant impact on the design and implementation of cyber-physical systems; using such novel technologies, collaborative engineering practises will increase globally, thus enabling a new generation of small-scale industrial organizations to function in an information-centric manner and enabling industry 4.0 transformations (Cimini, et al, 2017). The potential of such technologies in fostering a leaner and more agile approach towards engineering is very high. Engineers and engineering organizations no longer have to be restricted to the availability of advanced processing capabilities, as they can adopt a âpay as you goâ approach, which will enable them to access and use software resources for engineering activities from any remote location in the world
- âŠ