2012 IEEE 14th International Symposium on High-Assurance Systems Engineering最新文献

Certifying Services in Cloud: The Case for a Hybrid, Incremental and Multi-layer Approach 云服务认证:混合、增量和多层方法的案例

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering Pub Date : 2012-10-25 DOI: 10.1109/HASE.2012.16

G. Spanoudakis, E. Damiani, A. Maña

引用次数: 24

Real-Time Anomaly Detection in Streams of Execution Traces 执行轨迹流中的实时异常检测

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering Pub Date : 2012-10-25 DOI: 10.1109/HASE.2012.13

Wenke Zhang, F. Bastani, I. Yen, K. Hulin, F. Bastani, L. Khan

{"title":"Real-Time Anomaly Detection in Streams of Execution Traces","authors":"Wenke Zhang, F. Bastani, I. Yen, K. Hulin, F. Bastani, L. Khan","doi":"10.1109/HASE.2012.13","DOIUrl":"https://doi.org/10.1109/HASE.2012.13","url":null,"abstract":"For deployed systems, software fault detection can be challenging. Generally, faulty behaviors are detected based on execution logs, which may contain a large volume of execution traces, making analysis extremely difficult. This paper investigates and compares the effectiveness and efficiency of various data mining techniques for software fault detection based on execution logs, including clustering based, density based, and probabilistic automata based methods. However, some existing algorithms suffer from high complexity and do not scale well to large datasets. To address this problem, we present a suite of prefix tree based anomaly detection techniques. The prefix tree model serves as a compact loss less data representation of execution traces. Also, the prefix tree distance metric provides an effective heuristic to guide the search for execution traces having close proximity to each other. In the density based algorithm, the prefix tree distance is used to confine the K-nearest neighbor search to a small subset of the nodes, which greatly reduces the computing time without sacrificing accuracy. Experimental studies show a significant speedup in our prefix tree based and prefix tree distance guided approaches, from days to minutes in the best cases, in automated identification of software failures.","PeriodicalId":214862,"journal":{"name":"2012 IEEE 14th International Symposium on High-Assurance Systems Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130297996","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

GPS and Electronic Fence Data Fusion for Positioning within Railway Worksite Scenarios 铁路工地GPS与电子围栏数据融合定位

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering Pub Date : 2012-10-25 DOI: 10.1109/HASE.2012.30

J. Figueiras, Jesper Grønbæk, A. Ceccarelli, H. Schwefel

{"title":"GPS and Electronic Fence Data Fusion for Positioning within Railway Worksite Scenarios","authors":"J. Figueiras, Jesper Grønbæk, A. Ceccarelli, H. Schwefel","doi":"10.1109/HASE.2012.30","DOIUrl":"https://doi.org/10.1109/HASE.2012.30","url":null,"abstract":"Context-dependent decisions in safety-critical applications require careful consideration of accuracy and timeliness of the underlying context information. Relevant examples include location-dependent actions in mobile distributed systems. This paper considers localization functions for personalized warning systems for railway workers, where the safety aspects require timely and precise identification whether a worker is located in a dangerous (red) or safe (green) zone within the worksite. The paper proposes and analyzes a data fusion approach based on low-cost GPS receivers integrated on mobile devices, combined with electronic fences strategically placed in the adjacent boundaries between safe and unsafe geographic zones. An approach based on the combination of a Kalman Filter for GPS-based trajectory estimation and a Hidden Markov Model for inclusion of mobility constraints and fusion with information from the electronic fences is developed and analyzed. Different accuracy metrics are proposed and the benefit obtained from the fusion with electronic fences is quantitatively analyzed in the scenarios of a single mobile entity: By having fence information, the correct zone estimation can increase by 30%, while false alarms can be reduced one order of magnitude in the tested scenario.","PeriodicalId":214862,"journal":{"name":"2012 IEEE 14th International Symposium on High-Assurance Systems Engineering","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123536204","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}

引用次数: 7

Automated Verification of AADL-Specifications Using UPPAAL 使用UPPAAL自动验证aadl规格

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering Pub Date : 2012-10-25 DOI: 10.1109/HASE.2012.22

Andreas Johnsen, K. Lundqvist, P. Pettersson, Omar Jaradat

{"title":"Automated Verification of AADL-Specifications Using UPPAAL","authors":"Andreas Johnsen, K. Lundqvist, P. Pettersson, Omar Jaradat","doi":"10.1109/HASE.2012.22","DOIUrl":"https://doi.org/10.1109/HASE.2012.22","url":null,"abstract":"The Architecture Analysis and Design Language (AADL) is used to represent architecture design decisions of safety-critical and real-time embedded systems. Due to the far-reaching effects these decisions have on the development process, an architecture design fault is likely to have a significant deteriorating impact through the complete process. Automated fault avoidance of architecture design decisions therefore has the potential to significantly reduce the cost of the development while increasing the dependability of the end product. To provide means for automated fault avoidance when developing systems specified in AADL, a formal verification technique has been developed to ensure completeness and consistency of an AADL specification as well as its conformity with the end product. The approach requires the semantics of AADL to be formalized and implemented. We use the methodology of semantic anchoring to contribute with a formal and implemented semantics of a subset of AADL through a set of transformation rules to timed automata constructs. In addition, the verification technique, including the transformation rules, is validated using a case study of a safety-critical fuel-level system developed by a major vehicle manufacturer.","PeriodicalId":214862,"journal":{"name":"2012 IEEE 14th International Symposium on High-Assurance Systems Engineering","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123545147","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}

引用次数: 39

Using Tool-Supported Model Based Safety Analysis -- Progress and Experiences in SAML Development 基于工具支持模型的安全分析——SAML开发的进展与经验

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering Pub Date : 2012-10-25 DOI: 10.1109/HASE.2012.34

Michael Lipaczewski, S. Struck, F. Ortmeier

引用次数: 13

Communication Efficient Oblivious Transfer Using Elliptic Curves 基于椭圆曲线的通信高效无关传输

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering Pub Date : 2012-10-25 DOI: 10.1109/HASE.2012.14

Abhishek Parakh

引用次数: 2

How to Reduce the Cost of Passive Testing 如何降低被动检测的成本

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering Pub Date : 2012-10-25 DOI: 10.1109/HASE.2012.36

César Andrés, A. Cavalli

引用次数: 2

A MDA-based Approach for Developing Simulation-Oriented Combat Flows 一种基于mda的面向仿真的作战流程开发方法

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering Pub Date : 2012-10-25 DOI: 10.1109/HASE.2012.32

Hong Lu, Li Zhang, Zhao Liu

引用次数: 0

Visual model-driven design, verification and implementation of security protocols 可视化模型驱动的安全协议设计、验证和实现

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering Pub Date : 2012-10-25 DOI: 10.1109/HASE.2012.23

P. B. Copet, A. Pironti, D. Pozza, R. Sisto, P. Vivoli

引用次数: 5

An Autonomic Reliability Improvement System for Cyber-Physical Systems 信息物理系统的自主可靠性改进系统

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering Pub Date : 2012-10-25 DOI: 10.1109/HASE.2012.33

Leon Wu, G. Kaiser

{"title":"An Autonomic Reliability Improvement System for Cyber-Physical Systems","authors":"Leon Wu, G. Kaiser","doi":"10.1109/HASE.2012.33","DOIUrl":"https://doi.org/10.1109/HASE.2012.33","url":null,"abstract":"System reliability is a fundamental requirement of cyber-physical systems. Unreliable systems can lead to disruption of service, financial cost and even loss of human life. Typical cyber-physical systems are designed to process large amounts of data, employ software as a system component, run online continuously and retain an operator-in-the-loop because of human judgment and accountability requirements for safety-critical systems. This paper describes a data-centric runtime monitoring system named ARIS (Autonomic Reliability Improvement System) for improving the reliability of these types of cyber-physical systems. ARIS employs automated online evaluation, working in parallel with the cyber-physical system to continuously conduct automated evaluation at multiple stages in the system workflow and provide real-time feedback for reliability improvement. This approach enables effective evaluation of data from cyber-physical systems. For example, abnormal input and output data can be detected and flagged through data quality analysis. As a result, alerts can be sent to the operator-in-the-loop, who can then take actions and make changes to the system based on these alerts in order to achieve minimal system downtime and higher system reliability. We have implemented ARIS in a large commercial building cyber-physical system in New York City, and our experiment has shown that it is effective and efficient in improving building system reliability.","PeriodicalId":214862,"journal":{"name":"2012 IEEE 14th International Symposium on High-Assurance Systems Engineering","volume":"116 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128088702","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}

引用次数: 14