2016 IEEE/ACM 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)最新文献

Software Engineering for Distributed Autonomous Real-Time Systems 分布式自治实时系统的软件工程

2016 IEEE/ACM 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) Pub Date : 2016-05-14 DOI: 10.1145/2897035.2897040

Lenz Belzner, Michael Till Beck, Thomas Gabor, H. Roelle, Horst Sauer

引用次数: 9

Model-Based Security Analysis of a Water Treatment System 基于模型的水处理系统安全性分析

2016 IEEE/ACM 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) Pub Date : 2016-05-14 DOI: 10.1145/2897035.2897041

Eunsuk Kang, Sridhar Adepu, D. Jackson, A. Mathur

引用次数: 59

Towards State-of-the-Art and Future Trends in Testing of Active Safety Systems 主动安全系统测试的最新技术和未来趋势

2016 IEEE/ACM 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) Pub Date : 2016-05-14 DOI: 10.1145/2897035.2897037

Alessia Knauss, C. Berger, H. Eriksson

引用次数: 6

A Development Framework for Programming Cyber-Physical Systems 编程信息物理系统的开发框架

2016 IEEE/ACM 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) Pub Date : 2016-05-14 DOI: 10.1109/SEsCPS.2016.016

Saurabh Chauhan, Pankesh Patel, Flávia Coimbra Delicato, S. Chaudhary

{"title":"A Development Framework for Programming Cyber-Physical Systems","authors":"Saurabh Chauhan, Pankesh Patel, Flávia Coimbra Delicato, S. Chaudhary","doi":"10.1109/SEsCPS.2016.016","DOIUrl":"https://doi.org/10.1109/SEsCPS.2016.016","url":null,"abstract":"Application development for Cyber-Physical Systems (CPSs) is challenging because it involves dealing with the heterogeneity that exists both in Physical and Cyber worlds. Second, stakeholders involved in the application development have to address issues pertaining to different life-cycles ranging from design, implementation to deployment. Given these, a critical challenge is to enable an application development in CPSs with effectively and efficiently from various stakeholders. Several approaches to tackling this challenge have been proposed in the fields of Wireless Sensor Networks (WSN) and Pervasive Computing, regarded as precursors to the modern day of CPSs. However, existing approaches only cover limited subsets of the above-mentioned challenges when applied to the CPSs. In view of this, the contribution of this paper is twofold. First, we have built upon our existing framework and evolved it into a framework for developing CPSs, with substantial additions and enhancements in high-level modeling languages and their integration into the framework. Second, we present a comparative evaluation results with existing approaches. This provides the CPS community for further benchmarking. The evaluation is carried out on real devices exhibiting heterogeneity. Our experimental analysis and results demonstrate that our approach drastically reduces development effort for CPSs compared to existing approaches.","PeriodicalId":167167,"journal":{"name":"2016 IEEE/ACM 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131073604","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}

引用次数: 18

Constraint-Based Graceful Degradation in Smart Grids 基于约束的智能电网优雅退化

2016 IEEE/ACM 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) Pub Date : 2016-05-14 DOI: 10.1145/2897035.2897043

P. Gupta, B. Schaetz

{"title":"Constraint-Based Graceful Degradation in Smart Grids","authors":"P. Gupta, B. Schaetz","doi":"10.1145/2897035.2897043","DOIUrl":"https://doi.org/10.1145/2897035.2897043","url":null,"abstract":"In a electrical distribution network, the challenges involved in the decentralized power generation and the resilience of the network to handle the failures, can be easily anticipated. With the use of information technology, a better control can be achieved over the distributed generation units and the fault handling in them. In this contribution, the use of a graceful degradation strategy is proposed as a means to improve the availability of the system during a fault situation. The Graceful degradation is presented as a constraint satisfaction problem. The trigger and the computation of the degradation process are formulated as the constraints. The concept of the utility of the resources is used to support a dynamic decision to trigger the degradation process. The computation of the graceful degradation strategy is formalized as an SMT problem and analyzed using the Z3 SMTsolver. The approach is illustrated with the help of a use case of applying the degradation strategy on a prosumer node during the power outage in the distribution network. It illustrates the dynamic calculation capability of the degradation scheme in the face of an unpredictable power from a renewable energy resource.","PeriodicalId":167167,"journal":{"name":"2016 IEEE/ACM 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131248484","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

Imposing Security Awareness on Wearables 增强可穿戴设备的安全意识

2016 IEEE/ACM 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) Pub Date : 2016-05-14 DOI: 10.1145/2897035.2897038

Charles Walter, M. Hale, R. Gamble

{"title":"Imposing Security Awareness on Wearables","authors":"Charles Walter, M. Hale, R. Gamble","doi":"10.1145/2897035.2897038","DOIUrl":"https://doi.org/10.1145/2897035.2897038","url":null,"abstract":"Bluetooth reliant devices are increasingly proliferating into various industry and consumer sectors as part of a burgeoning wearable market that adds convenience and awareness to everyday life. Relying primarily on a constantly changing hop pattern to reduce data sniffing during transmission, wearable devices routinely disconnect and reconnect with their base station (typically a cell phone), causing a connection repair each time. These connection repairs allow an adversary to determine what local wearable devices are communicating to what base stations. In addition, data transmitted to a base station as part of a wearable app may be forwarded onward to an awaiting web API even if the base station is in an insecure environment (e.g. a public Wi-Fi). In this paper, we introduce an approach to increase the security and privacy associated with using wearable devices by imposing transmission changes given situational awareness of the base station. These changes are asserted via policy rules based on the sensor information from the wearable devices collected and aggregated by the base system. The rules are housed in an application on the base station that adapts the base station to a state in which it prevents data from being transmitted by the wearable devices without disconnecting the devices. The policies can be updated manually or through an over the air update as determined by the user.","PeriodicalId":167167,"journal":{"name":"2016 IEEE/ACM 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123730695","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}

引用次数: 3

On the Role of Latent Design Conditions in Cyber-Physical Systems Security 潜在设计条件在网络物理系统安全中的作用

2016 IEEE/ACM 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) Pub Date : 2016-05-14 DOI: 10.1145/2897035.2897036

Sylvain Frey, A. Rashid, A. Zanutto, J. Busby, Karolina S. Follis

引用次数: 14

Adding Static and Dynamic Semantics to Building Information Models 为建筑信息模型添加静态和动态语义

2016 IEEE/ACM 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) Pub Date : 2016-05-14 DOI: 10.1145/2897035.2897042

Christos Tsigkanos, Timo Kehrer, C. Ghezzi, L. Pasquale, B. Nuseibeh

引用次数: 16

Multiscale Time Abstractions for Long-Range Planning under Uncertainty 不确定条件下长期规划的多尺度时间抽象

2016 IEEE/ACM 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) Pub Date : 2016-05-14 DOI: 10.1145/2897035.2897044

Roykrong Sukkerd, J. Cámara, D. Garlan, R. Simmons

{"title":"Multiscale Time Abstractions for Long-Range Planning under Uncertainty","authors":"Roykrong Sukkerd, J. Cámara, D. Garlan, R. Simmons","doi":"10.1145/2897035.2897044","DOIUrl":"https://doi.org/10.1145/2897035.2897044","url":null,"abstract":"Planning in CPSs requires temporal reasoning to handle the dynamics of the environment, including human behavior, as well as temporal constraints on system goals and durations of actions that systems and human actors may take. The discrete abstraction of time in a state space planning should have a time sampling parameter value that satisfies some relation to achieve a certain precision. In particular, the sampling period should be small enough to allow the dynamics of the problem domain to be modeled with sufficient precision. Meanwhile, in many cases, events in the far future (relative to the sampling period) may be relevant to the decision making earlier in the planning timeline; therefore, a longer planning look-ahead horizon can yield a closer-to-optimal plan. Unfortunately, planning with a uniform fine-grained discrete abstraction of time and a long look-ahead horizon is typically computationally infeasible. In this paper, we propose a multiscale temporal planning approach -- formulated as MDP planning -- to preserve the required time fidelity of the problem domain and at the same time approximate a globally optimal plan. We illustrate our approach in a middleware used to monitor large sensor networks.","PeriodicalId":167167,"journal":{"name":"2016 IEEE/ACM 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125879661","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}

引用次数: 5