Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, C. Ghezzi
Cyber-physical space systems are becoming increasingly important. Such systems have to satisfy requirements that are heavily affected by the physical space they operate in and by the active entities inhabiting the space, whose dynamic behaviors generate continuous topological changes. Reasoning about requirements in the early design phases is extremely challenging. High-level design can be facilitated by systematic application of separation of concerns throughout modeling, analysis, and early requirements validation. We outline an approach that identifies key recurrent concerns arising in cyber-physical space systems, supports systematic and semi-automatic modeling of separate concerns, and a formally defined composition of the separately developed models. Early requirements validation is then supported by leveraging statistical model checking techniques. We illustrate our approach through an example disaster scenario in a smart city.
{"title":"On Early Statistical Requirements Validation of Cyber-Physical Space Systems","authors":"Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, C. Ghezzi","doi":"10.1145/3196478.3196485","DOIUrl":"https://doi.org/10.1145/3196478.3196485","url":null,"abstract":"Cyber-physical space systems are becoming increasingly important. Such systems have to satisfy requirements that are heavily affected by the physical space they operate in and by the active entities inhabiting the space, whose dynamic behaviors generate continuous topological changes. Reasoning about requirements in the early design phases is extremely challenging. High-level design can be facilitated by systematic application of separation of concerns throughout modeling, analysis, and early requirements validation. We outline an approach that identifies key recurrent concerns arising in cyber-physical space systems, supports systematic and semi-automatic modeling of separate concerns, and a formally defined composition of the separately developed models. Early requirements validation is then supported by leveraging statistical model checking techniques. We illustrate our approach through an example disaster scenario in a smart city.","PeriodicalId":205313,"journal":{"name":"2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115251393","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
C. Tranoris, S. Denazis, Lucas Guardalben, João Pereira, S. Sargento
5G is the next generation networking infrastructure with a strong focus on requirements of various vertical domains. 5G brings improvements on networking performance but also introduces new services for deploying software involving networking aspects in an end-to-end manner from the edge to the cloud, affecting the way we will deploy software. One of the most promising verticals is the Automotive Vertical, where 5G will bring characteristics such as low delays and high bandwidth, enabling complex V2X scenarios. This paper reports experiments made using a popular 5G technology, called NFV Management and Orchestration platform, the Open Source MANO (OSM), by remotely placing Virtual Network Functions to Vehicles containing a smart Edge Device for: i) remotely monitoring through the OBD-II interface and ii) video streaming between V2V for assisted overtaking. The described process can be applied to other types of systems containing a smart Edge Device, enabling them as networking resources of future 5G network deployments, demonstrating how future CPSs could be engineered and benefit from emerging 5G services.
{"title":"Enabling Cyber-Physical Systems for 5G Networking: A Case Study on the Automotive Vertical Domain","authors":"C. Tranoris, S. Denazis, Lucas Guardalben, João Pereira, S. Sargento","doi":"10.1145/3196478.3196481","DOIUrl":"https://doi.org/10.1145/3196478.3196481","url":null,"abstract":"5G is the next generation networking infrastructure with a strong focus on requirements of various vertical domains. 5G brings improvements on networking performance but also introduces new services for deploying software involving networking aspects in an end-to-end manner from the edge to the cloud, affecting the way we will deploy software. One of the most promising verticals is the Automotive Vertical, where 5G will bring characteristics such as low delays and high bandwidth, enabling complex V2X scenarios. This paper reports experiments made using a popular 5G technology, called NFV Management and Orchestration platform, the Open Source MANO (OSM), by remotely placing Virtual Network Functions to Vehicles containing a smart Edge Device for: i) remotely monitoring through the OBD-II interface and ii) video streaming between V2V for assisted overtaking. The described process can be applied to other types of systems containing a smart Edge Device, enabling them as networking resources of future 5G network deployments, demonstrating how future CPSs could be engineered and benefit from emerging 5G services.","PeriodicalId":205313,"journal":{"name":"2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126130874","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Cyber-physical systems form collaborative networks dynamically at runtime. In the collaboration of multiple systems, behavior emerges in the interplay of the collaborating instances. This emergent behavior raises challenges for the validation of cyber-physical systems’ software, since interoperability of the single systems as well as functional correctness of the entire network of collaborative cyber-physical systems must be validated for all possible configurations of the network. Such network configurations differ, among others, in the number of participating systems, the number of system types involved, and the communication patterns between the participating systems. To aid the validation of behavior emerging from the collaboration, this paper proposes the automated generation of dedicated review diagrams to investigate the collaborative network’s behavior for different network configurations. First evaluations using case examples from industry partners show that the use of such automatically generated instance level review diagrams can support the validation of collaborative cyber-physical systems.
{"title":"A Semi-Automated Approach to Foster the Validation of Collaborative Networks of Cyber-Physical Systems","authors":"Marian Daun, Jennifer Brings, Thorsten Weyer","doi":"10.1145/3196478.3196483","DOIUrl":"https://doi.org/10.1145/3196478.3196483","url":null,"abstract":"Cyber-physical systems form collaborative networks dynamically at runtime. In the collaboration of multiple systems, behavior emerges in the interplay of the collaborating instances. This emergent behavior raises challenges for the validation of cyber-physical systems’ software, since interoperability of the single systems as well as functional correctness of the entire network of collaborative cyber-physical systems must be validated for all possible configurations of the network. Such network configurations differ, among others, in the number of participating systems, the number of system types involved, and the communication patterns between the participating systems. To aid the validation of behavior emerging from the collaboration, this paper proposes the automated generation of dedicated review diagrams to investigate the collaborative network’s behavior for different network configurations. First evaluations using case examples from industry partners show that the use of such automatically generated instance level review diagrams can support the validation of collaborative cyber-physical systems.","PeriodicalId":205313,"journal":{"name":"2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128751459","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Shafiul Azam Chowdhury, L. S. Varghese, Soumik Mohian, Taylor T. Johnson, Christoph Csallner
Recent years have seen many empirical studies of model-based cyber-physical systems and commercial CPS development tool chains such as Matlab/Simulink. To benefit such research, this paper presents the by-far largest corpus of freely available Simulink models to date, containing over 1,000 models. Surprising findings based on this corpus include that (a) tool support for metric collection is not adequate and (b) users do not reuse model components as they would in object-oriented programs. The paper both confirms and contradicts earlier findings that are based on significantly fewer models, suggesting the utility of the corpus for future research. While others have not yet leveraged this model corpus, we hope that our freely available corpus and infrastructure will benefit future model-based empirical research and tool development efforts, by reducing the model-collection overhead and thus easing evaluation.
{"title":"A Curated Corpus of Simulink Models for Model-Based Empirical Studies","authors":"Shafiul Azam Chowdhury, L. S. Varghese, Soumik Mohian, Taylor T. Johnson, Christoph Csallner","doi":"10.1145/3196478.3196484","DOIUrl":"https://doi.org/10.1145/3196478.3196484","url":null,"abstract":"Recent years have seen many empirical studies of model-based cyber-physical systems and commercial CPS development tool chains such as Matlab/Simulink. To benefit such research, this paper presents the by-far largest corpus of freely available Simulink models to date, containing over 1,000 models. Surprising findings based on this corpus include that (a) tool support for metric collection is not adequate and (b) users do not reuse model components as they would in object-oriented programs. The paper both confirms and contradicts earlier findings that are based on significantly fewer models, suggesting the utility of the corpus for future research. While others have not yet leveraged this model corpus, we hope that our freely available corpus and infrastructure will benefit future model-based empirical research and tool development efforts, by reducing the model-collection overhead and thus easing evaluation.","PeriodicalId":205313,"journal":{"name":"2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)","volume":"233 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122464580","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Use of multi-objective probabilistic planning to synthesize behavior of CPSs can play an important role in engineering systems that must self-optimize for multiple quality objectives and operate under uncertainty. However, the reasoning behind automated planning is opaque to end-users. They may not understand why a particular behavior is generated, and therefore not be able to calibrate their confidence in the systems working properly. To address this problem, we propose a method to automatically generate verbal explanation of multi-objective probabilistic planning, that explains why a particular behavior is generated on the basis of the optimization objectives. Our explanation method involves describing objective values of a generated behavior and explaining any tradeoff made to reconcile competing objectives. We contribute: (i) an explainable planning representation that facilitates explanation generation, and (ii) an algorithm for generating contrastive justification as explanation for why a generated behavior is best with respect to the planning objectives. We demonstrate our approach on a mobile robot case study.
{"title":"Toward Explainable Multi-Objective Probabilistic Planning","authors":"Roykrong Sukkerd, R. Simmons, D. Garlan","doi":"10.1145/3196478.3196488","DOIUrl":"https://doi.org/10.1145/3196478.3196488","url":null,"abstract":"Use of multi-objective probabilistic planning to synthesize behavior of CPSs can play an important role in engineering systems that must self-optimize for multiple quality objectives and operate under uncertainty. However, the reasoning behind automated planning is opaque to end-users. They may not understand why a particular behavior is generated, and therefore not be able to calibrate their confidence in the systems working properly. To address this problem, we propose a method to automatically generate verbal explanation of multi-objective probabilistic planning, that explains why a particular behavior is generated on the basis of the optimization objectives. Our explanation method involves describing objective values of a generated behavior and explaining any tradeoff made to reconcile competing objectives. We contribute: (i) an explainable planning representation that facilitates explanation generation, and (ii) an algorithm for generating contrastive justification as explanation for why a generated behavior is best with respect to the planning objectives. We demonstrate our approach on a mobile robot case study.","PeriodicalId":205313,"journal":{"name":"2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124235186","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
João Cambeiro, C. Gomes, Vasco Amaral, A. Rodrigues, Jácome Cunha
Smart buildings will play a fundamental role in ensuring comfort while reducing the energy required. However, due to the lack of knowledge about the operation of the smart controllers, the occupants can unintentionally increase the energy spent. Nevertheless, there is evidence that the informed and motivated user will actually cooperate with the system. Some of the issues associated with researching control systems in the context of building automation are difficult to address, because of the chronic lack of effective laboratory settings for experimentation. In this paper, we describe a system representative of the usual complexity found in cyber-physical systems, whose purpose is to address the needs for experimenting with building automation, with a focus on control systems and gamification. Designed with pragmatic concerns, this system presents a unique set of challenges and opportunities to research a new generation of software control systems, and supporting interfaces, that leverage the occupants’ behaviour.
{"title":"A Building Automation Case Study Setup and Challenges","authors":"João Cambeiro, C. Gomes, Vasco Amaral, A. Rodrigues, Jácome Cunha","doi":"10.1145/3196478.3196482","DOIUrl":"https://doi.org/10.1145/3196478.3196482","url":null,"abstract":"Smart buildings will play a fundamental role in ensuring comfort while reducing the energy required. However, due to the lack of knowledge about the operation of the smart controllers, the occupants can unintentionally increase the energy spent. Nevertheless, there is evidence that the informed and motivated user will actually cooperate with the system. Some of the issues associated with researching control systems in the context of building automation are difficult to address, because of the chronic lack of effective laboratory settings for experimentation. In this paper, we describe a system representative of the usual complexity found in cyber-physical systems, whose purpose is to address the needs for experimenting with building automation, with a focus on control systems and gamification. Designed with pragmatic concerns, this system presents a unique set of challenges and opportunities to research a new generation of software control systems, and supporting interfaces, that leverage the occupants’ behaviour.","PeriodicalId":205313,"journal":{"name":"2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131971750","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The Shipboard Power System (SPS) is the component responsible for granting energy to navigation, communication, and operational systems. The SPS Reconfiguration is the ability to react to electrical failure and to restore critical operations for granting vessel survivability. This work illustrate why SPS Reconfiguration software system may be implemented as a self-adaptive system. To illustrate this relation we exploit a systematic classification of SPS reconfiguration methods, by highlighting terms and attributes related to self-adaptive systems. In particular, the research method considers four types of self-adaptation systems with different degrees of autonomy and proactivity. The corresponding data analysis highlights a strong correlation between SPS Reconfiguration and Self-Adaptive systems, revealing most of the SPS reconfiguration techniques found in literature often belong to three of the four types of adaptation. The outcome of the paper is proposing SPS as an interesting benchmark for comparing self-adaptive approaches, also highlighting scenarios, tasks, norms goals and quality aspects with the support of the IEEE specifications.
{"title":"Shipboard Power System Reconfiguration: A Self-Adaptation Exemplar","authors":"L. Sabatucci, G. D. Simone, M. Cossentino","doi":"10.1145/3196478.3196486","DOIUrl":"https://doi.org/10.1145/3196478.3196486","url":null,"abstract":"The Shipboard Power System (SPS) is the component responsible for granting energy to navigation, communication, and operational systems. The SPS Reconfiguration is the ability to react to electrical failure and to restore critical operations for granting vessel survivability. This work illustrate why SPS Reconfiguration software system may be implemented as a self-adaptive system. To illustrate this relation we exploit a systematic classification of SPS reconfiguration methods, by highlighting terms and attributes related to self-adaptive systems. In particular, the research method considers four types of self-adaptation systems with different degrees of autonomy and proactivity. The corresponding data analysis highlights a strong correlation between SPS Reconfiguration and Self-Adaptive systems, revealing most of the SPS reconfiguration techniques found in literature often belong to three of the four types of adaptation. The outcome of the paper is proposing SPS as an interesting benchmark for comparing self-adaptive approaches, also highlighting scenarios, tasks, norms goals and quality aspects with the support of the IEEE specifications.","PeriodicalId":205313,"journal":{"name":"2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126946216","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The past decade has seen explosive growth in the use of small satellites. As these small, typically short-lived and risk-tolerant platforms are increasingly adopted for spaceflight missions, there has been a growing trend to place more responsibility on the flight software (versus hardware) and an increasing adoption of consumer-grade microprocessors to satisfy this desire for increased processing capability while still minimizing size, weight, and power parameters. These consumer-grade processors, however, are more susceptible to cosmic radiation and the occurrence of single event upsets (SEUs). In this paper, we present an initial exploration into the feasibility of implementing automated detection and recovery mechanisms to mitigate SEUs within these cyber-physical spaceflight systems.
{"title":"On the Feasibility of Automatically Detecting and Recovering from SEUs in Cyber-Physical Space Systems","authors":"IV RobertG.Pettit, Aedan D. Pettit","doi":"10.1145/3196478.3196487","DOIUrl":"https://doi.org/10.1145/3196478.3196487","url":null,"abstract":"The past decade has seen explosive growth in the use of small satellites. As these small, typically short-lived and risk-tolerant platforms are increasingly adopted for spaceflight missions, there has been a growing trend to place more responsibility on the flight software (versus hardware) and an increasing adoption of consumer-grade microprocessors to satisfy this desire for increased processing capability while still minimizing size, weight, and power parameters. These consumer-grade processors, however, are more susceptible to cosmic radiation and the occurrence of single event upsets (SEUs). In this paper, we present an initial exploration into the feasibility of implementing automated detection and recovery mechanisms to mitigate SEUs within these cyber-physical spaceflight systems.","PeriodicalId":205313,"journal":{"name":"2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)","volume":"49 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116318714","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
With a growing demand for complex features in smart cyber physical systems, the design of such system is getting increasingly complex. These features demand sound and scalable approaches to deal with the increasing design space. Consequently, standards (e.g. like ISO26262) propose methods and techniques for the systematic development of (in this case: automotive) systems. The growing amount of functionality correspondingly require more powerful electronic platforms and thus methods to deal with the integration. In this paper, we describe drivers for complexity and illustrate how formal methods, namely design space exploration techniques, can be applied to deal with this complexity. This approach is based on requirements defined by the given standards and supports the system designer by a (semi-) automatic approach to handle the complexity in system design – already in early design phases.
{"title":"Handling System Complexity in sCPS: Usable Design Space Exploration","authors":"S. Voss, Johannes Eder","doi":"10.1145/3196478.3196489","DOIUrl":"https://doi.org/10.1145/3196478.3196489","url":null,"abstract":"With a growing demand for complex features in smart cyber physical systems, the design of such system is getting increasingly complex. These features demand sound and scalable approaches to deal with the increasing design space. Consequently, standards (e.g. like ISO26262) propose methods and techniques for the systematic development of (in this case: automotive) systems. The growing amount of functionality correspondingly require more powerful electronic platforms and thus methods to deal with the integration. In this paper, we describe drivers for complexity and illustrate how formal methods, namely design space exploration techniques, can be applied to deal with this complexity. This approach is based on requirements defined by the given standards and supports the system designer by a (semi-) automatic approach to handle the complexity in system design – already in early design phases.","PeriodicalId":205313,"journal":{"name":"2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)","volume":"130 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125254236","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Innovation in the world of today is mainly driven by software. Companies need to continuously rejuvenate their product portfolios with new features to stay ahead of their competitors. For example, recent trends explore the application of blockchains to domains other than finance. This paper analyzes the state-of-the-art for safety-critical systems as found in modern vehicles like self-driving cars, smart energy systems, and home automation focusing on specific challenges where key ideas behind blockchains might be applicable. Next, potential benefits unlocked by applying such ideas are presented and discussed for the respective usage scenario. Finally, a research agenda is outlined to summarize remaining challenges for successfully applying blockchains to safety-critical cyber-physical systems.
{"title":"On Using Blockchains for Safety-Critical Systems","authors":"C. Berger, B. Penzenstadler, O. Drögehorn","doi":"10.1145/3196478.3196480","DOIUrl":"https://doi.org/10.1145/3196478.3196480","url":null,"abstract":"Innovation in the world of today is mainly driven by software. Companies need to continuously rejuvenate their product portfolios with new features to stay ahead of their competitors. For example, recent trends explore the application of blockchains to domains other than finance. This paper analyzes the state-of-the-art for safety-critical systems as found in modern vehicles like self-driving cars, smart energy systems, and home automation focusing on specific challenges where key ideas behind blockchains might be applicable. Next, potential benefits unlocked by applying such ideas are presented and discussed for the respective usage scenario. Finally, a research agenda is outlined to summarize remaining challenges for successfully applying blockchains to safety-critical cyber-physical systems.","PeriodicalId":205313,"journal":{"name":"2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121651662","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：