9 Hits in 3.7 sec

Formal Semantics of Kconfig for "Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language" [article]

Jeho Oh, Necip Fazıl Yıldıran, Julian Braha, Paul Gazzillo
2021 Zenodo  
Formal Semantics of Kconfig for "Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language"  ...  Figure 17 through Figure 21 show the valuation rules for the core language of bool configuration option.  ...  While the paper shows the core language for bool configuration options, Figure 6 describes additional core rules for choice with the optional keyword, which was not described in the paper for brevity  ... 
doi:10.5281/zenodo.4950762 fatcat:wx4ylfjs5ndbpgjpqenjpzjydu

A Study of Variability Models and Languages in the Systems Software Domain

Thorsten Berger, Steven She, Rafael Lotufo, Andrzej Wasowski, Krzysztof Czarnecki
2013 IEEE Transactions on Software Engineering  
We analyze 128 variability models found in twelve open source projects using these languages.  ...  Since the introduction of FODA in 1990, several variability modeling languages have been proposed in academia and industry, followed by hundreds of research papers on variability models and modeling.  ...  ACKNOWLEDGMENTS This work was supported by the German National Academic Foundation, the German Federal Ministry of Education and Research (01IS10033D), and the Ontario Research Fund.  ... 
doi:10.1109/tse.2013.34 fatcat:olqa2qbjqfetrm2u4g5wsgik44

Where Do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study

Sarah Nadi, Thorsten Berger, Christian Kastner, Krzysztof Czarnecki
2015 IEEE Transactions on Software Engineering  
Highly configurable systems allow users to tailor software to specific needs. Valid combinations of configuration options are often restricted by intricate constraints.  ...  We propose a static analysis approach, based on two rules, to extract configuration constraints from code.  ...  ACKNOWLEDGMENTS We would like to thank all the developers who participated in our study.  ... 
doi:10.1109/tse.2015.2415793 fatcat:yhhwsazg5revpfhzsaanptowgi

Coevolution of variability models and related artifacts

Leonardo Passos, Jianmei Guo, Leopoldo Teixeira, Krzysztof Czarnecki, Andrzej Wąsowski, Paulo Borba
2013 Proceedings of the 17th International Software Product Line Conference on - SPLC '13  
We collect a catalog of evolution patterns, capturing the coevolution of the Linux kernel variability model, Makefiles, and C source code.  ...  Further, we extract general findings to guide further research and tool development.  ...  The Linux kernel variability model comprises a set of files written in the Kconfig language. 2 A configurator renders (step 1) a tree of features from Kconfig files that are available for the user's platform  ... 
doi:10.1145/2491627.2491628 dblp:conf/splc/PassosGTCWB13 fatcat:igjbryamwvg5jlz5nthbxdvihi

An overview on analysis tools for software product lines

Jens Meinicke, Thomas Thüm, Reimar Schröter, Fabian Benduhn, Gunter Saake
2014 Proceedings of the 18th International Software Product Line Conference on Companion Volume for Workshops, Demonstrations and Tools - SPLC '14  
In the last decade, many approaches have been proposed to analyze software product lines efficiently. For some of these approaches tool support is available.  ...  However, analyses of software product lines need to handle a large number of products that can be exponential in the number of features.  ...  The Linux Feature Explorer (LIFE) [63] provides further consistency checks of unused and undefined features for the Linux kernel using Undertaker [67] and Kconfig.  ... 
doi:10.1145/2647908.2655972 dblp:conf/splc/MeinickeTSBS14 fatcat:b4y3g7vklbh4vmulfxrza5ckhy

Role of Requirement Prioritization Technique to Improve the Quality of Highly-Configurable Systems

Atif Ali, Yaser Hafeez, Shariq Hussain, Shunkun Yang
2020 IEEE Access  
The software is tested for the assurance of high quality of HCSs [7] . This testing ensures that the specific feature has been tested in every possible configuration.  ...  The quality product is only produced by using the high-quality requirement engineering.  ...  The data is analyzed. Report The specifications are completed and the results are presented. C.  ... 
doi:10.1109/access.2020.2971382 fatcat:qcqptrijp5ci7gwr3amp3k3iym

Identifying, Structuring, and Evolving Features in Software Product Lines [article]

Mostafa Ahmed Hamza Sayed, University Of Calgary, Maged Elaasar, Robert J. Walker
observations. (3) We compare six different configurations of our CIA approach (reified in the tool CIAHelper) and one based on an existing tool by performing seven case studies on three different SPLs  ...  Software product line engineering (SPLE) aims to better manage SPLs through the use of both source code artifacts and a variability model (VM) that describes legal configurations of the source code artifacts  ...  Domain Specific Models (DSMs) A domain-specific language (DSL) is a programming language that is used to capture and represent the key knowledge for a specific domain.  ... 
doi:10.11575/prism/36669 fatcat:duemipy3fzhprlksxjwuykvhgi


Muddassar Farooq, Horst F. Wedde, Technische Universität Dortmund, Technische Universität Dortmund
scripting language OTcl to set-up the scenarios 3.2.  ...  In a network one can determine this threshold by collecting static of the route values of incoming foragers and find out a suitable range of the dance time which should be fixed for the BeeAdHoc algorithm  ...  The declaration of a sequential agent is introduced by bs and of a parallel one by bpa.  ... 
doi:10.17877/de290r-14312 fatcat:eltnmowkmrcwjir7l3py4vgv3u

BEEhive - an Energy-Aware Scheduling and Routing Framework

Lars Bensmann, Thomas Büning, Mike Duhm, René Jeruschkat, Gero Kathagen, Johannes Meth, Kai Moritz, Christian Müller, Thorsten Pannenbäcker, Projektgruppe 439, Björn Vogel, Rene Zeglin (+2 others)
Since the effects of the modifications were predictable, we had to find out the correct values by the "trial-and-error" method.  ...  Parsing Analyzing line by line the parser stores valuable information needed for future calculations, ignoring and forgetting redundant or unnecessary data.  ...  The rq_data array stores scheduler specific data, e.g. the list_head of a runqueue.  ... 
doi:10.17877/de290r-14353 fatcat:xkrfp7mpwbad7kbb5d24k5ymj4