Proceedings of the 19th International Conference on Software Product Line最新文献_第5页

Synthesis of attributed feature models from product descriptions 从产品描述中合成属性特征模型

Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791068

Guillaume Bécan, Razieh Behjati, A. Gotlieb, M. Acher

引用次数: 34

All-at-once-synthesis of controllers from scenario-based product line specifications 从基于场景的产品线规格中一次性合成控制器

Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791111

Maxime Cordy, J. Davril, Joel Greenyer, Erika Gressi, P. Heymans

{"title":"All-at-once-synthesis of controllers from scenario-based product line specifications","authors":"Maxime Cordy, J. Davril, Joel Greenyer, Erika Gressi, P. Heymans","doi":"10.1145/2791060.2791111","DOIUrl":"https://doi.org/10.1145/2791060.2791111","url":null,"abstract":"Software-intensive systems often consist of multiple components that interact to realize complex requirements. An additional dimension of complexity arises when one designs many variants of a system at once, that is, a software product line (SPL). We propose a scenario-based approach to design SPLs, based on a combination of Modal Sequence Diagrams (MSDs) and a feature model. It consists in associating every MSD to the set of variants that have to satisfy its specification. Variability constitutes a new source of complexity, which can lead to inconsistencies in the specification of one or multiple variants. It is therefore crucial to detect these inconsistencies, and to produce a controller for each variant that makes it behave so that it satisfies its specification. We present a new controller synthesis technique that checks the absence of inconsistencies in all variants at once, thereby more radically exploiting the similarities between them. Our method first translates the MSD specification into a variability-aware Büchi game, and then solves this game for all variants in a single execution. We implemented the approach in ScenarioTools, a software tool which we use to evaluate our algorithms against competing methods.","PeriodicalId":339158,"journal":{"name":"Proceedings of the 19th International Conference on Software Product Line","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114354616","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}

引用次数: 3

Smart factory product lines: a configuration perspective on smart production ecosystems 智能工厂产品线:智能生产生态系统的配置视角

Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791066

Deepak Dhungana, Andreas A. Falkner, Alois Haselböck, Herwig Schreiner

引用次数: 18

Composition of proof-carrying architectures for cyber-physical systems 网络物理系统的证明承载体系结构的组成

Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2793676

Ethan T. McGee, J. McGregor

{"title":"Composition of proof-carrying architectures for cyber-physical systems","authors":"Ethan T. McGee, J. McGregor","doi":"10.1145/2791060.2793676","DOIUrl":"https://doi.org/10.1145/2791060.2793676","url":null,"abstract":"The Internet of Things (IoT) integrates a variety of cyber-physical systems; systems that are safety-critical and those that are not. Each of these systems is composed from assets that may have been intended to integrate successfully, but they have not necessarily been verified as doing so before the product is instantiated. Because assets are commonly shared among a family of cyber-physical products, Software Product Line (SPL) methods are crucial for the success of these systems if they are to be built economically without compromise to safety. Verification of the SPL architectures will help to ensure the safety of these systems is not compromised by any of the numerous assets that can be swapped in and out as new products are configured. The contribution of this work is an illustration of how software architectures might be annotated embedding verification information of the architecture supporting a compositional approach to verification. In order for verification of the SPL to be successful, the verification properties of one asset must seamlessly integrate with the verification properties of other assets in the SPL family. We introduce a method using two languages which are annexes of the Architecture Analysis & Description Language (AADL), AGREE and Resolute, that can be used to verify a variety of properties of the system described by the AADL model. Our technique allows for definition of constraints that can be proven as being met when the products are instantiated, however, the languages are not entirely sufficient. Our work shows both working cases and the limitations of verification of the architecture.","PeriodicalId":339158,"journal":{"name":"Proceedings of the 19th International Conference on Software Product Line","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132490491","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

Statistical analysis of probabilistic models of software product lines with quantitative constraints 具有数量约束的软件产品线概率模型的统计分析

Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791087

M. T. Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin

引用次数: 32

Using FMC for family-based analysis of software product lines 利用FMC对软件产品线进行基于家族的分析

Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791118

M. T. Beek, A. Fantechi, S. Gnesi, F. Mazzanti

引用次数: 11

Evolving an industrial analytics product line architecture 发展工业分析产品线架构

Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791106

Karen Smiley, W. Schmidt, A. Dagnino

引用次数: 2

SPLat 2015: Second International Workshop on Software Product Line Analysis Tools SPLat 2015:第二届软件产品线分析工具国际研讨会

Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791064

Gilles Perrouin, Axel Legay

引用次数: 0

Second generation systems and software product line engineering 第二代系统和软件产品线工程

Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2798047

C. Krueger, P. Clements

引用次数: 1

Managing variability with feature models 使用特征模型管理可变性

Proceedings of the 19th International Conference on Software Product Line Pub Date : 2015-07-20 DOI: 10.1145/2791060.2791113

Danilo Beuche

引用次数: 0