Cyber-Physical Systems: Imminent Challenges

Broy, Manfred; Cengarle, Marı́a Victoria; Geisberger, Eva

doi:10.1007/978-3-642-34059-8_1

Cited by 72 publications

(49 citation statements)

References 30 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It introduces various requirements into the system. Lots of researches discussed the requirements/indexes of CPS [4,[41][42][43][44]. We summarize and classify these requirements and the summary is shown in Figure 5.…”

Section: Common Characteristics Of Cpsmentioning

confidence: 99%

See 1 more Smart Citation

A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability

Zhou¹,

Hou²,

Zhang³

et al. 2017

Preprint

View full text Add to dashboard Cite

Though Cyber Physical Systems (CPS) become very popular in last the decade, dependability of CPS is still a critical issue and related survey is rare. We try to spell out the jigsaw of technologies and figure out the technical trends of dependable self-managing CPS. This survey first recalls the motivation and the similar concepts. By analyzing four generic architectures, we summarize the common characteristics and related assurance technologies, and propose a more generic environment-in-loop processing flow of CPS and a formal interaction flow between physical space and cyber space. Further, the similarity between correctness and dependability is formally analyzed and the new five research questions of dependable self-managing CPS are presented. Then we review the critical technologies and related correctness verification & validation (V&V) methods, the architectures for dependable self-managing CPS. Further, the detail dependability management and V&V technologies are surveyed, which covers the areas of running-time fault management methods and whole life cycle V&V technologies, maintenance and available tool sets. For holistic CPS development, Modeling techniques and MDE (model driven engineering) based V&V methods are analyzed in detail. Then we complete the jigsaw of technologies and figure out the missing part. Further, we propose the technical challenges and the further direction. To our best knowledge, this is the first comprehensive survey on dependable self-managing CPS development and evaluation.

show abstract

Section: Common Characteristics Of Cpsmentioning

confidence: 99%

“…All suggestions are welcomed to refine the jigsaw. the maturity of the technology [5], 2) the social expectation and acceptance of technology [42], 3) the degree that other technologies depends on target technology (based on Figure 18). …”

Section: Technical Drections Of Dependable Self-managing Cps Developmentmentioning

confidence: 99%

A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability

Zhou¹,

Hou²,

Zhang³

et al. 2017

Preprint

View full text Add to dashboard Cite

show abstract

“…It has been assumed that patients will simply behave as required for the efficiency gains from healthcare cyber-physical systems to be achieved (Broy et al, 2012). However, for the efficiency to be harnessed a wide variety of complex social factors need to be considered including psychological factors linked to human interactions and lifestyle habits that have developed over time.…”

Section: Structuration and Wicked Problemsmentioning

confidence: 99%

Improving Healthcare through Human City Interaction

Woolliscroft

Polovina

2017

Proceedings of the 19th International Conference on Enterprise Information Systems

View full text Add to dashboard Cite

Abstract:The study of information technology has given insufficient focus to a) the structural factors and b) the community perspective. As information systems become increasingly integrated with human systems these wider influences are more important than ever. Human city interaction concepts including their interplay with cyberphysical systems and social computing are appropriated to healthcare. Through Structuration Theory, insights are given into how healthcare through the human city interaction lens can most effectively be improved.

show abstract

“…Embedded software-intensive systems can be found in many application domains such as mobile devices, vehicles, avionics, buildings, or production systems [45,59,69,71,124,187]. Recently, due to an increasing demand on functionality and flexibility, such beforehand isolated systems have become interconnected to gain powerful System of Systems (SoS) solutions with an overall robust, flexible and emergent behavior.…”

Section: Introductionmentioning

confidence: 99%

“…On the one hand, SoS are envisioned to realize modern demands on intelligent systems such as smart cities that optimize electrical power production in so-called smart grids [112] or dynamically reorganize the traffic flow avoiding traffic jams [69,71,112]. Another important domain are smart homes [45,57] that are designed to adapt their pool of functionality to available resources such as sensors and actuators, different users, and situations to increase comfortability, security, and to save costs. Additionally, SoS became important for managing catastrophic scenarios such as search and rescue or firefighting.…”

Section: Introductionmentioning

confidence: 99%

Modeling Collaborations in Adaptive Systems of Systems

Wätzoldt

Giese

2015

Proceedings of the 2015 European Conference on Software Architecture Workshops

View full text Add to dashboard Cite

Recently, due to an increasing demand on functionality and flexibility, beforehand isolated systems have become interconnected to gain powerful adaptive System of Systems (SoS) solutions with an overall robust, flexible and emergent behavior. The adaptive SoS comprises a variety of different system types ranging from small embedded to adaptive cyber-physical systems. On the one hand, each system is independent, follows a local strategy and optimizes its behavior to reach its goals. On the other hand, systems must cooperate with each other to enrich the overall functionality to jointly perform on the SoS level reaching global goals, which cannot be satisfied by one system alone. Due to difficulties of local and global behavior optimizations conflicts may arise between systems that have to be solved by the adaptive SoS.This thesis proposes a modeling language that facilitates the description of an adaptive SoS by considering the adaptation capabilities in form of feedback loops as first class entities. Moreover, this thesis adopts the Models@runtime approach to integrate the available knowledge in the systems as runtime models into the modeled adaptation logic. Furthermore, the modeling language focuses on the description of system interactions within the adaptive SoS to reason about individual system functionality and how it emerges via collaborations to an overall joint SoS behavior. Therefore, the modeling language approach enables the specification of local adaptive system behavior, the integration of knowledge in form of runtime models and the joint interactions via collaboration to place the available adaptive behavior in an overall layered, adaptive SoS architecture.Beside the modeling language, this thesis proposes analysis rules to investigate the modeled adaptive SoS, which enables the detection of architectural patterns as well as design flaws and pinpoints to possible system threats. Moreover, a simulation framework is presented, which allows the direct execution of the modeled SoS architecture. Therefore, the analysis rules and the simulation framework can be used to verify the interplay between systems as well as the modeled adaptation effects within the SoS. This thesis realizes the proposed concepts of the modeling language by mapping them to a state of the art standard from the automotive domain and thus, showing their applicability to actual systems. Finally, the modeling language approach is evaluated by remodeling up to date research scenarios from different domains, which demonstrates that the modeling language concepts are powerful enough to cope with a broad range of existing research problems.-I - Zusammenfassung

show abstract

Cyber-Physical Systems: Imminent Challenges

Cited by 72 publications

References 30 publications

A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability

A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability

Improving Healthcare through Human City Interaction

Modeling Collaborations in Adaptive Systems of Systems

Contact Info

Product

Resources

About