2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS)最新文献_第2页

Software Reliability Modeling and Analysis via Kernel-Based Approach 基于核的软件可靠性建模与分析

2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) Pub Date : 2017-11-01 DOI: 10.1109/ICECCS.2017.16

Kei Okumura, H. Okamura, T. Dohi

{"title":"Software Reliability Modeling and Analysis via Kernel-Based Approach","authors":"Kei Okumura, H. Okamura, T. Dohi","doi":"10.1109/ICECCS.2017.16","DOIUrl":"https://doi.org/10.1109/ICECCS.2017.16","url":null,"abstract":"Traditional software reliability analysis utilizes only the fault count data observed in testing phase, and is done independently of the source code itself. Recently, it is known that utilization of software metrics in software reliability modeling and analysis can lead to more accurate reliability estimation and fault prediction through many empirical studies. However, such a metrics-based modeling also requires a careful selection of software metrics and their measurement, which are often troublesome and cost-consuming in practice. In this paper, we propose a kernel-based approach to estimate the quantitative software reliability, where two cases are considered; multiple software metrics are used and not. In the former case, we combine the kernel regression with the well-known non-homogeneous Poisson process-based software reliability growth model (SRGM), and propose a new metrics-based SRGM. In the latter case, we perform a similarity-based analysis through a source code transformation algorithm and try to estimate the quantitative software reliability from the source code directly without measuring multiple software metrics. Numerical examples with real application programs are presented to validate our kernel-based approach in the above two cases.","PeriodicalId":114056,"journal":{"name":"2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131636229","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

Decomposition and Collaboration of Industrial Control System with Resource Constraints 资源约束下工业控制系统的分解与协同

2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) Pub Date : 2017-11-01 DOI: 10.1109/ICECCS.2017.25

Ju Li, Jiawen Xiong, Xia Mao, Jianqi Shi, Xin Ye, Yanhong Huang

引用次数: 0

Distributed Object-Oriented Design of Autonomous Control Systems for Connected Vehicle Platoons 车联网自动控制系统的分布式面向对象设计

2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) Pub Date : 2017-11-01 DOI: 10.1109/ICECCS.2017.32

Sebti Mouelhi, D. Cancila, A. Ramdane-Cherif

引用次数: 7

Class Modularization Using Indirect Relationships 使用间接关系的类模块化

2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) Pub Date : 2017-11-01 DOI: 10.1109/ICECCS.2017.23

Junha Lee, Dae-Kyoo Kim, Jiwoo Park, S. Park

{"title":"Class Modularization Using Indirect Relationships","authors":"Junha Lee, Dae-Kyoo Kim, Jiwoo Park, S. Park","doi":"10.1109/ICECCS.2017.23","DOIUrl":"https://doi.org/10.1109/ICECCS.2017.23","url":null,"abstract":"Cohesion significantly impacts on posterior development and maintenance. A well-designed module should be coherent with a single responsibility and less propagative for changes to other modules. In object-oriented development, classes are often modularized based on their relationships to localize change impact. There has been much work on grouping classes using direct class interactions and similarity of lexical information of classes. However, there has been little attention to indirect class relationships which are significant in defining functional semantics in object-oriented systems. In this paper, we present an approach for grouping classes using both direct and indirect class relationships. In the approach, we define a set of metrics for measuring couplings based on indirect class relationships and use them to group classes with the aim of localizing the impact of changes. We evaluate the approach using three applications - JHotDraw, JMeter, and ArgoUML and compare the results with existing work. The evaluation shows that the proposed approach reduces 17.2% and 22.2% of the number of packages that are affected by changes over the existing works.","PeriodicalId":114056,"journal":{"name":"2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132988774","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

A Unified Framework for Throughput Analysis of Streaming Applications under Memory Constraints 内存约束下流应用吞吐量分析的统一框架

2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) Pub Date : 2017-11-01 DOI: 10.1109/ICECCS.2017.15

Xue-Yang Zhu

{"title":"A Unified Framework for Throughput Analysis of Streaming Applications under Memory Constraints","authors":"Xue-Yang Zhu","doi":"10.1109/ICECCS.2017.15","DOIUrl":"https://doi.org/10.1109/ICECCS.2017.15","url":null,"abstract":"Streaming applications are an important class of applications in real-time embedded systems, which usually run under restricted resource constraints and with real-time requirement. They are often modeled with Synchronous data flow graphs (SDFGs) or Cyclo-Static data flow graphs (CSDFGs) at the design stage. A proper analysis of the models gives a predictable design for a system. In this paper, we focus on the throughput analysis of (C)SDFGs, taking into account memory constraints. Memory related analysis needs to choose a memory abstraction that decides when the space of consumed data is released and when the required space is claimed. Different memory abstractions may lead to different achievable throughputs. The existing techniques, however, consider only a certain abstraction. If a model is implemented according to other abstractions, the analysis result may not truly evaluate the performance of the system. In this paper, we present a novel unified framework for throughput analysis of memory constrained (C)SDFGs for different abstractions, aiming to provide evaluations matching up to the corresponding implementations. Our methods are exact. Experiments are carried out on several models of real streaming applications and hundreds of synthetic graphs to evaluate the effects and performance of our methods.","PeriodicalId":114056,"journal":{"name":"2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS)","volume":"134 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122703076","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

Multi-modeling Approach to Performance Engineering of Cyber-Physical Systems Design 信息物理系统设计性能工程的多建模方法

2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) Pub Date : 2017-11-01 DOI: 10.1109/ICECCS.2017.22

Lorenzo Pagliari, R. Mirandola, Catia Trubiani

引用次数: 11

Study of Software-Related Causes in the FDA Medical Device Recalls FDA医疗器械召回中软件相关原因的研究

2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) Pub Date : 2017-11-01 DOI: 10.1109/ICECCS.2017.20

Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, L. Sha

{"title":"Study of Software-Related Causes in the FDA Medical Device Recalls","authors":"Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, L. Sha","doi":"10.1109/ICECCS.2017.20","DOIUrl":"https://doi.org/10.1109/ICECCS.2017.20","url":null,"abstract":"As technology advances, medical devices are playing increasingly more important roles in patient care. Unfortunately, based on the U.S. Food and Drug Administration (FDA) data, medical device recalls are at an all time high. One of the major causes of the recalls is due to defective software. In fact, one in every three medical devices that use software for operation has been recalled because of failures in the software itself. Unlike traditional software, software-based medical devices have specific domain fault modes, and these fault modes have been not addressed in software design literature, such as dosage calculation fault. In this paper, we first present a process that collects software-related medical device recalls from the FDA database. Collecting all software-related medical device recalls is an effort that needs the support and contributions from a large research, industrial, and medical community, To facility such effort, we have developed a web-based platform for different users to contribute and share new software-related medical device recalls into the collection. Second, we analyze one hundred software-related recalls that we have collected from the FDA database. Our analysis reveals that there are four major categories of software failures in medical device recalls and implicit assumptions made by medical device manufacturers are among one of the leading causes in medical device recalls. Last, we present an approach for implicit assumption management in medical cyber-physical system designs.","PeriodicalId":114056,"journal":{"name":"2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS)","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131199725","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

Enhancing Knowledge Sharing in Stack Overflow via Automatic External Web Resources Linking 通过外部Web资源自动链接增强堆栈溢出中的知识共享

2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) Pub Date : 2017-11-01 DOI: 10.1109/ICECCS.2017.30

Sa Gao, Zhenchang Xing, Yukun Ma, Deheng Ye, Shang-Wei Lin

{"title":"Enhancing Knowledge Sharing in Stack Overflow via Automatic External Web Resources Linking","authors":"Sa Gao, Zhenchang Xing, Yukun Ma, Deheng Ye, Shang-Wei Lin","doi":"10.1109/ICECCS.2017.30","DOIUrl":"https://doi.org/10.1109/ICECCS.2017.30","url":null,"abstract":"Referencing URLs of external web resources (e.g., official language references and API documents) is an effective mechanism for knowledge sharing in Q&A websites like Stack Overflow. We show that reference frequencies of URLs follow power law distribution, meaning that web resources that have been referenced frequently will likely to be referenced again. However, there lack of effective methods to manage and reuse already-shared web resources relevant to entities (e.g., APIs or programming concepts) that are mentioned in Q&A discussions. As URL references are done in an ad-hoc manner, large amounts of entity mentions have not been linked to relevant web resources. To enhance management and reuse of alreadyshared web resources in Stack Overflow, we build a knowledge base of official documentation of languages and APIs that have been shared in Stack Overflow, and develop an automatic web resources linking technique to linkify entity mentions to relevant official documentation in the knowledge base. A challenge in automatic web resources linking is that entity mentions often have ambiguity, for example, same programming concepts across different languages, same name APIs in different libraries. To disambiguate the right web resource to link among several URL candidates for an entity mention, our technique examines both the global popularity of the URL candidates for the entity mention and the local context relatedness of the URL candidates with the discussion thread in which the entity is mentioned. We conduct large scale evaluation of the built knowledge base and the performance of our automatic web resource linking technique.","PeriodicalId":114056,"journal":{"name":"2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS)","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130005958","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

A Composition Mechanism for Refinement-Based Methods 基于细化方法的组合机制

2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) Pub Date : 2017-11-01 DOI: 10.1109/ICECCS.2017.27

Son Hoang, Dana Dghaym, C. Snook, M. Butler

引用次数: 10

Towards Solving Decision Making Problems Using Probabilistic Model Checking 利用概率模型检验解决决策问题

2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) Pub Date : 2017-11-01 DOI: 10.1109/ICECCS.2017.21

Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhé Hóu, J. Dong

引用次数: 2