The Kconfig Variability Framework as a Feature Model: Unterschied zwischen den Versionen
K (Dr4528 verschob die Seite Variabilität im Linux-Kernel: Analyse des Feature-Modells nach The KConfig Variability Framework as a Feature Model: Umbenennung der Arbeit) |
Keine Bearbeitungszusammenfassung |
||
Zeile 6: | Zeile 6: | ||
|termin=Institutsseminar/2023-03-31 | |termin=Institutsseminar/2023-03-31 | ||
|vortragsmodus=in Präsenz | |vortragsmodus=in Präsenz | ||
|kurzfassung= | |kurzfassung=The Kconfig variability framework is used to develop highly variable software such as the Linux kernel, ZephyrOS and NuttX. Kconfig allows developers to break down their software in modules and define the dependencies between these modules, so that when a concrete configuration is created, the semantic dependencies between the selected modules are fulfilled, ensuring that the resulting software product can function. Kconfig has often been described as a tool of define software product lines (SPLs), which often occur within the context of feature-oriented programming (FOP). In this paper, we introduce methods to transform Kconfig files into feature models so that the semantics of the model defined in a Kconfig file are preserved. The resulting feature models can be viewed with FeatureIDE, which allows the further analysis of the Kconfig file, such as the detection of redundant dependencies and cyclic dependencies. We also offer an overview of currently available tools for the analysis and processing Kconfig files. | ||
}} | }} |
Version vom 13. März 2023, 10:59 Uhr
Vortragende(r) | Kaan Berk Yaman | |
---|---|---|
Vortragstyp | Bachelorarbeit | |
Betreuer(in) | Christopher Gerking | |
Termin | Fr 31. März 2023 | |
Vortragsmodus | in Präsenz | |
Kurzfassung | The Kconfig variability framework is used to develop highly variable software such as the Linux kernel, ZephyrOS and NuttX. Kconfig allows developers to break down their software in modules and define the dependencies between these modules, so that when a concrete configuration is created, the semantic dependencies between the selected modules are fulfilled, ensuring that the resulting software product can function. Kconfig has often been described as a tool of define software product lines (SPLs), which often occur within the context of feature-oriented programming (FOP). In this paper, we introduce methods to transform Kconfig files into feature models so that the semantics of the model defined in a Kconfig file are preserved. The resulting feature models can be viewed with FeatureIDE, which allows the further analysis of the Kconfig file, such as the detection of redundant dependencies and cyclic dependencies. We also offer an overview of currently available tools for the analysis and processing Kconfig files. |