2015 IEEE 16th International Symposium on High Assurance Systems Engineering最新文献

Modeling and Verifying Google File System 建模和验证Google文件系统

2015 IEEE 16th International Symposium on High Assurance Systems Engineering Pub Date : 2015-01-08 DOI: 10.1109/HASE.2015.38

Bo Li, Mengdi Wang, Yongxin Zhao, G. Pu, Huibiao Zhu, Fu Song

引用次数: 11

Fidelity and Complexity in Passive Radar Simulations 无源雷达仿真中的保真度和复杂性

2015 IEEE 16th International Symposium on High Assurance Systems Engineering Pub Date : 2015-01-08 DOI: 10.1109/HASE.2015.30

W. Barott, Ted Dabrowski, B. Himed

引用次数: 2

Adaptive GC-Aware Load Balancing Strategy for High-Assurance Java Distributed Systems 高保证Java分布式系统的自适应gc感知负载均衡策略

2015 IEEE 16th International Symposium on High Assurance Systems Engineering Pub Date : 2015-01-08 DOI: 10.1109/HASE.2015.19

Omar Portillo-Dominguez, Miao Wang, John Murphy, D. Magoni, A. O. Portillo-Dominguez

{"title":"Adaptive GC-Aware Load Balancing Strategy for High-Assurance Java Distributed Systems","authors":"Omar Portillo-Dominguez, Miao Wang, John Murphy, D. Magoni, A. O. Portillo-Dominguez","doi":"10.1109/HASE.2015.19","DOIUrl":"https://doi.org/10.1109/HASE.2015.19","url":null,"abstract":"High-Assurance applications usually require achieving fast response time and high throughput on a constant basis. To fulfil these stringent quality of service requirements, these applications are commonly deployed in clustered instances. However, how to effectively manage these clusters has become a new challenge. A common approach is to deploy a front-end load balancer to optimise the workload distribution among the clustered applications. Thus, researchers have been studying how to improve the effectiveness of a load balancer. Our previous work presented a novel load balancing strategy which improves the performance of a distributed Java system by avoiding the performance impacts of Major Garbage Collection, which is a common cause of performance degradation in Java applications. However, as that strategy used a static configuration, it could only improve the performance of a system if the strategy was configured with domain expert knowledge. This paper extends our previous work by presenting an adaptive GC-aware load balancing strategy which self-configures according to the GC characteristics of the application. Our results have shown that this adaptive strategy can achieve higher throughput and lower response time, compared to the round-robin load balancing, while also avoiding the burden of manual tuning.","PeriodicalId":248645,"journal":{"name":"2015 IEEE 16th International Symposium on High Assurance Systems Engineering","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123654188","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}

引用次数: 10

Ontology of Secure Service Level Agreement 安全服务水平协议本体

2015 IEEE 16th International Symposium on High Assurance Systems Engineering Pub Date : 2015-01-08 DOI: 10.1109/HASE.2015.33

Chen-Yu Lee, K. Kavi, R. Paul, M. Gomathisankaran

引用次数: 22

Weaving an Assurance Case from Design: A Model-Based Approach 从设计中编织保证案例:基于模型的方法

2015 IEEE 16th International Symposium on High Assurance Systems Engineering Pub Date : 2015-01-08 DOI: 10.1109/HASE.2015.25

R. Hawkins, I. Habli, D. Kolovos, R. Paige, T. Kelly

引用次数: 73

Model-Checking and Game theory for Synthesis of Safety Rules 安全规则综合的模型检验与博弈论

2015 IEEE 16th International Symposium on High Assurance Systems Engineering Pub Date : 2015-01-08 DOI: 10.1109/HASE.2015.15

M. Machin, F. Dufossé, Jérémie Guiochet, D. Powell, Matthieu Roy, H. Waeselynck

引用次数: 17

Formal Foundations for Hierarchical Safety Cases 分层安全案例的形式基础

2015 IEEE 16th International Symposium on High Assurance Systems Engineering Pub Date : 2015-01-08 DOI: 10.1109/HASE.2015.17

E. Denney, Ganesh J. Pai, I. Whiteside

{"title":"Formal Foundations for Hierarchical Safety Cases","authors":"E. Denney, Ganesh J. Pai, I. Whiteside","doi":"10.1109/HASE.2015.17","DOIUrl":"https://doi.org/10.1109/HASE.2015.17","url":null,"abstract":"Safety cases are increasingly being required in many safety-critical domains to assure, using structured argumentation and evidence, that a system is acceptably safe. However, comprehensive system-wide safety arguments present appreciable challenges to develop, understand, evaluate, and manage, partly due to the volume of information that they aggregate, such as the results of hazard analysis, requirements analysis, testing, formal verification, and other engineering activities. Previously, we have proposed hierarchical safety cases, hicases, to aid the comprehension of safety case argument structures. In this paper, we build on a formal notion of safety case to formalise the use of hierarchy as a structuring technique, and show that hicases satisfy several desirable properties. Our aim is to provide a formal, theoretical foundation for safety cases. In particular, we believe that tools for high assurance systems should be granted similar assurance to the systems to which they are applied. To this end, we formally specify and prove the correctness of key operations for constructing and managing hicases, which gives the specification for implementing hicases in Advocate, our toolset for safety case automation. We motivate and explain the theory with the help of a simple running example, extracted from a real safety case and developed using Advocate.","PeriodicalId":248645,"journal":{"name":"2015 IEEE 16th International Symposium on High Assurance Systems Engineering","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128589173","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}

引用次数: 27

Adaptive Failure Prediction for Computer Systems: A Framework and a Case Study 计算机系统自适应故障预测:框架与案例研究

2015 IEEE 16th International Symposium on High Assurance Systems Engineering Pub Date : 2015-01-08 DOI: 10.1109/HASE.2015.29

Ivano Irrera, M. Vieira, J. Durães

引用次数: 17

A Fixed-Point Algorithm for Automated Static Detection of Infinite Loops 无限循环自动静态检测的不动点算法

2015 IEEE 16th International Symposium on High Assurance Systems Engineering Pub Date : 2015-01-08 DOI: 10.1109/HASE.2015.16

A. Ibing, Alexandra Mai

引用次数: 14

A Game-Theoretical Model for Security Risk Management of Interdependent ICT and Electrical Infrastructures 信息通信技术与电力基础设施安全风险管理的博弈论模型

2015 IEEE 16th International Symposium on High Assurance Systems Engineering Pub Date : 2015-01-08 DOI: 10.1109/HASE.2015.24

Z. Ismail, J. Leneutre, D. Bateman, Lin Chen

引用次数: 10