{"title":"Towards a Model-Based Approach for Allocating Tasks to Multicore Processors","authors":"Juraj Feljan, Jan Carlson, T. Seceleanu","doi":"10.1109/SEAA.2012.56","DOIUrl":"https://doi.org/10.1109/SEAA.2012.56","url":null,"abstract":"Multicore technology provides a way to improve the performance of embedded systems in response to the demand in many domains for more and more complex functionality. However, increasing the number of processing units also introduces the problem of deciding which task to execute on which core in order to best utilize the platform. In this paper we present a model-based approach for automatic allocation of software tasks to the cores of a soft real-time embedded system, based on design-time performance predictions. We describe a general iterative method for finding an allocation that maximizes key performance aspects while satisfying given allocation constraints, and present an instance of this method, focusing on the particular performance aspects of timeliness and balanced computational load over time and over the cores.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133663311","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}
Frank Elberzhager, Stephan Kremer, Jürgen Münch, Danilo Assmann
{"title":"Guiding Testing Activities by Predicting Defect-Prone Parts Using Product and Inspection Metrics","authors":"Frank Elberzhager, Stephan Kremer, Jürgen Münch, Danilo Assmann","doi":"10.1109/SEAA.2012.30","DOIUrl":"https://doi.org/10.1109/SEAA.2012.30","url":null,"abstract":"Product metrics, such as size or complexity, are often used to identify defect-prone parts or to focus quality assurance activities. In contrast, quality information that is available early, such as information provided by inspections, is usually not used. Currently, only little experience is documented in the literature on whether data from early defect detection activities can support the identification of defect prone parts later in the development process. This article compares selected product and inspection metrics commonly used to predict defect-prone parts. Based on initial experience from two case studies performed in different environments, the suitability of different metrics for predicting defect-prone parts is illustrated. These studies revealed that inspection defect data seems to be a suitable predictor, and a combination of certain inspection and product metrics led to the best prioritizations in our contexts.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125172405","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":"Toward Model-Based Trade-off Analysis of Non-functional Requirements","authors":"Mehrdad Saadatmand, A. Cicchetti, Mikael Sjödin","doi":"10.1109/SEAA.2012.23","DOIUrl":"https://doi.org/10.1109/SEAA.2012.23","url":null,"abstract":"In this paper we introduce a generic approach to analyze system design models with regard to the satisfaction of their Non-Functional Requirements (NFRs) to enable the evaluation of their NFRs' trade-offs. NFRs and their satisfaction become especially critical and deserve more attention in certain application domains such as real-time and embedded systems. This is mainly due to the constraints and resource limitations in these systems. A design that cannot achieve the functionality of the system under these limitations can mean a failure. However, one big issue is that NFRs are interconnected and cannot be considered in isolation as they can have direct impacts on each other like security and performance. This means that a careful balance and trade-off analysis among NFRs is necessary. In doing so, the role of functional parts that contribute and are implemented to satisfy an NFR should also be taken into account. We focus on these needs and identify what information about NFRs is required in order to perform trade-off analysis and comparison of design models. We propose and explain our approach to incorporate this information into system models using UML profiling method to annotate model elements with necessary information and then calculate satisfaction values of NFRs using model transformation technique.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126107930","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}
Christian Brel, Philippe Renevier-Gonin, A. Pinna-Dery, M. Riveill
{"title":"Application and UI Composition Using a Component-Based Description and Annotations","authors":"Christian Brel, Philippe Renevier-Gonin, A. Pinna-Dery, M. Riveill","doi":"10.1109/SEAA.2012.44","DOIUrl":"https://doi.org/10.1109/SEAA.2012.44","url":null,"abstract":"A possible way to obtain easily new applications is to compose existing applications. In order to support developers in this way, we propose a composition approach manipulating functionalities but also the User Interfaces. We propose a model of applications inspired from Component-Based approaches, describing ports for all Elements of the applications to be composed. We define a substitution between Elements based on those ports.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130005216","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}
Markus Kelanti, Jari A. Lehto, Sanja Aaramaa, P. Kuvaja
{"title":"A Practice for Recording Problem and Solution Domain Requirements in VLSRE","authors":"Markus Kelanti, Jari A. Lehto, Sanja Aaramaa, P. Kuvaja","doi":"10.1109/SEAA.2012.52","DOIUrl":"https://doi.org/10.1109/SEAA.2012.52","url":null,"abstract":"Modern systems are becoming increasingly complex, and Requirements Engineering (RE) processes should be able to cope with thousands or tens of thousands of requirements presented by a wide variety of stakeholders. These requirements need to be analysed in order to ascertain what the actual problem is and how it should be solved. This paper describes a case in a large company in a telecommunication domain where the goal was to create a practice in order to differentiate Problem and Solution domain requirements quickly, early in Very Large Scale Requirements Engineering (VLSRE). As a result, a System-Stakeholder-Request/Requirement (SSR) practice was developed.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129380664","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}
Rania Mzid, C. Mraidha, Jean-Philippe Babau, M. Abid
{"title":"A MDD Approach for RTOS Integration on Valid Real-Time Design Model","authors":"Rania Mzid, C. Mraidha, Jean-Philippe Babau, M. Abid","doi":"10.1109/SEAA.2012.19","DOIUrl":"https://doi.org/10.1109/SEAA.2012.19","url":null,"abstract":"The transition from the design model to the implementation model is a critical phase in Real-Time Embedded Systems development process. Indeed, this model must conserve functional and non-functional requirements of the design model on the target execution platform. In this paper, we propose a two-steps approach based on an explicit description of two types of platform: the abstract platform used at the design level to validate the different design choices, and the concrete execution platform. The first step consists in feasibility tests whose role is to help the designer detecting the potential refinement problems. The second step is a mapping step that ensures the compliance of the implementation model with the design model taking into consideration the characteristics of the target execution platform.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116357989","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 Consolidated Process for Software Process Simulation: State of the Art and Industry Experience","authors":"N. Ali, K. Petersen","doi":"10.1109/SEAA.2012.69","DOIUrl":"https://doi.org/10.1109/SEAA.2012.69","url":null,"abstract":"Software process simulation is a complex task and in order to conduct a simulation project practitioners require support through a process for software process simulation modelling (SPSM), including what steps to take and what guidelines to follow in each step. This paper provides a literature based consolidated process for SPSM where the steps and guidelines for each step are identified through a review of literature and are complemented by experience from using these recommendations in an action research at a large Telecommunication vendor. We found five simulation processes in SPSM literature, resulting in a seven-step process. The consolidated process was successfully applied at the studied company, with the experiences of doing so being reported.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127659169","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":"From Software to Software System Products: An Add-on Process Reference Model for Enhancing ISO/IEC 12207 with Product Management and System-Level Reuse","authors":"F. Stallinger, R. Neumann","doi":"10.1109/SEAA.2012.41","DOIUrl":"https://doi.org/10.1109/SEAA.2012.41","url":null,"abstract":"As software is increasingly developed as part of an overall, often multidisciplinary system, traditional engineering approaches often reach their limits when faced with increasing complexity, variability, requirements, or cost and productivity pressure. Generally, reuse and product-orientation are considered promising approaches to tackle such challenges, but to fully exploit their potential require an effective product management function. Although established software process life cycle models acknowledge the importance of reuse, they do not consider appropriate product management practices, while established systems engineering life cycle models lack reuse as well as product management. - We therefore propose the integration of a process model proposal for software product management with one for enhancing system life cycle processes with reuse and product-orientation. The resulting model can be used as add-on to ISO/IEC 12207 and serve as a framework for process assessment and improvement in contexts where software is developed and evolved as a product and at the same time is part of an overall software-intensive system product.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130706166","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":"FOAM: A Lightweight Method for Verification of Use-Cases","authors":"V. Simko, P. Hnetynka, T. Bures, F. Plášil","doi":"10.1109/SEAA.2012.15","DOIUrl":"https://doi.org/10.1109/SEAA.2012.15","url":null,"abstract":"The advantage of textual use-cases is that they can be easily understood by stakeholders and domain experts. However, since use-cases typically rely on a natural language, they cannot be directly subject to a formal verification. In this paper, we present the FOAM method which features simple user-definable annotations, inserted into a use-case to make its semantics more suitable for verification. Subsequently a model-checking tool verifies temporal invariants associated with the annotations. This way, FOAM allows for harnessing the benefits of model-checking while still keeping the use-cases understandable for non-experts.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"433 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132357820","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":"DEZENT -- A Cyber-Physical Approach for Providing Affordable Regenerative Electric Energy in the Near Future","authors":"H. Wedde","doi":"10.1109/SEAA.2012.73","DOIUrl":"https://doi.org/10.1109/SEAA.2012.73","url":null,"abstract":"Since the past 4-7 years the paradigm of Cyber-Physical Systems has gained growing attention, starting from initiatives taken by US government institutions such as NSF, NIST and other funding agencies. Such software systems were then requested to realize a widest possible correspondence, if not congruence between software system and real-world structures, the latter to be controlled by the software system. We will, in this paper, describe the implications of this comprehensive objective, for the modeling, analyzing, testing and evaluating under a cyberphysical perspective. This will be done by sketching the major development steps within the DEZENT project over the past 7 years, from the early de-sign steps until a large real-world field study in a Southern German region which is already covered with renewable energy by nearly 100%. The emphasis will be on the mutual inspiration between applicational and software-technical constraints and insights, gained by the partners from Computer Science, Electrical Engineering and practitioners who altogether benefitted considerably with respect to their successful cooperation.","PeriodicalId":298734,"journal":{"name":"2012 38th Euromicro Conference on Software Engineering and Advanced Applications","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128626557","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}