Compositional Engineering Frameworks for Development of Smart Cyber-Physical Systems: A Critical Survey of the Current State of Progression

2018 ◽  
Author(s):  
Imre Horváth ◽  
Sirasak Tepjit ◽  
Zoltán Rusák
Keyword(s):  
Semantic Knowledge ◽  
Cyber Physical Systems ◽  
System Thinking ◽  
Critical Survey ◽  
Critical System ◽  
Physical Systems ◽  
Current State ◽  
Modeling Analysis ◽  
Computational Implementation ◽  
Compositional System

Various system-engineering frameworks (SEFs) have been developed for composable systems, whose overall operation is the sum of the operations of their components. However, smart cyber-physical systems (S-CPSs) are compositional in nature. Their reasoning capability and system knowledge assume an ‘ampliative’ (inter)operation of all hardware, software, or cyberware components. The need for SEFs that support synthesis, modeling, analysis, simulation, verification, and validation of S-CPSs is recognized in the literature. The objective of this paper is a critically review the state of development of compositionality enabling frameworks. Both quantitative and qualitative literature studies were conducted in combination with critical system thinking. The reasoning model used in the qualitative analysis was derived based on the findings of the quantitative analysis. The major observations are: (i) the notion of compositionality is not studied extensively in the context of S-CPSs that do not obey the principle of reductionism, (ii) methodological support of implementation of compositional CPSs seems to be in its infancy, (iii) SEFs may play a crucial role in synthesis, modeling and implementation of S-CPSs, and (iv) SEFs for compositional system design may be realized using the principles of semantic knowledge fusion or meta-synthesis. Our follow up research targets a formal definition and computational implementation of a testable prototype of a specific SEF tool supporting compositional design of reasoning mechanisms.

scholarly journals Cyber-Physical Systems In Construction For Sustainable Urban Development

2020 ◽  
Vol 143 ◽  
pp. 01019 ◽  
Author(s):  
Andrey Volkov ◽  
Liubov Shilova
Keyword(s):  
Statistical Data ◽  
Systems Development ◽  
Cyber Physical Systems ◽  
Operating Conditions ◽  
Sustainable Urban Development ◽  
Cyber Physical System ◽  
Physical Systems ◽  
Current State ◽  
State Of Research ◽  
Definition Of

The article reviews the current state of research works in the field of cyber-physical systems development in conjunction with «smart house» technology. The authors have collected statistical data on the articles and the papers about cyber-physical systems in construction from 2009 to 2019, which are presented in data base SCOPUS. These publications were analysed by the authors and as the result the countries leader in this field of studying were identified. The authors formulate a definition of a building cyber-physical system and determine the operating conditions of such systems. Finally, further research objectives were identified by the researchers.

scholarly journals Towards a Secure DevOps Approach for Cyber-Physical Systems

2020 ◽  
Vol 11 (2) ◽  
pp. 38-57
Author(s):  
Pekka Abrahamsson ◽  
Goetz Botterweck ◽  
Hadi Ghanbari ◽  
Martin Gilje Jaatun ◽  
Petri Kettunen ◽  
...  
Keyword(s):  
Research And Development ◽  
Cyber Physical Systems ◽  
Continuous Development ◽  
Research And Practice ◽  
Physical Systems ◽  
Expert Opinions ◽  
Current State ◽  
Novel Approach ◽  
Regulated Industries ◽  
State Of Practice

With the expansion of cyber-physical systems (CPSs) across critical and regulated industries, systems must be continuously updated to remain resilient. At the same time, they should be extremely secure and safe to operate and use. The DevOps approach caters to business demands of more speed and smartness in production, but it is extremely challenging to implement DevOps due to the complexity of critical CPSs and requirements from regulatory authorities. In this study, expert opinions from 33 European companies expose the gap in the current state of practice on DevOps-oriented continuous development and maintenance. The study contributes to research and practice by identifying a set of needs. Subsequently, the authors propose a novel approach called Secure DevOps and provide several avenues for further research and development in this area. The study shows that, because security is a cross-cutting property in complex CPSs, its proficient management requires system-wide competencies and capabilities across the CPSs development and operation.

scholarly journals ANÁLISE DA IMPLEMENTAÇÃO DE SISTEMAS INTELIGENTES PARA A GESTÃO DA ALTA HOSPITALAR

2019 ◽  
Vol 16 (1) ◽  
pp. 129
Author(s):  
Steffan Macali Werner ◽  
Enzo Morosini Frazzon ◽  
Fernando Antônio Forcellini
Keyword(s):  
Hospital Discharge ◽  
Information Technologies ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Diffusion Of Information ◽  
Current State ◽  
Discharge Management ◽  
Hospital Resources ◽  
New Policies ◽  
Systems Simulation

A necessidade de alcançar uma maior eficiência na utilização dos recursos hospitalares torna necessária a sincronização dos processos internos. Para tanto, é essencial a aproximação entre os fluxos físicos e de informação envolvidos nos processos, como, por exemplo, a gestão da alta hospitalar. Essa aproximação é apoiada pela difusão de Tecnologias da Informação e pela contínua adoção dos conceitos de Sistemas Ciber-Físicos. Neste contexto, o presente artigo tem por objetivo propor e analisar políticas de sincronização dos processos internos de gestão da alta hospitalar, por meio da adoção de Sistemas Ciber-Físicos inteligentes. Para isto, após realizar uma proposição do estado futuro almejado, um modelo de simulação foi construído para apoiar sua comparação com o estado atual do processo. Assim, foi possível evidenciar possíveis ganhos de eficiência na utilização dos recursos hospitalares, bem como redução do tempo de permanência dos pacientes.Palavras-chave: Alta hospitalar. Gestão hospitalar. CPS - Cyber-Physical Systems. Simulação. Sincronização.ABSTRACTThe need for better utilization of hospital instigates the synchronization of internal processes. For that, it is essential to approximate the physical and information flows involved in the processes, such as hospital discharge management. This approach is supported by the diffusion of information technologies and by the continuous adoption of the concepts of Cyber-Physical Systems. In this context, the aim of this article is to propose and analyze new policies for synchronization of internal hospital discharge processes management, made possible by the adoption of intelligent Cyber-Physical Systems. To this, a simulation model was elaborated to support its comparison with the current state of the process. Thus, it was possible to show possible gains in efficiency in the use of hospital resources, as well as reduction of patients' time of permanence.Keywords: Hospital discharge. Hospital management. CPS - Cyber-Physical Systems. Simulation. Synchronization.

scholarly journals Intelligent Buildings as Cyber-Physical Systems: a Reconfigurable Hardware Technology-based Approach

2021 ◽  
Vol 7 (1.) ◽  
Author(s):  
Csaba Szász
Keyword(s):  
Digital Technology ◽  
Large Scale ◽  
Physical World ◽  
Cyber Physical Systems ◽  
Theoretical Background ◽  
Reconfigurable Hardware ◽  
Physical Systems ◽  
Intelligent Buildings ◽  
Current State ◽  
The Way

This paper discusses the idea to change the way to approach intelligent buildings (IBs) development and implementation by taking into account the last evolutions in cyber-physical systems (CPSs). Therefore, the main goal is to extend IBs design engineering with the constraints of systems in a CPS context. As well known, smart buildings are increasingly complex as they integrate many scientific areas and research topics, as well as a large scale of last-generation technologies. At the same time, the Internet has deeply transformed the way to manage information and services, respectively how information is transmitted and computed in cyberspace. The quick management and information processing inside cyber layer challenges the interaction with the physical world in a sense to develop IBs as smart distributed systems or CPSs. In addition to this, the papers emphasize the original idea of developing reconfigurable hardware technology-based (RHT-based) CPS architectures for IBs implementation purposes. The benefits of the RHT application in a CPS context for IBs are widely discussed and analyzed. The unfolded theoretical background has been supported by an implementation example using last generation software technologies. These experiments evidence the advantages and versatility of this challenging implementation paradigm of the latest digital technology, applied for current-state IBs development.

Fundamentals of a Mereo-Operandi Theory to Support Transdisciplinary Modeling and Co-Design of Cyber-Physical Systems

2015 ◽  
Author(s):  
Imre Horváth ◽  
Shahab Pourtalebi
Keyword(s):  
System Modeling ◽  
Morphological Characteristics ◽  
Theoretical Framework ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Computational Implementation ◽  
Main Statement ◽  
Digital Hardware ◽  
Inclusive System ◽  
System Manifestation

The main statement of this paper is that synergetic modeling and co-design of the hardware, software and cyberware parts of complex cyber-physical systems (CPSs) are yet not solved, even from the perspective of an underpinning transdisciplinary theory. CPSs contain functionally tightly connected analog and digital hardware, control, and application software, and knowledge, data, and media contents as cyberware. The lack of a unified theoretical framework and an all-inclusive system conceptualization methodology can be traced back to professional, methodological and cultural differences between the abovementioned domains of development. The objective of our research is to make a step towards a theoretical framework that can support transdisciplinary modeling of CPSs. Architectural and operational modeling have been identified as two principal and interrelated dimensions of system modeling, and a mereo-operandi theory (MOT) has been identified as target. Mereotopology has been considered as the basis of architectural modeling. Operational modeling has been based on parameterized representation of the underlying physical principles, the morphological characteristics, the operation elements, and the overall operation flows. A demonstrative case study is presented to evidence the practical feasibility and utility of the proposed MOT. Our follow up research will focus on using this as a conceptual framework and computational basis for specification of system manifestation features and on a computational implementation to support embedded customization.

scholarly journals Problematic Issues of Information Security of Cyber-Physical Systems

2020 ◽  
Vol 19 (5) ◽  
pp. 1050-1088
Author(s):  
Dmitry Levshun ◽  
Diana Gaifulina ◽  
Andrey Chechulin ◽  
Igor Kotenko
Keyword(s):  
Information Security ◽  
Subject Area ◽  
Cyber Physical Systems ◽  
Social Aspect ◽  
Access Method ◽  
Physical Systems ◽  
Security Issues ◽  
Current State ◽  
System Information

This paper is an analysis and systematization of modern research in the field of cyber-physical system information security. The problematic issues of information security of such systems are considered: «what is being attacked?», «who is attacking?», «why is someone attacking?», «how is someone attacking?» and «how to protect the system?». As an answer to the first question, the paper proposes a definition and classification of cyber-physical systems according to such criteria as complexity, connectivity, criticality and social aspect. As an answer to the second and the third questions, the paper describes a classification of attacker according to such criteria as type of access, method of access, intentions, knowledge and resources. As  an answer to the fourth question, the paper contains a classification of attack actions according to such criteria as subject and object, method of influence, prerequisites and consequences. As an answer to the fifth question, the paper proposes a classification of protection methods and security tools according to such criteria as principle of operation, object of protection and task to be solved. The scientific significance of the paper is systematization of a current state of the art in the subject area. The practical value of the paper is providing information about security issues that are specific to cyber-physical systems, which will allow one to develop, manage and use such systems in a more secure way.

Theoretical foundations and applications of cyber-physical systems: a literature review

2019 ◽  
Vol 38 (1) ◽  
pp. 95-104 ◽  
Author(s):  
Caiming Zhang ◽  
Xiaojun Xu ◽  
Hong Chen
Keyword(s):  
Literature Review ◽  
Design Methodology ◽  
Review Paper ◽  
State Of The Art ◽  
Cyber Physical Systems ◽  
Comprehensive Overview ◽  
Content Type ◽  
Physical Systems ◽  
Current State ◽  
Theoretical Foundations

Purpose The purpose of this paper is to review the current research on theoretical foundations and applications for CPS from 2017 to 2019 including the applications in library. Design/methodology/approach This paper is designed in six parts as Introduction, Literature review, Theoretical foundations of CPS, Applications of CPS, CPS’s application in library and Conclusion. The authors review 70 papers and classify them as the above six parts. The authors collected 70 papers from 2017 to 2019 in the academic databases. Findings This paper reviews 70 papers regarding theoretical foundations and applications for CPS from 2017 to 2019 in the academic databases aiming to provide scholars and practitioners with a comprehensive overview. The contents of the papers in each research category are summarized from theoretical foundations and applications including the CPS applications in library. Originality/value A main contribution of this review paper is that it summarizes the current state-of-the-art theoretical foundations and applications for CPS and in libraries systematically.

Sign in / Sign up

Export Citation Format

Share Document