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}
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}
{"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}
{"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}
{"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}
{"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}
{"title":"A Load Balancing Approach for Silicon Retina Based Asynchronous Temporal Data Processing","authors":"C. Sulzbachner, J. Kogler","doi":"10.1109/SEAA.2010.12","DOIUrl":"https://doi.org/10.1109/SEAA.2010.12","url":null,"abstract":"In this paper we present a load balancing approach for Silicon Retina technology based computer vision applications. The Silicon Retina technology is a new kind of bio-inspired analogue sensor that is derived from the human vision system. In comparison to conventional imagers that provide frame information captured by a fixed frame-rate, Silicon Retina imagers only provide information of pixels with variations of intensity in a scene. The high amount of pixels without intensity variations need neither be transmitted nor processed. Due to these special characteristics, the imager delivers asynchronous data with data-rates up to a peak of 6M events per second (Meps) per channel and a time resolution of 10ns. A distributed embedded system consisting of a single-core processor for data acquisition and load balancing and a multi-core processor for data processing is used. We discuss both the Silicon Retina technology, the principles of the computer vision algorithms being used, and the load balancing approach.","PeriodicalId":112012,"journal":{"name":"2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"91 6 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":"123654180","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}
{"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}
{"title":"Size and Complexity Attributes for Multimodel Improvement Framework Taxonomy","authors":"André L. Ferreira, R. J. Machado, M. Paulk","doi":"10.1109/SEAA.2010.54","DOIUrl":"https://doi.org/10.1109/SEAA.2010.54","url":null,"abstract":"Selection of best practice models is a daunting task. The number of models is considerable and the ability to compare objectively their content is not straightforward due to scope and structural variety in descriptions. The purpose of this paper is to provide a base for quantitative analysis of best practice models at the light of proposed attributes of size and complexity. We propose a characterization of size as a measure of scope coverage and detail of descriptions between models and complexity in terms of structural connectedness. We analyzed a set o best practice models popular in the Software Engineering domain and derived relative size and complexity measures of these models.","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":"121242083","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}
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}