2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)最新文献

{"title":"Mining Accompanying Passing-Vehicles to Discover Suspected Gangs","authors":"Wei Zhihao, Jianyuan Li, W. Li","doi":"10.1109/HASE.2019.00016","DOIUrl":"https://doi.org/10.1109/HASE.2019.00016","url":null,"abstract":"","PeriodicalId":136378,"journal":{"name":"2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125307288","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}

{"title":"Formalizing Cyber–Physical System Model Transformation Via Abstract Interpretation","authors":"Natasha Jarus, Sahra Sedigh Sarvestani, A. Hurson","doi":"10.1109/HASE.2019.00025","DOIUrl":"https://doi.org/10.1109/HASE.2019.00025","url":null,"abstract":"Model transformation tools assist system designers by reducing the labor--intensive task of creating and updating models of various aspects of systems, ensuring that modeling assumptions remain consistent across every model of a system, and identifying constraints on system design imposed by these modeling assumptions. We have proposed a model transformation approach based on abstract interpretation, a static program analysis technique. Abstract interpretation allows us to define transformations that are provably correct and specific. This work develops the foundations of this approach to model transformation. We define model transformation in terms of abstract interpretation and prove the soundness of our approach. Furthermore, we develop formalisms useful for encoding model properties. This work provides a methodology for relating models of different aspects of a system and for applying modeling techniques from one system domain, such as smart power grids, to other domains, such as water distribution networks.","PeriodicalId":136378,"journal":{"name":"2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)","volume":"115 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116470511","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}

{"title":"Development of a Generic Model for Large-Scale Healthcare Organizations","authors":"F. Alkhaldi, A. Alouani","doi":"10.1109/HASE.2019.00038","DOIUrl":"https://doi.org/10.1109/HASE.2019.00038","url":null,"abstract":"","PeriodicalId":136378,"journal":{"name":"2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133724302","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}

{"title":"Simulation on Grounding Fault Location of Distribution Network Based on Regional Parameters","authors":"Bo Zhang, Haoming Liu, Jiajia Song, Jinbo Zhang","doi":"10.1109/HASE.2019.00040","DOIUrl":"https://doi.org/10.1109/HASE.2019.00040","url":null,"abstract":"The distribution network fault will cause big range and long-time blackout which will affect the safe and stable operation of the power system. The difficulty of locating grounding faults in power distribution networks is arc-suppression-coil-ground neutral system. The introduction of the arc suppression coil and the increase of the compensation current in the system make the relationship among zero sequence currents more complex, moreover, the comparison of zero sequence currents to realize the grounding fault location of arc suppression coil becomes more difficult. Although the residual increment method, short-circuit fault indicator method, signal injection method and first-half wave method are proposed in our country, but their effect are not good for grounding fault with high transition resistance, and the success rate of the grounding fault location is not high. In order to improve the real-time and accuracy of online monitoring for grounding fault location in the distribution network, this paper proposes a grounding fault location method based on regional parameters. The method divides the distribution network into several regions, and each region is installed a zero-phase sequence current transformer at the boundary. The transformer is used to measure the zero-phase sequence current, and the voltage transformer is used to measure the three-phase grounding voltages. According to the zero-phase sequence current, it can calculate the total grounding current of each region; through analysis and calculation of the total grounding current and the grounding voltages of three-phase line, we can get the three-phase grounding conductivities and the three-phase grounding susceptances. The simulation verifies that the grounding fault diagnosis method based on regional parameters has certain versatility, especially for high resistance grounding fault problems, thus it has great significance to ensure the safe and stable operation of distribution network and transmission line. Keywords—high power grid; grounding faults; regional parameters","PeriodicalId":136378,"journal":{"name":"2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123330049","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}

{"title":"Attack Defense Trees with Sequential Conjunction","authors":"J. Bryans, N. H. Nga, S. Shaikh","doi":"10.1109/HASE.2019.00045","DOIUrl":"https://doi.org/10.1109/HASE.2019.00045","url":null,"abstract":"","PeriodicalId":136378,"journal":{"name":"2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127761710","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}

{"title":"Research on Cloud Performance Testing Model","authors":"Honghui Li, Xiuru Li, Huan Wang, Jie Zhang, Zhouxian Jiang","doi":"10.1109/HASE.2019.00035","DOIUrl":"https://doi.org/10.1109/HASE.2019.00035","url":null,"abstract":"","PeriodicalId":136378,"journal":{"name":"2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)","volume":"99 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131759858","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}

{"title":"Study of Trust at Device Level of the Internet of Things Architecture","authors":"Tunde Akeem Yekini, Fehmi Jaafar, P. Zavarsky","doi":"10.1109/HASE.2019.00031","DOIUrl":"https://doi.org/10.1109/HASE.2019.00031","url":null,"abstract":"","PeriodicalId":136378,"journal":{"name":"2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)","volume":"67 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120976083","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}

{"title":"Semantically Enhanced Time Series Databases in IoT-Edge-Cloud Infrastructure","authors":"Shuai Zhang, Wenxi Zeng, I. Yen, F. Bastani","doi":"10.1109/HASE.2019.00014","DOIUrl":"https://doi.org/10.1109/HASE.2019.00014","url":null,"abstract":"Many IoT systems are data intensive and are for the purpose of monitoring for fault detection and diagnosis of critical systems. A large volume of data steadily come out of a large number of sensors in the monitoring system. Thus, we need to consider how to store and manage these data. Existing time series databases (TSDBs) can be used for monitoring data storage, but they do not have good models for describing the data streams stored in the database. In this paper, we develop a semantic model for the specification of the monitoring data streams (time series data) in terms of which sensor generated the data stream, which metric of which entity the sensor is monitoring, what is the relation of the entity to other entities in the system, which measurement unit is used for the data stream, etc. We have also developed a tool suite, SE-TSDB, that can run on top of existing TSDBs to help establish semantic specifications for data streams and enable semantic-based data retrievals. With our semantic model for monitoring data and our SE-TSDB tool suite, users can retrieve non-existing data streams that can be automatically derived from the semantics. Users can also retrieve data streams without knowing where they are. Semantic based retrieval is especially important in a large-scale integrated IoT-Edge-Cloud system, because of its sheer quantity of data, its huge number of computing and IoT devices that may store the data, and the dynamics in data migration and evolution. With better data semantics, data streams can be more effectively tracked and flexibly retrieved to help with timely data analysis and control decision making anywhere and anytime.","PeriodicalId":136378,"journal":{"name":"2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121917259","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}

{"title":"A Framework for Model-Based Dependability Analysis of Cyber-Physical Systems","authors":"Morayo Adedjouma, N. Yakymets","doi":"10.1109/HASE.2019.00022","DOIUrl":"https://doi.org/10.1109/HASE.2019.00022","url":null,"abstract":"","PeriodicalId":136378,"journal":{"name":"2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116726515","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}

{"title":"MidSecThings: Assurance Solution for Security Smart Homes in IoT","authors":"Richardson B. da Silva Andrade, Nelson Souto Rosa","doi":"10.1109/hase.2019.00034","DOIUrl":"https://doi.org/10.1109/hase.2019.00034","url":null,"abstract":"The interest over building security-based solutions to reduce the vulnerability exploits and mitigate the risks associated with smart homes in IoT is growing. However, our investigation identified to architect and implement distributed security mechanisms is still a challenge because is necessary to handle security and privacy in IoT middleware with a strong focus. Our investigation, it was identified the significant proportion of the systems that did not address security and did not describe the security approach in any meaningful detail. The idea proposed in this work is to provide middleware aim to implement security mechanisms in smart home and contribute as how guide to beginner developers’ IoT middleware. The advantages of using MidSecThings are to avoid leakage data, unavailable service, unidentification action and not authorized access over IoT devices in smart home.","PeriodicalId":136378,"journal":{"name":"2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123328354","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}