发布求助
文献互助 智能选刊 最新文献

2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications最新文献

筛选
英文 中文
Integrating Behavioral Descriptions into a Component Model for Embedded Systems 将行为描述集成到嵌入式系统组件模型中
2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications Pub Date : 2010-09-01 DOI: 10.1109/SEAA.2010.48
Aneta Vulgarakis, Séverine Sentilles, Jan Carlson, C. Seceleanu
{"title":"Integrating Behavioral Descriptions into a Component Model for Embedded Systems","authors":"Aneta Vulgarakis, Séverine Sentilles, Jan Carlson, C. Seceleanu","doi":"10.1109/SEAA.2010.48","DOIUrl":"https://doi.org/10.1109/SEAA.2010.48","url":null,"abstract":"When component-based development is applied to distributed embedded systems, which are often safety-critical and subject to real-time constraints, it is of significant importance that reliable predictions of functional and extra functional properties can be derived at design-time. Preferably, analysis should be performed in early development phases, where the cost of modifying the design is lower. Centered on an example application from the automation domain, we show how a component model specifically intended for embedded systems can be combined with a language for high-level formal behavior modeling. This permits analysis of system properties, while also supporting reuse of behavioral models when components are reused.","PeriodicalId":112012,"journal":{"name":"2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"150 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134406700","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}
引用次数: 12
Analysis of the Business Effects of Software Architecture Refactoring in an Automotive Development Organization 某汽车开发组织软件架构重构的业务效应分析
2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications Pub Date : 2010-09-01 DOI: 10.1109/SEAA.2010.13
Sara Dersten, Joakim Fröberg, J. Axelsson, R. Land
{"title":"Analysis of the Business Effects of Software Architecture Refactoring in an Automotive Development Organization","authors":"Sara Dersten, Joakim Fröberg, J. Axelsson, R. Land","doi":"10.1109/SEAA.2010.13","DOIUrl":"https://doi.org/10.1109/SEAA.2010.13","url":null,"abstract":"This paper presents an exploratory study of an automotive manufacturer, which develops embedded software for over 150 products and has adopted a company-wide software product-line approach. The company is facing the introduction of a new software architecture in all products in near time. This architecture introduces new paradigms more explicitly, such as explicit software components and signal-based communication, newer technologies, and adheres to new standards. Concretely, the architecture consists of common infrastructure and other generic components. Such a fundamental and drastic technology change can be expected to have far-reaching consequences, both of technical and non-technical nature. In this study we systematically investigate the introduction of the new software architecture, by mapping individual elements of the architectural change to system properties and company functions. The study implies that the whole organization is affected, and the new architecture also influences the cooperation with suppliers.","PeriodicalId":112012,"journal":{"name":"2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127092795","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
Finding the Core Developers 寻找核心开发者
2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications Pub Date : 2010-09-01 DOI: 10.1109/SEAA.2010.66
J. Geldenhuys
{"title":"Finding the Core Developers","authors":"J. Geldenhuys","doi":"10.1109/SEAA.2010.66","DOIUrl":"https://doi.org/10.1109/SEAA.2010.66","url":null,"abstract":"It has been suggested that 20% of the participants in a free/libre/open source software (FLOSS) project contribute 80% of the work. This paper attempts to verify this claim for nine projects and for various metrics of user activity such as the number of contributions, duration of involvement with the project, and the number of modifications to source code files.","PeriodicalId":112012,"journal":{"name":"2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121730400","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}
引用次数: 15
Testing for Dependable Embedded Software 可靠嵌入式软件的测试
2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications Pub Date : 2010-09-01 DOI: 10.1109/SEAA.2010.49
F. Saglietti
{"title":"Testing for Dependable Embedded Software","authors":"F. Saglietti","doi":"10.1109/SEAA.2010.49","DOIUrl":"https://doi.org/10.1109/SEAA.2010.49","url":null,"abstract":"Embedded software is being increasingly used for the purpose of providing services with high reliability demands, as in case of software-based controllers for safety-relevant applications. Tests are usually carried out in several phases of the software life-cycle, each time addressing a different level of refinement and aiming at a corresponding degree of coverage of the object under test. In this sense, each testing strategy may be seen as a particular instantiation of a model-based verification approach, where the term “model” may be taken to reflect the software behavior at different levels of granularity. This article aims at a comparative evaluation of testing techniques for embedded software in terms of the effort they require and of the fault detection capability they offer. Furthermore, it illustrates a number of newly developed approaches capable of providing support to arbitrary testing techniques by instantiation at specific granularity levels.","PeriodicalId":112012,"journal":{"name":"2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131081275","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
Open Source Software in Tunisian Software Business: An Empirical Study 突尼斯软件商业中的开源软件:一个实证研究
2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications Pub Date : 2010-09-01 DOI: 10.1109/SEAA.2010.29
I. Hammouda
{"title":"Open Source Software in Tunisian Software Business: An Empirical Study","authors":"I. Hammouda","doi":"10.1109/SEAA.2010.29","DOIUrl":"https://doi.org/10.1109/SEAA.2010.29","url":null,"abstract":"This paper investigates to what extent Free/Libre/Open Source Software (FLOSS) is present in the Tunisian software business sector. We derive an empirical adoption model highlighting the main facilitators and inhibitors. Our key findings suggest that the level of FLOSS adoption in Tunisia is significant. However, the situation could be improved once the identified problems are addressed.","PeriodicalId":112012,"journal":{"name":"2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133573019","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}
引用次数: 1
A Component Model for On-board Software Applications 车载软件应用的组件模型
2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications Pub Date : 2010-09-01 DOI: 10.1109/SEAA.2010.39
Marco Panunzio, T. Vardanega
{"title":"A Component Model for On-board Software Applications","authors":"Marco Panunzio, T. Vardanega","doi":"10.1109/SEAA.2010.39","DOIUrl":"https://doi.org/10.1109/SEAA.2010.39","url":null,"abstract":"Component-based development has become more common news than exotic novelty in mainstream industry. Its adoption has accrued high facilitation potential for software reuse and better organization of the product. Surprisingly however, component-oriented approaches have fared far worse in the domain of high-integrity real-time systems. One of the fundamental reasons of this difficulty stems from the larger incidence of extra-functional concerns than in conventional industry and the more stringent demands on the ultimate product quality. It is not intrinsic however that component-based software engineering cannot just make it in that domain. Hence adopting it may be an effort worth pursuing. In this paper we present the main conceptual and methodological steps taken by an initiative of the European Space Agency aimed at the creation of a component model suited for the development of on-board software.","PeriodicalId":112012,"journal":{"name":"2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125329275","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}
引用次数: 21
Prioritization of Issues and Requirements by Cumulative Voting: A Compositional Data Analysis Framework 通过累积投票确定问题和需求的优先次序:一个组成数据分析框架
2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications Pub Date : 2010-09-01 DOI: 10.1109/SEAA.2010.35
Panagiota Chatzipetrou, L. Angelis, Per Rovegard, C. Wohlin
{"title":"Prioritization of Issues and Requirements by Cumulative Voting: A Compositional Data Analysis Framework","authors":"Panagiota Chatzipetrou, L. Angelis, Per Rovegard, C. Wohlin","doi":"10.1109/SEAA.2010.35","DOIUrl":"https://doi.org/10.1109/SEAA.2010.35","url":null,"abstract":"Cumulative Voting (CV), also known as Hundred-Point Method, is a simple and straightforward technique, used in various prioritization studies in software engineering. Multiple stakeholders (users, developers, consultants, marketing representatives or customers) are asked to prioritize issues concerning requirements, process improvements or change management in a ratio scale. The data obtained from such studies contain useful information regarding correlations of issues and trends of the respondents towards them. However, the multivariate and constrained nature of data requires particular statistical analysis. In this paper we propose a statistical framework; the multivariate Compositional Data Analysis (CoDA) for analyzing data obtained from CV prioritization studies. Certain methodologies for studying the correlation structure of variables are applied to a dataset concerning impact analysis issues prioritized by software professionals under different perspectives. These involve filling of zeros, transformation using the geometric mean, principle component analysis on the transformed variables and graphical representation by biplots and ternary plots.","PeriodicalId":112012,"journal":{"name":"2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130761529","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}
引用次数: 46
Integration of Heterogeneous Context Resources in Ubiquitous Environments 泛在环境中异构上下文资源的集成
2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications Pub Date : 2010-09-01 DOI: 10.1109/SEAA.2010.27
Daniel Romero, Romain Rouvoy, L. Seinturier, Frédéric Loiret
{"title":"Integration of Heterogeneous Context Resources in Ubiquitous Environments","authors":"Daniel Romero, Romain Rouvoy, L. Seinturier, Frédéric Loiret","doi":"10.1109/SEAA.2010.27","DOIUrl":"https://doi.org/10.1109/SEAA.2010.27","url":null,"abstract":"Ubiquitous environments provide families of context-aware applications that are capable of exploiting the user mobility as well as the device variability. Typically, these applications retrieve context information from local and remote providers and react accordingly to the detected variations. However, this must be done by considering the heterogeneity of devices and protocols found in ubiquitous environments. Unfortunately, although the context integration represents a keystone of context-aware systems, existing approaches in the literature fail to integrate the diversity of context sources in a standard and flexible way. Therefore, in this paper, we overcome this challenge by introducing resource-oriented bindings into the SCA (Service Component Architecture) model. This new kind of bindings follows the REpresentational State Transfer (REST) principles and leverages the provision of context as RESTful resources. A smart home scenario that highlights challenges in terms of integration in ubiquitous environments motivates the use of our approach.","PeriodicalId":112012,"journal":{"name":"2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122010779","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
Ontology-Based Model Driven Engineering for Safety Verification 基于本体的安全验证模型驱动工程
2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications Pub Date : 2010-09-01 DOI: 10.1109/SEAA.2010.60
Konstantinos Mokos, G. Meditskos, P. Katsaros, Nick Bassiliades, Vangelis Vasiliades
{"title":"Ontology-Based Model Driven Engineering for Safety Verification","authors":"Konstantinos Mokos, G. Meditskos, P. Katsaros, Nick Bassiliades, Vangelis Vasiliades","doi":"10.1109/SEAA.2010.60","DOIUrl":"https://doi.org/10.1109/SEAA.2010.60","url":null,"abstract":"Safety assessment of dependable systems is a complex verification task that is desirable to be explicitly incorporated into the development cycle during the very early stages of a project. The main reason is that the cost to correct a safety error at the late stages of system development is excessively high. Towards this aim, we introduce an ontology-based model-driven engineering process for automating transformations of models that are utilized as reusable artifacts. The logical and syntactical structures of the design and safety models have to conform to a number of metamodel constraints. These constraints are semantically represented by mapping them onto an OWL domain ontology, allowing the incorporation of a Description Logic OWL reasoner and inference rules, in order to detect lacks of model elements and semantically inconsistent parts. Model validation throughout the ontology-based transformation assures that the generated formal safety model fulfils a series of requirements that render it analyzable. Our approach has been implemented as a response to an industrial problem, where the architecture design is expressed in Architecture Analysis and Design Language (AADL) and safety models are specified in the AltaRica formal language.","PeriodicalId":112012,"journal":{"name":"2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121446563","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}
引用次数: 18
Towards an Approach to Support Software Process Simulation in Small and Medium Enterprises 一种支持中小企业软件过程仿真的方法
2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications Pub Date : 2010-09-01 DOI: 10.1109/SEAA.2010.67
Reinaldo Cabral Silva Filho, A. Rocha
{"title":"Towards an Approach to Support Software Process Simulation in Small and Medium Enterprises","authors":"Reinaldo Cabral Silva Filho, A. Rocha","doi":"10.1109/SEAA.2010.67","DOIUrl":"https://doi.org/10.1109/SEAA.2010.67","url":null,"abstract":"The use of software process simulation has been intensified in enterprises and in academia. However, this reality does not apply to small and medium sized software enterprises, given the lack of knowledge on simulation, the absence of resources and the scarcity of historical data of projects. This work presents the development of an approach to facilitate software process simulation modelling in small and mid-sized enterprises and describes an experience aimed at identifying weaknesses and improvement opportunities to support the approach evolution. The results of the experience pointed towards new research actions for the development of the approach.","PeriodicalId":112012,"journal":{"name":"2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123000845","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}
引用次数: 8
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信