2013 39th Euromicro Conference on Software Engineering and Advanced Applications最新文献

Towards Translational Execution of Action Language for Foundational UML 面向基础UML的动作语言的翻译执行

2013 39th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2013-10-10 DOI: 10.1109/SEAA.2013.31

Federico Ciccozzi, A. Cicchetti, Mikael Sjödin

引用次数: 13

Static Prediction of Loop Iteration Counts Using Machine Learning to Enable Hot Spot Optimizations 使用机器学习实现热点优化的循环迭代计数的静态预测

2013 39th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2013-09-04 DOI: 10.1109/SEAA.2013.12

D. Tetzlaff, S. Glesner

{"title":"Static Prediction of Loop Iteration Counts Using Machine Learning to Enable Hot Spot Optimizations","authors":"D. Tetzlaff, S. Glesner","doi":"10.1109/SEAA.2013.12","DOIUrl":"https://doi.org/10.1109/SEAA.2013.12","url":null,"abstract":"In general, program execution spends most of the time in a small fraction of code called hot spots of the program. These regions where optimization would be most beneficial are mainly composed of loops and must be identified to enable hot spot optimizations. Consequently, identifying hot spots involves determining loop iteration counts arising at run-time of the program, which is often not knowable in advance at run-time and even less statically knowable at compile time of the application by using only static analyses. In this paper we present a sophisticated approach using machine learning techniques to automatically generate heuristics that provide the compiler with knowledge of this run-time behavior, hence yielding more precise heuristics than those generated by pure static analyses. Our experimental results demonstrate the accuracy of our approach and show the general applicability to a wide range of programs with different behavior as we have used 175 programs of 12 benchmark suites in total from different real-world application domains for our experiments. Among others, our approach eliminates the need for manual annotations of run-time information, which automates and facilitates the development of complex software, thus improving the software engineering process.","PeriodicalId":243149,"journal":{"name":"2013 39th Euromicro Conference on Software Engineering and Advanced Applications","volume":"297 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123118135","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}

引用次数: 9

Microevolution of Pervasive Services 普适服务的微演化

2013 39th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2013-09-04 DOI: 10.1109/SEAA.2013.15

M. Caporuscio

引用次数: 0

Identifying Implicit Architectural Dependencies Using Measures of Source Code Change Waves 使用源代码变更波的度量来识别隐含的体系结构依赖

2013 39th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2013-09-04 DOI: 10.1109/SEAA.2013.9

M. Staron, Wilhelm Meding, Christoffer Höglund, Peter S. Eriksson, Jimmy Nilsson, J. Hansson

{"title":"Identifying Implicit Architectural Dependencies Using Measures of Source Code Change Waves","authors":"M. Staron, Wilhelm Meding, Christoffer Höglund, Peter S. Eriksson, Jimmy Nilsson, J. Hansson","doi":"10.1109/SEAA.2013.9","DOIUrl":"https://doi.org/10.1109/SEAA.2013.9","url":null,"abstract":"The principles of Agile software development are increasingly used in large software development projects, e.g. using Scrum of Scrums or combining Agile and Lean development methods. When large software products are developed by self-organized, usually feature-oriented teams, there is a risk that architectural dependencies between software components become uncontrolled. In particular there is a risk that the prescriptive architecture models in form of diagrams are outdated and implicit architectural dependencies may become more frequent than the explicit ones. In this paper we present a method for automated discovery of potential dependencies between software components based on analyzing revision history of software repositories. The result of this method is a map of implicit dependencies which is used by architects in decisions on the evolution of the architecture. The software architects can assess the validity of the dependencies and can prevent unwanted component couplings and design erosion hence minimizing the risk of post-release quality problems. Our method was evaluated in a case study at one large product at Saab Electronic Defense Systems (Saab EDS) and one large software product at Ericsson AB.","PeriodicalId":243149,"journal":{"name":"2013 39th Euromicro Conference on Software Engineering and Advanced Applications","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114580661","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}

引用次数: 23

Verifying Runtime Architectural Reconfiguration of Dynamically Adaptive Systems 验证动态适应系统的运行时架构重构

2013 39th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2013-09-04 DOI: 10.1109/SEAA.2013.59

Sihem Loukil, Slim Kallel, M. Jmaiel

引用次数: 5

Investigation of the Influence of Non-E/E Safety Measures for the ASIL Determination 非E/E安全措施对ASIL测定的影响研究

2013 39th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2013-09-04 DOI: 10.1109/SEAA.2013.35

H. Martin, B. Winkler, A. Leitner, Alexander Thaler, M. Cifrain, D. Watzenig

引用次数: 5

Variability and Dependency Modeling of Quality Attributes 质量属性的可变性和依赖性建模

2013 39th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2013-09-04 DOI: 10.1109/SEAA.2013.20

J. Horcas, M. Pinto, L. Fuentes

引用次数: 4

Modelling for Hardware and Software Partitioning Based on Multiple Properties 基于多属性的软硬件分区建模

2013 39th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2013-09-04 DOI: 10.1109/SEAA.2013.56

Gaetana Sapienza, T. Seceleanu, I. Crnkovic

引用次数: 12

Industrial Challenges with Quality Requirements in Safety Critical Software Systems 工业挑战与安全关键软件系统的质量要求

2013 39th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2013-09-04 DOI: 10.1109/SEAA.2013.57

Ali Shahrokni, R. Feldt

{"title":"Industrial Challenges with Quality Requirements in Safety Critical Software Systems","authors":"Ali Shahrokni, R. Feldt","doi":"10.1109/SEAA.2013.57","DOIUrl":"https://doi.org/10.1109/SEAA.2013.57","url":null,"abstract":"Budget constraints and the difficulty to specify quality requirements, such as reliability, robustness, and safety present challenges to many software companies in particular if they develop safety-critical systems. Failing to specify this type of requirements properly can lead to misunderstandings between the developers and the customers, which can threaten the quality of the system. However, little information is available on how companies currently work with these requirements. This paper describes the state of requirements engineering practice and identifies challenges with quality requirements by conducting a requirements analysis on two projects, including 980 requirements, at a company developing safety-critical systems. We also compare to similar results for a company developing end user software. Problematic and ambiguous requirements have caused misunderstandings with the customers and introduced late and project-critical costs to the projects. The results show that despite a high percentage of quality requirements at the company, the majority of these requirements are non-quantified, which potentially leads to lower verifiability, high ambiguity and can create late-project delays in verification and validation. Our study adds empirical evidence on the characteristics and challenges of real-world requirements engineering for safety-critical systems.","PeriodicalId":243149,"journal":{"name":"2013 39th Euromicro Conference on Software Engineering and Advanced Applications","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124285460","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

Software Product Complexity Estimation Using Grey Measurement 基于灰色度量的软件产品复杂性估计

2013 39th Euromicro Conference on Software Engineering and Advanced Applications Pub Date : 2013-09-04 DOI: 10.1109/SEAA.2013.42

Semra Yilmaz Tastekin, Y. M. Erten, S. Bilgen

引用次数: 2