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

Modelica-Supported Attack Impact Evaluation in Cyber Physical Energy System 基于modelica的网络物理能量系统攻击影响评估

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) Pub Date : 2019-01-01 DOI: 10.1109/HASE.2019.00042

Kaikai Pan, D. Gusain, P. Palensky

引用次数: 5

Private Blockchain Network for IoT Device Firmware Integrity Verification and Update 用于物联网设备固件完整性验证和更新的私有区块链网络

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) Pub Date : 2019-01-01 DOI: 10.1109/HASE.2019.00033

Samip Dhakal, Fehmi Jaafar, P. Zavarsky

引用次数: 14

Parallel Verification of Software Architecture Design 软件架构设计的并行验证

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) Pub Date : 2019-01-01 DOI: 10.1109/HASE.2019.00018

Nacha Chondamrongkul, Jing Sun, Bingyang Wei, I. Warren

{"title":"Parallel Verification of Software Architecture Design","authors":"Nacha Chondamrongkul, Jing Sun, Bingyang Wei, I. Warren","doi":"10.1109/HASE.2019.00018","DOIUrl":"https://doi.org/10.1109/HASE.2019.00018","url":null,"abstract":"In the component-based software system, certain behaviours of components and their composition may affect system reliability at runtime. This problem can be early detected through the automated verification of software architecture design, by which model checking is one of the techniques to achieve this. However, its practicality and performance issue remain challenges. This paper presents a scalable approach for the software architecture verification. The modelling is proposed to manifest the behaviours in the software component, in order to detect problematic behaviours, such as circular dependency and performance bottleneck. The outcome of the verification identifies the problem and the scenarios that cause it. In order to mitigate the verification performance issue, the parallelism is applied to the verification process so that multiple decomposed models can be simultaneously verified on a multi-threaded environment. As some software systems are designed as the monolithic architecture, we present a method that helps to automatically decompose a large monolithic model into a set of smaller sub-models. Our approach was evaluated and proved to enhance the performance of the verification process for the large-scale complex software systems. Keywords-Software Architecture, Component-based Software, Model Checking, Circular Dependency, Bottleneck","PeriodicalId":136378,"journal":{"name":"2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)","volume":"6 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":"131589542","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

A Lightweight Framework for Regular Expression Verification 正则表达式验证的轻量级框架

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) Pub Date : 1900-01-01 DOI: 10.1109/HASE.2019.00011

Xiao Liu, Yufei Jiang, Dinghao Wu

引用次数: 5

Timing Modeling and Analysis for AUTOSAR Schedule Tables AUTOSAR进度表时序建模与分析

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) Pub Date : 1900-01-01 DOI: 10.1109/HASE.2019.00027

Rongkun Yan, Jian Guo

引用次数: 3

Isochronous Execution Models for High-Assurance Real-Time Systems 高保证实时系统的等时执行模型

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) Pub Date : 1900-01-01 DOI: 10.1109/HASE.2019.00020

B. Alahmad, S. Gopalakrishnan

{"title":"Isochronous Execution Models for High-Assurance Real-Time Systems","authors":"B. Alahmad, S. Gopalakrishnan","doi":"10.1109/HASE.2019.00020","DOIUrl":"https://doi.org/10.1109/HASE.2019.00020","url":null,"abstract":"To counter the exorbitant cost of developing certifiable safety-critical software, we propose task execution models that realize an architectural mitigation-based approach to achieving high integrity and highly predictable safety-critical systems. Our premise is that high design assurance levels (DALs) for a software component may be achieved as follows: each system operation that needs a high assurance level will be handled by a software component that has high performance/quality-of-service on average, but built at a lower assurance level, and this component is “monitored” by one (or more) simple component(s) that is (are) predictable, may have lower QoS, but is (are) built at the highest assurance level. The components associated with a software function would run isochronously on separate processors. We present a suite of such isochronous allocation and scheduling problems with varying levels of generality, along with their solutions. We extend our results to the recurrent task model, where tasks should complete before their deadlines. Keywords-isochronous execution, runtime monitor, real-time task scheduling, design assurance levels.","PeriodicalId":136378,"journal":{"name":"2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127642069","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

Vulnerability Analysis of an Automotive Infotainment System's WIFI Capability 某汽车信息娱乐系统WIFI功能漏洞分析

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) Pub Date : 1900-01-01 DOI: 10.1109/HASE.2019.00044

Edwin Franco Myloth Josephlal, Sridhar Adepu

引用次数: 6

Quantitative Validation of Formal Domain Models 形式领域模型的定量验证

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) Pub Date : 1900-01-01 DOI: 10.1109/HASE.2019.00013

A. Iliasov, A. Romanovsky, L. Laibinis

引用次数: 1

A Framework for Preprocessing Multivariate, Topology-Aware Time Series and Event Data in a Multi-System Environment 多系统环境下多变量、拓扑感知时间序列和事件数据预处理框架

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) Pub Date : 1900-01-01 DOI: 10.1109/HASE.2019.00026

Andreas Schörgenhumer, Mario Kahlhofer, Peter Chalupar, P. Grünbacher, H. Mössenböck

{"title":"A Framework for Preprocessing Multivariate, Topology-Aware Time Series and Event Data in a Multi-System Environment","authors":"Andreas Schörgenhumer, Mario Kahlhofer, Peter Chalupar, P. Grünbacher, H. Mössenböck","doi":"10.1109/HASE.2019.00026","DOIUrl":"https://doi.org/10.1109/HASE.2019.00026","url":null,"abstract":"Monitoring and predicting quality properties of complex systems relies on collecting and analyzing huge amounts of data at run time. Machine learning is frequently adopted to analyze time series and event data, often coming from multiple systems. In such a context, extracting and preprocessing data is an essential but also highly tedious task. In this paper, we thus present an offline preprocessing framework that can handle multivariate time series and event data in a multisystem environment that also takes the system’s topology into account. After a discussion of the key requirements, we present the architecture and implementation of our highly configurable and easy-to-use framework. We demonstrate how the framework allows to extract data and to yield output files for machine learning via configuration settings. In a two-step evaluation, we investigate the framework’s usefulness and scalability. We demonstrate the usefulness in an event prediction case study of real-world multi-system time series data. Our results show the significant impact of different data preprocessing settings on machine learning. Our experiments further demonstrate that processing performance scales linearly with respect to the number of systems and time series.","PeriodicalId":136378,"journal":{"name":"2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115310044","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

Security Evaluation of a VM-Based Intrusion-Tolerant System with Pull-Type Patch Management 基于拉式补丁管理的虚拟机容错系统安全评估

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) Pub Date : 1900-01-01 DOI: 10.1109/HASE.2019.00032

Junjun Zheng, H. Okamura, T. Dohi

引用次数: 4