Generic Design Methodology for Smart Manufacturing Systems From a Practical Perspective. Part II—Systematic Designs of Smart Manufacturing Systems

In a traditional system paradigm, an enterprise reference model provides the guide for practitioners to select manufacturing elements, configure elements into a manufacturing system, and model system options for evaluation and comparison of system solutions against given performance metrics. However, a smart manufacturing system aims to reconfigure different systems in achieving high-level smartness in its system lifecycle; moreover, each smart system is customized in terms of the constraints of manufacturing resources and the prioritized performance metrics to achieve system smartness. Few works were found on the development of systematic methodologies for the design of smart manufacturing systems. The novel contributions of the presented work are at two aspects: (1) unified definitions of digital functional elements and manufacturing systems have been proposed; they are generalized to have all digitized characteristics and they are customizable to any manufacturing system with specified manufacturing resources and goals of smartness and (2) a systematic design methodology has been proposed; it can serve as the guide for designs of smart manufacturing systems in specified applications. The presented work consists of two separated parts. In the first part of paper, a simplified definition of smart manufacturing (SM) is proposed to unify the diversified expectations and a newly developed concept digital triad (DT-II) is adopted to define a generic reference model to represent essential features of smart manufacturing systems. In the second part of the paper, the axiomatic design theory (ADT) is adopted and expanded as the generic design methodology for design, analysis, and assessment of smart manufacturing systems. Three case studies are reviewed to illustrate the applications of the proposed methodology, and the future research directions towards smart manufacturing are discussed as a summary in the second part

A Security Analysis of Cyber-Physical Systems Architecture for Healthcare

This paper surveys the available system architectures for cyber-physical systems. Several candidate architectures are examined using a series of essential qualities for cyber-physical systems for healthcare. Next, diagrams detailing the expected functionality of infusion pumps in two of the architectures are analyzed. The STRIDE Threat Model is then used to decompose each to determine possible security issues and how they can be addressed. Finally, a comparison of the major security issues in each architecture is presented to help determine which is most adaptable to meet the security needs of cyber-physical systems in healthcare

RAMARL: Robustness Analysis with Multi-Agent Reinforcement Learning - Robust Reasoning in Autonomous Cyber-Physical Systems

A key driver to offering smart services is an infrastructure of Cyber-Physical systems (CPS)s. By definition, CPSs are intertwined physical and computational components that integrate physical behaviour with computation. The reason is to autonomously execute a task or a set of tasks providing a service or a list of end-users services. In real-life applications, CPSs operate in dynamically changing surroundings characterized by unexpected or unpredictable situations. Such operations involve complex interactions between multiple intelligent agents in a highly non-stationary environment. For safety reasons, a CPS should withstand a certain amount of disruption and exert the operations in a stable and robust manner when performing complex tasks. Recent advances in reinforcement learning have proven suitable for enabling multi-agents to robustly adapt to their environment, yet they often depend on a massive amount of training data and experiences. In these cases, robustness analysis outlines necessary components and specifications in a framework, ensuring reliable and stable behaviour while considering the dynamicity of the environment. This paper presents a combination of multi-agent reinforcement learning with robustness analysis shaping a cyber-physical system infrastructure that reasons robustly in a dynamically changing environment. The combination strengthens the reinforcement learning, increasing the reliability and flexibility of the system by applying robustness analysis. Robustness analysis identifies vulnerability issues when the system interacts within a dynamically changing environment. Based on this identification, when incorporated into the system, robustness analysis suggests robust solutions and actions rather than optimal ones provided by reinforcement learning alone. Results from the combination show that this infrastructure can enable reliable operations with the flexibility to adapt to the changing environment dynamics.publishedVersio

Blockchain-based Security Framework for Critical Industry 4.0 Cyber-physical System

There has been an intense concern for security alternatives because of the recent rise of cyber attacks, mainly targeting critical systems such as industry, medical, or energy ecosystem. Though the latest industry infrastructures largely depend on AI-driven maintenance, the prediction based on corrupted data undoubtedly results in loss of life and capital. Admittedly, an inadequate data-protection mechanism can readily challenge the security and reliability of the network. The shortcomings of the conventional cloud or trusted certificate-driven techniques have motivated us to exhibit a unique Blockchain-based framework for a secure and efficient industry 4.0 system. The demonstrated framework obviates the long-established certificate authority after enhancing the consortium Blockchain that reduces the data processing delay, and increases cost-effective throughput. Nonetheless, the distributed industry 4.0 security model entails cooperative trust than depending on a single party, which in essence indulges the costs and threat of the single point of failure. Therefore, multi-signature technique of the proposed framework accomplishes the multi-party authentication, which confirms its applicability for the real-time and collaborative cyber-physical system.Comment: 07 Pages, 4 Figures, IEEE Communication Magazin

Connecting the Cerebral and Heartfelt: Integrating Creative Problem Solving and Design Thinking

This paper reviews scholarly resources and industry articles exploring the challenges of understanding and implementing design thinking. Drawing upon these findings, I will develop a novel framework that connects the cerebral and heartfelt aspects of Creative Problem Solving with the more empathetic design thinking methodology. The purpose of this endeavor is twofold: first, to capture my understanding of the intellectual and emotional experiences encountered during a creative problem-solving journey, and second, to establish a unique human-centered design thinking framework that works to integrate elements of Creative Problem Solving, the Thinking Skills Model, providing a fresh perspective to tackle frequent obstacles in comprehension and execution. Ultimately, this visualization and narrative will serve as a solid foundation for enhancing my future endeavors in facilitating, training, and writing on the subject

A type system for formal verification of cyber-physical systems C/C++ software

The subject: This study focuses on improving the quality of Cyber-Physical System (CPS) software by eliminating incorrect usage of units of measurement and orientation in C/C++ programs. Incorrect usage often leads to critical errors that conventional systems cannot effectively prevent. Manual examination of code using dimensional and orientation analysis can detect these errors in physical equations, but these methods become impractical when dealing with complex physical computations. Objectives: As suggested by Siano, the proposed approach uses physical quantities and prefixes defined by the International System of Units and orientation operations on physical objects. The elaborated system incorporates dimensional and orientation analysis and metaprogramming techniques. The methods used are dimensional & orientational analysis and metaprogramming. The following results were obtained: ensuring consistency of the units, incorporating orientation operations into the programming model for accurately handling physical object rotations and alignments, and using Siano’s work to precisely manipulate object orientation, thereby reducing the likelihood of orientation-related errors. Checking physical dimensions and orientations during the compilation stage identifies potential software defects before code execution, thereby reducing debugging time and lowering the cost of addressing issues later in development. The elaborated system represents a crucial step towards safer and more dependable Cyber-Physical System applications. This approach allows us to identify approximately 90% of incorrect usage of program variables; additionally, it detects over 50% of erroneous operations during compilation and execution of large-scale programs in real-world conditions. Conclusions. Scientific novelty: it proposed and developed a specialized C++-type library for formal compile-time software verification of Cyber-Physical Systems software. The proposed C++-type library leverages dimensional and orientational analysis to enhance software quality, reliability, and real-time formal verification. Although the proposed method for formal verification is not tailor-made for cyber-physical objects and systems, given its primary focus on software-level concerns, it does exhibit adaptability for verifying general-purpose software that incorporates various physical parameters. This versatility extends to diverse domains such as educational, gaming, and simulation software

Towards a Theory for Bio - Cyber Physical Systems Modelling

International audienceCurrently, CyberPhysical Systems (CPS) represents a great challenge for automatic control and smart systems engineering on both theoretical and practical levels. Designing CPS requires approaches involving multidisciplinary competences. However they are designed to be autonomous, the CPS present a part of uncertainty, which requires interaction with human for engineering, monitoring, controlling, performing operational maintenance, etc. This human-CPS interaction led naturally to the human in-the-loop (HITL) concept. Nevertheless, this HITL concept , which stems from a reductionist point of view, exhibits limitations due to the different natures of the systems involved. As opposed to this classical approach, we propose, in this paper, a model of Bio-CPS (i.e. systems based on an integration of computational elements within biological systems) grounded on theoretical biology, physics and computer sciences and based on the key concept of human systems integration

CPPS-3D: a methodology to support cyber physical production systems design, development and deployment

Master’s dissertation in Production EngineeringCyber-Physical Production Systems are widely recognized as the key to unlock the full potential benefits of the Industry 4.0 paradigm. Cyber-Physical Production Systems Design, Development and Deployment methodology is a systematic approach in assessing necessities, identifying gaps and then designing, developing and deploying solutions to fill such gaps. It aims to support and drive enterprise’s evolution to the new working environment promoted by the availability of Industry 4.0 paradigms and technologies while challenged by the need to increment a continuous improvement culture. The proposed methodology considers the different dimensions within enterprises related with their levels of organization, competencies and technology. It is a two-phased sequentially-stepped process to enable discussion, reflection/reasoning, decision-making and action-taking towards evolution. The first phase assesses an enterprise across its Organizational, Technological and Human dimensions. The second phase establishes sequential tasks to successfully deploy solutions. Is was applied to a production section at a Portuguese enterprise with the development of a new visual management system to enable shop floor management. This development is presented as an example of Industry 4.0 technology and it promotes a faster decision-making, better production management, improved data availability as well as fosters more dynamic workplaces with enhanced reactivity to problems