发布求助
文献互助 智能选刊 最新文献

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

筛选
英文 中文
A Refinement Based Method for Developing Distributed Protocols 基于细化的分布式协议开发方法
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) Pub Date : 2019-01-01 DOI: 10.1109/HASE.2019.00023
P. Stankaitis, A. Iliasov, Y. A. Ameur, Tsutomu Kobayashi, F. Ishikawa, A. Romanovsky
{"title":"A Refinement Based Method for Developing Distributed Protocols","authors":"P. Stankaitis, A. Iliasov, Y. A. Ameur, Tsutomu Kobayashi, F. Ishikawa, A. Romanovsky","doi":"10.1109/HASE.2019.00023","DOIUrl":"https://doi.org/10.1109/HASE.2019.00023","url":null,"abstract":"This paper presents a methodology for modelling and verification of high-assurance distributed protocols. In the paper we describe two main technical contributions needed for the development method: communication modelling patterns and a refinement strategy. The applicability of the proposed method is demonstrated by developing a new distributed resource allocation protocol. We also discuss the necessity of integrating other tools such as stochastic model checkers for enabling verification of wider range of protocol properties.","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":"114279951","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}
引用次数: 8
Modeling and Verifying Spark on YARN Using Process Algebra 基于进程代数的Spark在YARN上建模与验证
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) Pub Date : 2019-01-01 DOI: 10.1109/HASE.2019.00039
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Yucheng Fang
{"title":"Modeling and Verifying Spark on YARN Using Process Algebra","authors":"Jiaqi Yin, Huibiao Zhu, Yuan Fei, Yucheng Fang","doi":"10.1109/HASE.2019.00039","DOIUrl":"https://doi.org/10.1109/HASE.2019.00039","url":null,"abstract":"","PeriodicalId":136378,"journal":{"name":"2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)","volume":"63 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":"133083552","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}
引用次数: 0
Message from the Chairs 来自主席的信息
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) Pub Date : 2019-01-01 DOI: 10.1109/hase.2019.00005
{"title":"Message from the Chairs","authors":"","doi":"10.1109/hase.2019.00005","DOIUrl":"https://doi.org/10.1109/hase.2019.00005","url":null,"abstract":"Energy, water and transportation infrastructure directly affect every individual in society. The energy, water and transportation services must be sustainable, clean, safe and affordable. The future smart grid and cities are socio-technical systems that should be developed to be efficient, sustainable and resilient. In order to achieve this, a major social transformation is required. The active involvement of the society, especially governmental and non-governmental organizations, representatives of industry and business, entrepreneurs, regulatory agencies, universities, research institutions, schools, local administrations, associations, and the media is required for such transformation.","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":"123101471","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
Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective 自治系统的多层安全架构:形式化协调视角
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) Pub Date : 2019-01-01 DOI: 10.1109/HASE.2019.00019
Inna Vistbakka, E. Troubitsyna, Amin Majd
{"title":"Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective","authors":"Inna Vistbakka, E. Troubitsyna, Amin Majd","doi":"10.1109/HASE.2019.00019","DOIUrl":"https://doi.org/10.1109/HASE.2019.00019","url":null,"abstract":"A pressure to deploy autonomous systems in reallife is increasing. Since exhaustive verification of safety of autonomous systems is unfeasible, the emphasis should be put on safety optimisation and run-time safety-monitoring techniques. In this paper, we propose a multi-layered architecture of autonomous systems. We define the notions of strategic, tactic and active safety – the complementary mechanisms for achieving safety. We take a swarm of drones as an example and formally define a multi-layered safety architecture and associated coordination mechanisms and underlying communication model to implement the defined complementary safety mechanisms. The derived coordination logic and communication model is formalised in Event-B framework.","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":"125415195","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}
引用次数: 6
Engineering Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach 汽车系统的工程功能安全要求:一种网络-物理-社会方法
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) Pub Date : 2019-01-01 DOI: 10.1109/HASE.2019.00021
M. Gharib, P. Lollini, A. Ceccarelli, A. Bondavalli
{"title":"Engineering Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach","authors":"M. Gharib, P. Lollini, A. Ceccarelli, A. Bondavalli","doi":"10.1109/HASE.2019.00021","DOIUrl":"https://doi.org/10.1109/HASE.2019.00021","url":null,"abstract":"Several approaches have been developed to assist automotive system manufacturers in designing safer vehicles by complying with functional safety standards. However, most of these approaches either mainly focus on the technical aspects of automotive systems and ignore the social ones, or they are not equipped with an adequate automated support. To this end, we propose a model-based approach for modeling and analyzing the Functional Safety Requirements (FSR) for automotive systems , which is based on the ISO 26262 standard and considers both technical and social aspects of such systems. This approach proposes a UML profile for modeling the FSR starting from item definition until safety validation, and it proposes constraints expressed in OCL to be used for the verification of FSR models. We illustrate the utility of the approach using an example from the automotive domain.","PeriodicalId":136378,"journal":{"name":"2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)","volume":"48 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":"125557330","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}
引用次数: 1
Title Page i 第1页
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) Pub Date : 2019-01-01 DOI: 10.1109/hase.2019.00001
{"title":"Title Page i","authors":"","doi":"10.1109/hase.2019.00001","DOIUrl":"https://doi.org/10.1109/hase.2019.00001","url":null,"abstract":"","PeriodicalId":136378,"journal":{"name":"2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)","volume":"2005 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":"125834358","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}
引用次数: 0
Air-Ground System Wide Information Management to Achieve Safe Flight Operation 空对地全系统信息管理，实现安全飞行
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) Pub Date : 2019-01-01 DOI: 10.1109/HASE.2019.00017
Xiaodong Lu, K. Morioka, T. Koga, Y. Sumiya
{"title":"Air-Ground System Wide Information Management to Achieve Safe Flight Operation","authors":"Xiaodong Lu, K. Morioka, T. Koga, Y. Sumiya","doi":"10.1109/HASE.2019.00017","DOIUrl":"https://doi.org/10.1109/HASE.2019.00017","url":null,"abstract":"","PeriodicalId":136378,"journal":{"name":"2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)","volume":"23 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":"126757936","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
Identification of Multi-Core Interference 多核干扰的识别
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) Pub Date : 2019-01-01 DOI: 10.1109/HASE.2019.00024
F. Boniol, C. Pagetti, Nathanaël Sensfelder
{"title":"Identification of Multi-Core Interference","authors":"F. Boniol, C. Pagetti, Nathanaël Sensfelder","doi":"10.1109/HASE.2019.00024","DOIUrl":"https://doi.org/10.1109/HASE.2019.00024","url":null,"abstract":"The CAST-32A provides some guidelines to help certify multi-core-based systems in the avionics domain. One major requirement is to compute all the potential interference and to provide adequate mitigation means. In this paper, we compare two approaches to identify the interference: the initiator-target and the Phylog models. The latter is more compact and efficient, despite also covering all of the problematic conflictual situations.","PeriodicalId":136378,"journal":{"name":"2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)","volume":"46 12","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114021138","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
Facilitating Failure Analysis with Software Instrumentation 用软件仪器进行故障分析
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) Pub Date : 2019-01-01 DOI: 10.1109/HASE.2019.00029
Brad J. Ziegler, Sahra Sedigh Sarvestani, A. Hurson
{"title":"Facilitating Failure Analysis with Software Instrumentation","authors":"Brad J. Ziegler, Sahra Sedigh Sarvestani, A. Hurson","doi":"10.1109/HASE.2019.00029","DOIUrl":"https://doi.org/10.1109/HASE.2019.00029","url":null,"abstract":"","PeriodicalId":136378,"journal":{"name":"2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)","volume":"4 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":"128010283","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}
引用次数: 1
SecCPS 2019 Workshop Committee SecCPS 2019研讨会委员会
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) Pub Date : 2019-01-01 DOI: 10.1109/hase.2019.00008
{"title":"SecCPS 2019 Workshop Committee","authors":"","doi":"10.1109/hase.2019.00008","DOIUrl":"https://doi.org/10.1109/hase.2019.00008","url":null,"abstract":"","PeriodicalId":136378,"journal":{"name":"2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)","volume":"1 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":"129230662","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}
引用次数: 0
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信
小红书