Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B最新文献_第4页

Design for the analysis of variability management in the industry 设计为分析行业的可变性管理

Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B Pub Date : 2022-09-12 DOI: 10.1145/3503229.3547060

A. E. Chacón-Luna, A. Gutiérrez-Fernández, David Benavides, L. Fuentes

引用次数: 0

Multidisciplinary variability management for cyber-physical production systems 网络物理生产系统的多学科可变性管理

Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B Pub Date : 2022-09-12 DOI: 10.1145/3503229.3547063

H. Fadhlillah

{"title":"Multidisciplinary variability management for cyber-physical production systems","authors":"H. Fadhlillah","doi":"10.1145/3503229.3547063","DOIUrl":"https://doi.org/10.1145/3503229.3547063","url":null,"abstract":"Cyber-Physical Production Systems (CPPSs) are complex, versatile systems interacting with the environment by sensors and actuators. Specific customer demands and technical requirements lead to high engineering efforts for the control software of CPPSs, especially when following a clone-and-own approach to reuse, as is still common in industry. Utilizing systematic variability management to derive and configure control software variants from a product line could help to reduce the cost of developing and/or maintaining CPPSs. However, modeling CPPS variability is challenging as knowledge from multiple disciplines (e.g., mechanics, electrics, software) is needed, which is either implicit in practice or expressed in multiple heterogeneous engineering artifacts with diverse semantics. Furthermore, techniques commonly used to implement CPPS control software (e.g., graphical programming or modeling languages) do not have any formal mechanism to express variability. In this paper, we report on our ongoing efforts to create a multidisciplinary variability management approach for CPPSs, particularly CPPS control software. We designed our approach as an integrated approach providing configuration options based on related heterogeneous variability models from multiple disciplines. Our integrated approach can generate control software based on related domain-specific implementation artifacts.","PeriodicalId":193319,"journal":{"name":"Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115513246","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}

引用次数: 0

Advisory: vulnerability analysis in software development project dependencies 建议:软件开发项目依赖项中的漏洞分析

Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B Pub Date : 2022-09-12 DOI: 10.1145/3503229.3547058

A. G. Márquez, J. Galindo, Á. J. Varela-Vaca, María Teresa Gómez López, David Benavides

{"title":"Advisory: vulnerability analysis in software development project dependencies","authors":"A. G. Márquez, J. Galindo, Á. J. Varela-Vaca, María Teresa Gómez López, David Benavides","doi":"10.1145/3503229.3547058","DOIUrl":"https://doi.org/10.1145/3503229.3547058","url":null,"abstract":"Security has become a crucial factor in the development of software systems. The number of dependencies in software systems is becoming a source of countless bugs and vulnerabilities. In the past, the product line community has proposed several techniques and mechanisms to cope with the problems that arise when dealing with variability and dependency management in such systems. In this paper, we present Advisory, a solution that allows automated dependency analysis for vulnerabilities within software projects based on techniques from the product line community. Advisory first inspects software dependencies, then generates a dependency graph, to which security information about vulnerabilities is attributed and translated into a formal model, in this case, based on SMT. Finally, Advisory provides a set of analysis and reasoning operations on these models that allow extracting helpful information about the location of vulnerabilities of the project configuration space, as well as details for advising on the security risk of these projects and their possible configurations.","PeriodicalId":193319,"journal":{"name":"Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126732059","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 tool for modeling and analysis of relationships among feature model views 对特征模型视图之间的关系进行建模和分析的工具

Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B Pub Date : 2022-09-12 DOI: 10.1145/3503229.3547076

Gökhan Kahraman, L. Cleophas

{"title":"A tool for modeling and analysis of relationships among feature model views","authors":"Gökhan Kahraman, L. Cleophas","doi":"10.1145/3503229.3547076","DOIUrl":"https://doi.org/10.1145/3503229.3547076","url":null,"abstract":"High-tech systems development involves several models and artifacts, each focusing on one or more aspects or parts of the system. In product lines, managing the common and variable characteristics of these development artifacts typically involves feature models. Yet for high-tech systems, management is complicated by the large number of features and constraints. Using multiple feature models, each with a reduced number of features relevant only for specific artifacts, has been identified as a possible solution to deal with this complexity. However, to use multiple feature models effectively, the relationships among feature models need to be known. While several approaches that support multiple feature models exist, they do not explicitly provide concepts for representing structural relationships between features in different feature models. Explicitly documenting these relationships improves understanding of the complete variability model and supports maintainability of the variability model under evolution. In this study, we present two domain specific languages---one for relationship modeling, one for change analysis which enables users to express change impact analysis queries using the relationship modeling language terminology---, which we implemented in TReMAFeM, a tool for relationship modeling among feature models. Moreover, we demonstrate the use of the tool on the industry-related case of the Extended Twilight System product line and explain how it can be used to support typical change impact analysis scenarios.","PeriodicalId":193319,"journal":{"name":"Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124202564","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}

引用次数: 0

Derivation of subset product lines in FeatureIDE 在FeatureIDE中派生子集产品线

Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B Pub Date : 2022-09-12 DOI: 10.1145/3503229.3547033

L. Linsbauer, Paul Westphal, P. M. Bittner, S. Krieter, Thomas Thüm, Ina Schaefer

{"title":"Derivation of subset product lines in FeatureIDE","authors":"L. Linsbauer, Paul Westphal, P. M. Bittner, S. Krieter, Thomas Thüm, Ina Schaefer","doi":"10.1145/3503229.3547033","DOIUrl":"https://doi.org/10.1145/3503229.3547033","url":null,"abstract":"The development and configuration of software product lines can be challenging tasks. During development, engineers often need to focus on a particular subset of features that is relevant for them. In such cases, it would be beneficial to hide other features and their implementation. During product configuration, requirements of potentially multiple stakeholders need to be considered. Therefore, configuration often happens in stages, in which different people contribute configuration decisions for different features. Moreover, in some cases, stakeholders want to share a set of products rather than a specific one. In all these cases, the necessary operation is the same: some features from the product line are assigned a value (e.g., via a partial configuration) while other features remain configurable. In this work, we propose a subset operation that takes a product line and a partial configuration to derive a subset product line comprising only the desired subset of features and implementation artifacts. Furthermore, we present, evaluate, and publish our implementation of the proposed subset operation within the FeatureIDE framework.","PeriodicalId":193319,"journal":{"name":"Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125744084","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}

引用次数: 0

IDE-assisted visualization of indebted OO variability implementations 负债的OO可变性实现的ide辅助可视化

Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B Pub Date : 2022-09-12 DOI: 10.1145/3503229.3547066

Johann Mortara, P. Collet, A. Pinna-Dery

引用次数: 2

A tool for analysing higher-order feature interactions in preprocessor annotations in C and C++ projects 用于分析C和c++项目中预处理器注释中的高阶特征交互的工具

Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B Pub Date : 2022-09-12 DOI: 10.1145/3503229.3547027

David Korsman, C. Damasceno, D. Strüber

引用次数: 0

V4rdiac

Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B Pub Date : 2022-09-12 DOI: 10.1145/3503229.3547028

H. Fadhlillah, Kevin Feichtinger, Philipp Bauer, Elene Kutsia, Rick Rabiser

引用次数: 4

Defining categorical reasoning of numerical feature models with feature-wise and variant-wise quality attributes 定义具有特征智能和变量智能质量属性的数值特征模型的分类推理

Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B Pub Date : 2022-09-12 DOI: 10.1145/3503229.3547057

Daniel-Jesus Munoz, M. Pinto, D. Gurov, L. Fuentes

引用次数: 0

Configuration of domotic systems based on constraint solving 基于约束求解的国产系统组态

Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B Pub Date : 2022-09-12 DOI: 10.1145/3503229.3547045

G. Leitner, Martin Stettinger

引用次数: 0