2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS)最新文献

ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, Nashville, Tennessee, USA, May 19-21, 2021 ICCPS '21: ACM/IEEE第12届网络物理系统国际会议，美国田纳西州纳什维尔，2021年5月19-21日

2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2021-01-01 DOI: 10.1145/3450267

引用次数: 1

Demo Abstract: SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience 摘要:SURE: CPS安全性和弹性的实验与评估测试平台

2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2016-05-26 DOI: 10.1109/ICCPS.2016.7479099

H. Neema, P. Völgyesi, Bradley Potteiger, W. Emfinger, X. Koutsoukos, G. Karsai, Yevgeniy Vorobeychik, J. Sztipanovits

引用次数: 3

Poster Abstract: Modeling, Simulation and Verification Environment for Engineering Cyber-Physical Systems Based on Discrete Event System Specification 摘要:基于离散事件系统规范的工程信息物理系统建模、仿真与验证环境

2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2016-04-11 DOI: 10.1109/ICCPS.2016.7479114

Hae Young Lee, So-Jin Lee

{"title":"Poster Abstract: Modeling, Simulation and Verification Environment for Engineering Cyber-Physical Systems Based on Discrete Event System Specification","authors":"Hae Young Lee, So-Jin Lee","doi":"10.1109/ICCPS.2016.7479114","DOIUrl":"https://doi.org/10.1109/ICCPS.2016.7479114","url":null,"abstract":"Summary form only given. Discrete event system specification (DEVS), a formalism for modeling and simulation, has been recently applied to the engineering of CPS, which also makes the necessity of model checking for DEVS arisen. Model-transformation-based approaches were first proposed; timed or linear hybrid automata are obtained from DEVS models, and then verified using model checkers. But, due to the different semantics in state transitions, the transformation often involves manual tasks, such as abstraction and approximation. To eliminate such manual tasks, we have proposed a DEVS subclass that is less expressive, but verifiable. For reachability analysis, its models can be interpreted as transition systems and region automata (RA). Although our DEVS subclass and RA have different semantics with respect to model execution, they are equivalent in terms of reachability analysis. Thus, the reachability could be analyzed based on model checking techniques of timed automata. In many DEVS-based environments, models should be developed by programming languages. To enables the modelers to specify CPS in a visual way, we have proposed a visual modeling language based on our subclass. In our language, the behavior and structure of CPS are graphically specified by basic model diagrams and coupled model diagrams, respectively. Based on our subclass and languages, we have implemented a proof-of-concept environment that supports visual modeling of CPS as well as simulation and reachability analysis of the models. To enable the consideration of the hybrid nature and heterogeneity in CPS, DEVS subclasses, languages, verification techniques and environments will be further investigated.","PeriodicalId":6619,"journal":{"name":"2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS)","volume":"4 1","pages":"1-1"},"PeriodicalIF":0.0,"publicationDate":"2016-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79520854","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}

引用次数: 2

Optimal Pesticide Scheduling in Precision Agriculture 精准农业中农药最优调度

2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2016-04-11 DOI: 10.1109/ICCPS.2016.7479110

Austin Jones, Usman Ali, M. Egerstedt

{"title":"Optimal Pesticide Scheduling in Precision Agriculture","authors":"Austin Jones, Usman Ali, M. Egerstedt","doi":"10.1109/ICCPS.2016.7479110","DOIUrl":"https://doi.org/10.1109/ICCPS.2016.7479110","url":null,"abstract":"Agricultural automation presents challenges typically encountered in the realm of cyber-physical systems, such as incomplete information (plant health indicators), external disturbances (weather), limited control authority (fertilizers cannot make a plant mature arbitrarily fast), and a combination of discrete events and continuous plant dynamics. In this paper, we investigate the problem of optimal pesticide spray scheduling. Regulations impose strict requirements on scheduling, e.g., individual pesticides are only effective during certain seasons and pesticides cannot be sprayed too close to harvest time. We show how to translate these requirements to a metric temporal logic formula over the space of schedules. We next use the theory of optimal mode scheduling to generate a schedule that minimizes the risk of various infestations over time while guaranteeing the satisfaction of the constraints. We demonstrate this methodology via simulation with scheduling constraints based on recommendations and regulations from agricultural experts. Our case study considers blueberries, a crop whose cultivation currently involves little automation.","PeriodicalId":6619,"journal":{"name":"2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS)","volume":"1 1","pages":"1-8"},"PeriodicalIF":0.0,"publicationDate":"2016-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83062004","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}

引用次数: 16

WiP Abstract: Platform for Designing and Managing Resilient and Extensible CPS 面向弹性可扩展CPS的设计与管理平台

2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2016-04-11 DOI: 10.1109/ICCPS.2016.7479128

Subhav Pradhan, A. Dubey, A. Gokhale

引用次数: 1

Exploiting Wireless Channel Randomness to Generate Keys for Automotive Cyber-Physical System Security 利用无线信道随机性生成汽车信息物理系统安全密钥

2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2016-04-11 DOI: 10.1109/ICCPS.2016.7479103

Jiang Wan, A. Lopez, M. A. Faruque

{"title":"Exploiting Wireless Channel Randomness to Generate Keys for Automotive Cyber-Physical System Security","authors":"Jiang Wan, A. Lopez, M. A. Faruque","doi":"10.1109/ICCPS.2016.7479103","DOIUrl":"https://doi.org/10.1109/ICCPS.2016.7479103","url":null,"abstract":"Modern automotive Cyber-Physical Systems (CPSs) are increasingly adopting wireless communications for Intra-Vehicular, Vehicle-to-Vehicle (V2V) and Vehicle-to-Infrastructure (V2I) protocols as a promising solution for challenges such as the wire harnessing problem, collision detection, and collision avoidance. Regrettably, this new trend results in new security vulnerabilities that can put the safety and privacy of the automotive CPS and passengers at great risk. In addition, automotive wireless communication security is constrained by strict energy and performance limitations of Electronic Controller Units (ECUs) and sensor nodes. As a result, the key generation and management for secure automotive CPS wireless communication is an open research challenge. This paper aims to help solve these security challenges by presenting a practical key generation technique based on the reciprocity and high spatial and temporal variation properties of the automotive wireless communication channel. To validate the practicality and effectiveness of our approach, we have conducted separate real- world experiments with automobiles and with RC cars. Lastly, we demonstrate through simulations that we can generate keys with high security strength (keys with 67% min-entropy) with up to 10X improvement in performance and 20X reduction in code size overhead in comparison to the state- of-the-art security techniques.","PeriodicalId":6619,"journal":{"name":"2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS)","volume":"16 1","pages":"1-10"},"PeriodicalIF":0.0,"publicationDate":"2016-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73223044","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}

引用次数: 46

WiP Abstract: Human-Assisted Power Demand Forecasting Based on Action Plan Declaration 摘要:基于行动计划声明的人工辅助电力需求预测

2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2016-04-11 DOI: 10.1109/ICCPS.2016.7479126

Masaki Igarashi, Atsushi Shimada, H. Nagahara, R. Taniguchi

引用次数: 0

Demo Abstract: HajjCPS - A Cyber Physical Environment for Providing Location-Aware Services to a Very Large Crowd 摘要:HajjCPS——一个为非常大的人群提供位置感知服务的网络物理环境

2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2016-04-11 DOI: 10.1109/ICCPS.2016.7479098

Mohamed Abdur Rahman, Akhlaq Ahmad

引用次数: 2

ZUbers against ZLyfts Apocalypse: An Analysis Framework for DoS Attacks on Mobility-As-A-Service Systems ZUbers对抗ZLyfts启示:移动即服务系统DoS攻击的分析框架

2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2016-04-11 DOI: 10.1109/ICCPS.2016.7479132

Chenyang Yuan, Jérôme Thai, A. Bayen

{"title":"ZUbers against ZLyfts Apocalypse: An Analysis Framework for DoS Attacks on Mobility-As-A-Service Systems","authors":"Chenyang Yuan, Jérôme Thai, A. Bayen","doi":"10.1109/ICCPS.2016.7479132","DOIUrl":"https://doi.org/10.1109/ICCPS.2016.7479132","url":null,"abstract":"The vulnerability of Mobility-as-a-Service (MaaS) systems to Denial-of-Service (DoS) attacks is studied. We use a queuing-theoretical framework to model the re-dispatch process used by operators to maintain a high service availability, as well as potential cyber-attacks on this process. It encompasses a customer arrival rate model at different sections of an urban area to pick up vehicles traveling within the network. Expanding this re-balance model, we analyze DoS cyber-attacks of MaaS systems by controlling a fraction of the cars maliciously through fake reservations (so called Zombies) placed in the system (similar to the computer science field where a Zombie is a computer that a remote attacker has accessed for malicious purpose). The attacker can then use the block-coordinate descent algorithm proposed in the present work to derive optimal strategies to minimize the efficiency of the MaaS system, thereby allowing us to quantify the economic loss of such systems under attack. The technique is shown to work well and enables us to arbitrarily deplete taxi availabilities based on the attacker's choice and the radius of attacks, which is demonstrated by drawing a \"Cal\" logo in Manhattan. Finally, a cost-benefit analysis using data from 75 million taxi trips shows diminishing returns for the attacker and that countermeasures raising the attack cost to more than $15 could protect MaaS systems in NYC from Zombies.","PeriodicalId":6619,"journal":{"name":"2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS)","volume":"7 1","pages":"1-10"},"PeriodicalIF":0.0,"publicationDate":"2016-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80089473","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}

引用次数: 9

Control-Aware Random Access Communication 控制感知随机存取通信

2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2016-04-11 DOI: 10.1109/ICCPS.2016.7479071

Konstantinos Gatsis, Alejandro Ribeiro, George J. Pappas

引用次数: 31