{"title":"Towards a generic quality optimisation framework for component-based system models","authors":"A. Koziolek, Ralf H. Reussner","doi":"10.1145/2000229.2000244","DOIUrl":"https://doi.org/10.1145/2000229.2000244","url":null,"abstract":"Designing component-based systems (CBS) that exhibit a good trade-off between multiple quality criteria is hard. Even after functional design, many remaining degrees of freedom of different types (e.g. component deployment, component selection, server configuration) in the CBS span a large, discontinuous design space. Automated approaches have been proposed to optimise CBS models, but they only consider a limited set of degrees of freedom, e.g. they only optimise the selection of components without considering the deployment, or vice versa. We propose a flexible and extensible formulation of the design space for optimising any CBS model for a number of quality properties and an arbitrary number of degrees of freedom. With this design space formulation, a generic quality optimisation framework that is independent of the used CBS metamodel can apply multi-objective metaheuristic optimisation such as evolutionary algorithms.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122812697","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 compositional method for reliability analysis of workflows affected by multiple failure modes","authors":"S. Distefano, A. Filieri, C. Ghezzi, R. Mirandola","doi":"10.1145/2000229.2000251","DOIUrl":"https://doi.org/10.1145/2000229.2000251","url":null,"abstract":"We focus on reliability analysis for systems designed as workflow based compositions of components. Components are characterized by their failure profiles, which take into account possible multiple failure modes. A compositional calculus is provided to evaluate the failure profile of a composite system, given failure profiles of the components. The calculus is described as a syntax-driven procedure that synthesizes a workflow's failure profile. The method is viewed as a design-time aid that can help software engineers reason about system's reliability in the early stage of development. A simple case study is presented to illustrate the proposed approach.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117130862","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}
Frédéric Loiret, Romain Rouvoy, L. Seinturier, Philippe Merle
{"title":"Software engineering of component-based systems-of-systems: a reference framework","authors":"Frédéric Loiret, Romain Rouvoy, L. Seinturier, Philippe Merle","doi":"10.1145/2000229.2000238","DOIUrl":"https://doi.org/10.1145/2000229.2000238","url":null,"abstract":"Systems-of-Systems (SoS) are complex infrastructures, which are characterized by a wide diversity of technologies and requirements imposed by the domain(s) they target. In this context, the software engineering community has been focusing on assisting the developers by providing them domain-specific languages, component-based software engineering frameworks and tools to leverage on the design and the development of such systems. However, the adoption of such approaches often prevents developers from combining several domains, which is a strong requirement in the context of SoS. Furthermore, only little attention has been paid to the definition of a modular toolset and an extensible runtime infrastructure for deploying and executing SoS. In this paper, we therefore propose a reference framework to leverage on the software engineering of SoS. Our reference framework has been validated on the development of two platforms, namely Hulotte and FraSCAti, to demonstrate that the resulting complexity is isolated in the core toolset, while the development of domain-specific extensions is leveraged and simplified by clearly identified abstractions.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132558376","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":"Automatic relocation of AUTOSAR components among several ECUs","authors":"S. Saudrais, K. Chaaban","doi":"10.1145/2000229.2000258","DOIUrl":"https://doi.org/10.1145/2000229.2000258","url":null,"abstract":"Today, embedded systems are more and more involved in the definition of new and emergent functionalities of the vehicles and are developed by different component providers. This heterogeneity of origins complicates the integration and the validation of such systems. The standard AUTOSAR has been introduced to address this problem with the use, and reuse, of software components. But during the development phases, the AUTOSAR system architecture is often modified due to scheduling constraints, optimization or evolution and has to be manually maintained by the designer. During these different phases, software components are manually exchanged between different control units and these actions are error prone and time-consuming. The objective of this paper is to propose a method to automatically maintain the AUTOSAR architecture by providing a model transformation when a software component needs to be relocated from an ECU to another one.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132636553","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}
P. Abate, R. D. Cosmo, R. Treinen, Stefano Zacchiroli
{"title":"MPM: a modular package manager","authors":"P. Abate, R. D. Cosmo, R. Treinen, Stefano Zacchiroli","doi":"10.1145/2000229.2000255","DOIUrl":"https://doi.org/10.1145/2000229.2000255","url":null,"abstract":"Software distributions in the FOSS world rely on so-called package managers for the installation and removal of packages on target machines. State-of-the-art package managers are monolithic in architecture, and each of them is hard-wired to an ad-hoc dependency solver implementing a customized heuristics. In this paper we propose a modular architecture allowing for pluggable dependency solvers and backends. We argue that this is the path that leads to the next generation of package managers that will deliver better results, accept more expressive input languages, and can be easily adaptable to new platforms. We present a working prototype---called MPM---which has been implemented following the design advocated in this paper.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"148 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123401368","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":"Component deployment optimisation with bayesian learning","authors":"A. Aleti, Indika Meedeniya","doi":"10.1145/2000229.2000232","DOIUrl":"https://doi.org/10.1145/2000229.2000232","url":null,"abstract":"Implementing embedded software systems involves many important design decisions, such as finding (near) optimal component deployment architectures, that have a strong influence on the quality of the final system perceived by its users. These decisions are difficult not only because of the complexity of current systems, but also due to the large number of possible design options. An automation of the design space exploration will help to make better decisions and to reduce the time of this process. In this paper, a new method called Bayesian Heuristic for Component Deployment Optimisation (BHCDO) is proposed. BHCDO constructs solutions based on a Bayesian learning mechanism which guides the search for assignments that result in new deployment architectures with an improved quality. This is achieved by calculating the posterior probability that a particular component/host assignment is a good decision, resulting in a high quality deployment architecture, given some observed evidence during the search. Experiments on a series of randomly generated problems show that BHCDO efficiently automates the search for component deployment design alternatives and outperforms state of the art optimisation methods.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115775908","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":"Refining extra-functional property values in hierarchical component models","authors":"Thomas Leveque, Séverine Sentilles","doi":"10.1145/2000229.2000242","DOIUrl":"https://doi.org/10.1145/2000229.2000242","url":null,"abstract":"It is nowadays widely accepted that extra-functional properties (EFPs) are as important as functional properties for system correctness, especially when considering systems such as safety-critical embedded systems. The criticality and resource-constrained nature of these systems necessitate to be able to predict tight and accurate extra-functional property values all along the development, from early estimations to measurements. By using a hierarchical component model that allows implementing components as an assembly of subcomponent instances, the same component can be instantiated in several assemblies, i.e. in different usage contexts. Many EFP values are sensitive to the usage context and knowing information about the enclosing assembly enables refining the values of the properties on the subcomponents. Such refinement is usually not supported and the consistency between refined values and the original ones not ensured. This paper presents the concepts and mechanisms to support EFP refinement in hierarchical component models with explicit property inheritance and refinement policies which formally define consistency constraints between refined value and the original one. These policies are interpreted and ensured for all actors and in all workspaces. The paper also describes the related experiments performed on the ProCom component model.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133336713","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}
P. Parra, Ó. Polo, M. Knoblauch, Ignacio García, S. Sánchez-Prieto
{"title":"MICOBS: multi-platform multi-model component based software development framework","authors":"P. Parra, Ó. Polo, M. Knoblauch, Ignacio García, S. Sánchez-Prieto","doi":"10.1145/2000229.2000231","DOIUrl":"https://doi.org/10.1145/2000229.2000231","url":null,"abstract":"This paper presents a framework designed to work with a multi platform approach over two levels of definition of an embedded system built from software components. In the upper level, the framework focuses on the composition of components and the analysis of extra-functional properties following the principles of compositionality and composability. In the lower level, the framework provides a packaging model aimed to automate the tasks of configuration and construction of an executable out of the software bundles that constitute the components' implementation. For both levels, the framework introduces the concept of platform as a new dimension on the specification that will affect every transformation carried out between the models integrated in the framework. This dimension copes with the fact that a component has a large amount of extra-functional properties that are inherently dependent on the platform on which the component is finally deployed. The framework also provides a multi-model support. Firstly, it allows building systems from already implemented components conforming to existing component models (CCM, SOFA, FRACTAL, etc.). Secondly, it enables the definition of new abstract component models that, though lacking a native implementation, can be used to develop specific applications using model-driven engineering processes. Finally, the framework allows the integration, in a single system, of heterogeneous components conforming to different component models. An example of this integration, with components coming from MyCCM-HI and EDROOM models, is presented as a use case.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131757078","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}
Paulo F. Pires, Flávia Coimbra Delicato, M. Pinto, L. Fuentes, É. Marinho
{"title":"Software evolution in AOSD: a MDA-based approach","authors":"Paulo F. Pires, Flávia Coimbra Delicato, M. Pinto, L. Fuentes, É. Marinho","doi":"10.1145/2000229.2000257","DOIUrl":"https://doi.org/10.1145/2000229.2000257","url":null,"abstract":"In this paper we present a model-based approach to tackle the fragility pointcut problem that occurs in Aspect Oriented Systems. We focus on evaluating our work aiming at demonstrating that the definition of model-based pointcuts at early stages of the development can improve the software evolution in AOSD.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132219123","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}
A. Cicchetti, Federico Ciccozzi, Thomas Leveque, Séverine Sentilles
{"title":"Evolution management of extra-functional properties in component-based embedded systems","authors":"A. Cicchetti, Federico Ciccozzi, Thomas Leveque, Séverine Sentilles","doi":"10.1145/2000229.2000243","DOIUrl":"https://doi.org/10.1145/2000229.2000243","url":null,"abstract":"As software complexity increases in embedded systems domain, component-based development becomes increasingly attractive. A main challenge in this approach is however to analyze the system's extra-functional properties (such as timing properties, or resource requirements), an important step in a development of embedded systems. Analysis of such properties are computational and time consuming, and often difficult. For this reason reuse of the results of the analysis is as important as the reuse of the component itself, especially in case of modifications of the context in which the component is used. This paper presents concepts and mechanisms that allow to automatically discover whether a property value is still valid when related components evolve: a value context language is proposed to formally define the validity conditions and identify possible threats.","PeriodicalId":399536,"journal":{"name":"International Symposium on Component-Based Software Engineering","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124307195","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}