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

Device Mechanism: A Structured Device Driver Development Approach 设备机制:一种结构化的设备驱动程序开发方法

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

Raul Schmidlin Fajardo Silva, G. Marcus

引用次数: 0

Diagnostic Fusion for Time-Triggered Automotive Networks 时间触发汽车网络的诊断融合

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

Utsav Drolia, Soila Kavulya, Kunal Mankodiya, P. Narasimhan, T. Fuhrman

引用次数: 2

Towards Adaptable Middleware to Support Service Delivery Validation in i-DSML Execution Engines 面向i-DSML执行引擎中支持服务交付验证的适应性中间件

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

K. Morris, Jinpeng Wei, Peter J. Clarke, F. Costa

{"title":"Towards Adaptable Middleware to Support Service Delivery Validation in i-DSML Execution Engines","authors":"K. Morris, Jinpeng Wei, Peter J. Clarke, F. Costa","doi":"10.1109/HASE.2012.25","DOIUrl":"https://doi.org/10.1109/HASE.2012.25","url":null,"abstract":"A developing paradigm in the area of Software Engineering is that of Model Driven Development where models are used to express operations that are thereafter interpreted and executed through the use of an execution engine. The high level of abstraction within these models present inherent challenges in guaranteeing operation that respect policies and other constraints during execution. Additionally, the domain specificity necessarily present within these execution engines make them rigid and not suited for repurposing across different domains. We propose to address these issues through the use of a middleware architecture that is responsible for the service delivery aspect of the execution engine. Our architecture will provide a separation of domain specific and domain independent concerns, resulting in a set of domain specific artifacts which possess domain knowledge, and a generalized execution platform that inherits its operations from the domain artifacts. Our design facilitates the realization of user intent through the generation, validation and execution of adaptation models at runtime constrained by policies. We show the viability of this approach in the User-Centric Communication Middleware, a layer of the Communication Virtual Machine, which is responsible for enforcing communication requirements.","PeriodicalId":214862,"journal":{"name":"2012 IEEE 14th International Symposium on High-Assurance Systems Engineering","volume":"114 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":"123906277","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

Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation System 程序转换系统中Java源代码的链接语法和语义模型

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

V. Winter, Jonathan Guerrero, Alexander James, Carl Reinke

{"title":"Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation System","authors":"V. Winter, Jonathan Guerrero, Alexander James, Carl Reinke","doi":"10.1109/HASE.2012.8","DOIUrl":"https://doi.org/10.1109/HASE.2012.8","url":null,"abstract":"Static analysis and software manipulation tools are frequently rule-based and draw on a variety of software models in order to achieve their goals. Program transformation languages provide traversal and matching capabilities that are aligned with the core functionality of rule-based systems. Therefore, transformation systems should be considered as candidates for implementing static analysis and manipulation tools. An issue associated with this approach is that transformation systems predominantly operate on syntactic models (abstract/concrete trees) of software. To effectively support in-depth analysis, it is beneficial to integrate the syntactic models used by transformation systems with one or more semantic models. This paper describes a system, called GPS-Traverse, that establishes a link between syntactic and semantic models of Java software. These models are central to a transformation-based Java source code analysis and manipulation system we are developing called Sextant. Within Sextant, GPS-traverse provides a coordinate system that is accessible during transformation. These coordinates enable the semantic model to be queried in a context-sensitive fashion during the course of transformation.","PeriodicalId":214862,"journal":{"name":"2012 IEEE 14th International Symposium on High-Assurance Systems Engineering","volume":"12 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":"115202887","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

Multi-objective Optimization of Formal Specifications 形式规范的多目标优化

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

S. Struck, Michael Lipaczewski, F. Ortmeier, Matthias Güdemann

{"title":"Multi-objective Optimization of Formal Specifications","authors":"S. Struck, Michael Lipaczewski, F. Ortmeier, Matthias Güdemann","doi":"10.1109/HASE.2012.21","DOIUrl":"https://doi.org/10.1109/HASE.2012.21","url":null,"abstract":"Even in the domain of safety critical systems, safety and reliability are not the only goals and a developing engineer is faced with the problem to find good compromises wrt. other antagonistic objectives, in particular economic aspects of a system. Thus there does not exist a single optimal design variant of a system but only compromises each \"best\" in its own rights. With the rising complexity, especially of cyber-physical systems, the process of manually finding best compromises becomes even more difficult. To cope with this problem, we propose a model-based optimization approach which uses quantitative model-based safety analysis. While the general approach is tool-independent, we implement it technically by introducing well defined variation points to a formal system model. These allow enough variability to cover whole families of systems while still being rigorous enough for formal analysis. From the specification of this family of system variants and a set of objective functions, we compute Pareto optimal sets, which represent best compromises. In this paper we present a framework which allows for optimization of arbitrary quantitative goal functions, in particular probabilistic temporal logic properties used for model-based safety analysis. Nevertheless, the approach itself is well applicable to other domains.","PeriodicalId":214862,"journal":{"name":"2012 IEEE 14th International Symposium on High-Assurance Systems Engineering","volume":"41 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":"124779206","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}

引用次数: 4

Exception Handling Defects: An Empirical Study 异常处理缺陷:一个实证研究

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

Puntitra Sawadpong, E. B. Allen, Byron J. Williams

{"title":"Exception Handling Defects: An Empirical Study","authors":"Puntitra Sawadpong, E. B. Allen, Byron J. Williams","doi":"10.1109/HASE.2012.24","DOIUrl":"https://doi.org/10.1109/HASE.2012.24","url":null,"abstract":"Exception handling mechanisms are a feature common in many programming languages. Improper handling of exceptions can cause failures in software systems. This is especially critical for high-assurance systems where software failures may have severe consequences. Understanding the impact of misusing exception handling is important for better utilization of these constructs. This paper presents an exploratory study to determine whether using exception handling is relatively risky by analyzing the defect densities of exception handling code and the overall source code. Also, statistics representing the prevalence of exception handling code are proposed. The study was conducted with six major Eclipse releases. Essential data was collected using custom scripts to extract exception handling information from the source code and exception handling defects information from bug reports. We found that the density of defects that are closely related to exception handling constructs is relatively high compared to the overall defect density. This implies a relationship between the use of exception handling constructs and the risk of defects. Further studies should be conducted to better determine proper ways to implement exception handling and the root causes of exception defects in the software systems.","PeriodicalId":214862,"journal":{"name":"2012 IEEE 14th International Symposium on High-Assurance Systems Engineering","volume":"13 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":"116384928","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}

引用次数: 41

A Resilient Architecture for Forensic Storage of Events in Critical Infrastructures 关键基础设施中事件取证存储的弹性体系结构

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

M. Afzaal, Cesario Di Sarno, L. Coppolino, S. D'Antonio, L. Romano

引用次数: 28

Fast Abstract: Software Selection Based on Quantitative Security Risk Assessment 摘要:基于定量安全风险评估的软件选择

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

R. Das, S. Sarkani, T. Mazzuchi

引用次数: 2

Model Checking Software Architecture Design 模型检查软件架构设计

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

Jiexin Zhang, Yang Liu, Jing Sun, J. Dong, Jun Sun

引用次数: 21

Automated Duplicate Bug Report Classification Using Subsequence Matching 使用子序列匹配自动重复错误报告分类

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

Sean Banerjee, B. Cukic, D. Adjeroh

引用次数: 36