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

Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU 集成工具:基于FMI-FMU的UPPAAL联合仿真

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

P. G. Jensen, K. Larsen, Axel Legay, Ulrik Nyman

引用次数: 9

Reachability Analysis of Self Modifying Code 自修改代码的可达性分析

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

Tayssir Touili, Xin Ye

引用次数: 7

Evaluating Suitability of Applying Blockchain 评估应用区块链的适用性

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

Sin Kuang Lo, Xiwei Xu, Yin Kia Chiam, Q. Lu

引用次数: 129

Search-Based Uncertainty-Wise Requirements Prioritization 基于搜索的不确定性明智的需求优先级

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

Yan Li, Man Zhang, T. Yue, Shaukat Ali, Li Zhang

{"title":"Search-Based Uncertainty-Wise Requirements Prioritization","authors":"Yan Li, Man Zhang, T. Yue, Shaukat Ali, Li Zhang","doi":"10.1109/ICECCS.2017.11","DOIUrl":"https://doi.org/10.1109/ICECCS.2017.11","url":null,"abstract":"To ensure the quality of requirements, a common practice, especially in critical domains, is to review requirements within a limited time and monetary budgets. A requirement with higher importance, larger number of dependencies with other requirements, and higher implementation cost should be reviewed with the highest priority. However, requirements are inherently uncertain in terms of their impact on the requirements implementation cost. Such cost is typically estimated by stakeholders as an interval, though an exact value is often used in the literature for requirements optimization (e.g., prioritization). Such a practice, therefore, ignores uncertainty inherent in the estimation of requirements implementation cost. This paper explicitly takes into account such uncertainty for requirement prioritization and formulates four objectives for uncertainty-wise requirements prioritization with the aim of maximizing 1) the importance of requirements, 2) requirements dependencies, 3) the implementation cost of requirements, and 4) cost over-run probability. We evaluated the multi-objective search algorithm NSGA-II together with Random Search (RS) using the RALIC dataset and 19 artificial problems. Results show that NSGA-II can solve the requirements prioritization problem with a significantly better performance than RS. Moreover, NSGA-II can prioritize requirements with higher priority earlier in the prioritization sequence. For example, in the case of the RALIC dataset, the first 10% of prioritized requirements in the prioritization sequence are on average 50% better than RS in terms of prioritization effectiveness.","PeriodicalId":114056,"journal":{"name":"2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS)","volume":"67 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":"121180014","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

Speeding Up Type-Specific Instrumentation for the Analysis of Complex Systems 加速用于复杂系统分析的特定类型仪器

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

Andrea Rosà, Walter Binder

{"title":"Speeding Up Type-Specific Instrumentation for the Analysis of Complex Systems","authors":"Andrea Rosà, Walter Binder","doi":"10.1109/ICECCS.2017.14","DOIUrl":"https://doi.org/10.1109/ICECCS.2017.14","url":null,"abstract":"Dynamic analysis is crucial for understanding and improving the performance of complex systems. Our work focuses on dynamic analyses on the Java Virtual Machine (JVM). Such analyses often rely on bytecode instrumentation to weave monitoring code into selected methods, so as to collect the desired metrics at runtime. Unfortunately, existing instrumentation frameworks offer limited capabilities. On the one hand, frameworks such as AspectJ that perform the weaving within the observed JVM cannot weave monitoring code within the Java class library, considerably limiting completeness of AspectJ-based analyses. On the other hand, frameworks such as DiSL that perform the weaving in a separate process offer full bytecode coverage, but cannot access certain reflective information that is available in AspectJ. Here, we present an extension of DiSL to expose reflective supertype information within the instrumentation process. This is challenging, because the observed application may make use of custom classloaders and the loaded classes are generally only known upon termination of the application. Our framework guarantees full bytecode coverage, while providing reflective supertype information. We show that our framework can significantly speed up dynamic analyses wrt. the current DiSL release.","PeriodicalId":114056,"journal":{"name":"2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS)","volume":"29 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":"127686312","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

Efficient Parameter Synthesis Using Optimized State Exploration Strategies 基于优化状态探索策略的高效参数综合

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

É. André, H. G. Nguyen, L. Petrucci

引用次数: 5

Formal Modeling and Automatic Code Synthesis for Robot System 机器人系统形式化建模与自动代码合成

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

Xinxin Li, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Xiaoyu Song

引用次数: 4

Extending ERS for Modelling Dynamic Workflows in Event-B 扩展ERS在Event-B中的动态工作流建模

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

Dana Dghaym, M. Butler, Asieh Salehi Fathabadi

引用次数: 6

A Model Driven Method to Design and Analyze Secure Architectures of Systems-of-Systems 一种模型驱动的系统的安全体系结构设计与分析方法

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

Jamal El Hachem, T. A. Khalil, Vanea Chiprianov, M. Babar, P. Aniorté

引用次数: 6

BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems 面向结构感知移动系统的过程代数

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

Wanling Xie, Huibiao Zhu, Qiwen Xu

引用次数: 3