{"id":2145,"date":"2022-02-09T13:17:07","date_gmt":"2022-02-09T12:17:07","guid":{"rendered":"https:\/\/i4wpdev.cs.fau.de\/?page_id=2145"},"modified":"2026-02-03T10:14:12","modified_gmt":"2026-02-03T09:14:12","slug":"cados","status":"publish","type":"page","link":"https:\/\/i4wpdev.cs.fau.de\/en\/research\/cados","title":{"rendered":"CADOS"},"content":{"rendered":"<div class=\"cris-projects\"><h3>Configurability Aware Development of Operating Systems<\/h3><p class=\"project-type\">(Third Party Funds Single)<\/p><p class=\"project-details\"><br \/><strong>Project leader: <\/strong><span class=\"author\" itemprop=\"author\">Daniel Lohmann<\/span><br \/><strong>Project members: <\/strong><span class=\"author\" itemprop=\"author\">Christian Dietrich<\/span><br \/><strong>Start date: <\/strong>1. May 2014<br \/><strong>Acronym: <\/strong>CADOS<br \/><strong>Funding source: <\/strong>DFG-Einzelf\u00f6rderung \/ Sachbeihilfe (EIN-SBH)<\/p><h4>Abstract: <\/h4><p class=\"project-description\"><p>Todays operating systems (as well as other system software) offer a great deal of static configurability to tailor them with respect to a specific application or hardware platform. Linux 4.2, for instance, provides (via its Kconfig models and tools) more than\u00a0fifteen thousand\u00a0configurable features for this purpose. Technically, the implementation of all these features is spread over multiple levels of the software generation process, including the configuration system, build system, C preprocessor, compiler, linker, and more. This enormous variability has become unmanageable in practice; in the case of Linux it already has led to\u00a0thousands of variability defects\u00a0within the lifetime of Linux. With this term, we denote bugs and other quality issues related to the implementation of variable features. Variability defects manifest as configuration consistency and configuration coverage issues.<\/p><p>In the\u00a0CADOS\u00a0project, we investigate\u00a0scalable\u00a0methods and tools to grasp the variability on every layer within the configuration and implementation space, visualize and analyze it and, if possible, adjust it while maintaining a holistic view on variability.<\/p><\/p><h4>Publications: <\/h4><ul class=\"cris-publications \" lang=\"en\"><li itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><span class=\"author\" itemprop=\"author\">Dietrich C.<\/span>, <span class=\"author\" itemprop=\"author\">Rothberg V.<\/span>, <span class=\"author\" itemprop=\"author\">F\u00fcracker L.<\/span>, <span class=\"author\" itemprop=\"author\"><a href=\"\/person\/ziegler\">Ziegler A.<\/a><\/span>, <span class=\"author\" itemprop=\"author\">Lohmann D.<\/span>:<br \/><span class=\"title\" itemprop=\"name\"><strong><a href=\"https:\/\/cris.fau.de\/publications\/111196624?lang=en_GB\" title=\"Detailansicht in neuem Fenster &ouml;ffnen\">cHash: Detection of Redundant Compilations via AST Hashing<\/a><\/strong><\/span><br \/><span itemscope itemtype=\"http:\/\/schema.org\/Event\" style=\"font-style:italic\"><span itemprop=\"name\">2017 USENIX Annual Technical Conference (ATC '17)<\/span> (<span itemprop =\"location\" itemscope itemtype=\"http:\/\/schema.org\/PostalAddress\"><span itemprop=\"name\">Santa Clara, CA<\/span><\/span>, <span itemprop=\"startDate\" content=\"2017-07-12\">12. July 2017<\/span> - <span itemprop=\"endDate\" content=\"2017-07-14\">14. July 2017<\/span>)<\/span><br \/><span itemscope itemtype=\"http:\/\/schema.org\/Book\">In: <span itemprop=\"author\">USENIX Association (ed.): <\/span><span itemprop=\"name\" style=\"font-weight:bold\">Proceedings of the 2017 USENIX Annual Technical Conference (ATC '17)<\/span> <span itemprop=\"datePublished\">2017<\/span><\/span><br \/>URL: <a href='https:\/\/www4.cs.fau.de\/Publications\/2017\/dietrich_17_atc.pdf' target='blank' itemprop=\"url\">https:\/\/www4.cs.fau.de\/Publications\/2017\/dietrich_17_atc.pdf<\/a><\/li><li itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><span class=\"author\" itemprop=\"author\"><a href=\"\/person\/ziegler\">Ziegler A.<\/a><\/span>, <span class=\"author\" itemprop=\"author\">Geus J.<\/span>, <span class=\"author\" itemprop=\"author\"><a href=\"\/person\/heinloth\">Heinloth B.<\/a><\/span>, <span class=\"author\" itemprop=\"author\">H\u00f6nig T.<\/span>, <span class=\"author\" itemprop=\"author\">Lohmann D.<\/span>:<br \/><span class=\"title\" itemprop=\"name\"><strong><a href=\"https:\/\/cris.fau.de\/publications\/228156496?lang=en_GB\" title=\"Detailansicht in neuem Fenster &ouml;ffnen\">Honey, I Shrunk the ELFs: Lightweight Binary Tailoring of Shared Libraries<\/a><\/strong><\/span><br \/>In: <span itemscope itemtype=\"http:\/\/schema.org\/Periodical\" itemid=\"#periodical_228156496\"><span itemprop=\"name\"><strong>Transactions on Embedded Computing Systems<\/strong><\/span><\/span> <span itemprop=\"isPartOf\" itemscope itemtype=\"http:\/\/schema.org\/PublicationVolume\"><link itemprop=\"isPartOf\" href=\"#periodical_228156496\" \/><span itemprop=\"volumeNumber\">18<\/span><\/span>  (<span itemprop=\"datePublished\">2019<\/span>), p. <span itemprop=\"pagination\">102:1-102:23<\/span><br><span itemscope itemtype=\"http:\/\/schema.org\/Periodical\" itemid=\"#periodical_228156496\"><span itemprop=\"issn\">ISSN: 1558-3465<\/span><\/span><\/span><br \/>DOI: <a href='https:\/\/doi.org\/10.1145\/3358222' target='blank' itemprop=\"sameAs\">10.1145\/3358222<\/a><br \/>URL: <a href='https:\/\/dl.acm.org\/citation.cfm?id=3358222' target='blank' itemprop=\"url\">https:\/\/dl.acm.org\/citation.cfm?id=3358222<\/a><\/li><li itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><span class=\"author\" itemprop=\"author\">Rothberg V.<\/span>, <span class=\"author\" itemprop=\"author\">Dietrich C.<\/span>, <span class=\"author\" itemprop=\"author\"><a href=\"\/person\/ziegler\">Ziegler A.<\/a><\/span>, <span class=\"author\" itemprop=\"author\">Lohmann D.<\/span>:<br \/><span class=\"title\" itemprop=\"name\"><strong><a href=\"https:\/\/cris.fau.de\/publications\/111415744?lang=en_GB\" title=\"Detailansicht in neuem Fenster &ouml;ffnen\">Towards Scalable Configuration Testing in Variable Software<\/a><\/strong><\/span><br \/><span itemscope itemtype=\"http:\/\/schema.org\/Event\" style=\"font-style:italic\"><span itemprop=\"name\">15th International Conference on Generative Programming: Concepts & Experience<\/span> (<span itemprop =\"location\" itemscope itemtype=\"http:\/\/schema.org\/PostalAddress\"><span itemprop=\"name\">Amsterdam<\/span><\/span>, <span itemprop=\"startDate\" content=\"2016-10-31\">31. October 2016<\/span> - <span itemprop=\"endDate\" content=\"2016-11-01\">1. November 2016<\/span>)<\/span><br \/><span itemscope itemtype=\"http:\/\/schema.org\/Book\">In: <span itemprop=\"name\" style=\"font-weight:bold\">Proceedings of the 2016 International Conference on Generative Programming: Concepts and Experiences<\/span> <span itemprop=\"datePublished\">2016<\/span><\/span><br \/>DOI: <a href='https:\/\/doi.org\/10.1145\/2993236.2993252' target='blank' itemprop=\"sameAs\">10.1145\/2993236.2993252<\/a><br \/>URL: <a href='https:\/\/www4.cs.fau.de\/Publications\/2016\/rothberg_16_gpce.pdf' target='blank' itemprop=\"url\">https:\/\/www4.cs.fau.de\/Publications\/2016\/rothberg_16_gpce.pdf<\/a><\/li><li itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><span class=\"author\" itemprop=\"author\">Rothberg V.<\/span>, <span class=\"author\" itemprop=\"author\">Dintzner N.<\/span>, <span class=\"author\" itemprop=\"author\"><a href=\"\/person\/ziegler\">Ziegler A.<\/a><\/span>, <span class=\"author\" itemprop=\"author\">Lohmann D.<\/span>:<br \/><span class=\"title\" itemprop=\"name\"><strong><a href=\"https:\/\/cris.fau.de\/publications\/111386264?lang=en_GB\" title=\"Detailansicht in neuem Fenster &ouml;ffnen\">Feature Models in Linux - From Symbols to Semantic<\/a><\/strong><\/span><br \/><span itemscope itemtype=\"http:\/\/schema.org\/Event\" style=\"font-style:italic\"><span itemprop=\"name\">10th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '16)<\/span> (<span itemprop =\"location\" itemscope itemtype=\"http:\/\/schema.org\/PostalAddress\"><span itemprop=\"name\">Salvador, Brazil<\/span><\/span><span itemprop=\"startDate\" content=\"2016\"><\/span>)<\/span><br \/><span itemscope itemtype=\"http:\/\/schema.org\/Book\">In: <span itemprop=\"name\" style=\"font-weight:bold\">Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems<\/span>, <span itemprop=\"publisher\" itemscope itemtype=\"http:\/\/schema.org\/Organization\"><span class=\"city\" itemprop=\"address\" itemscope itemtype=\"http:\/\/schema.org\/PostalAddress\"><span itemprop=\"addressLocality\">New York, NY, USA<\/span><\/span>: <\/span> <span itemprop=\"datePublished\">2016<\/span><\/span><br \/>DOI: <a href='https:\/\/doi.org\/10.1145\/2866614.2866624' target='blank' itemprop=\"sameAs\">10.1145\/2866614.2866624<\/a><br \/>URL: <a href='https:\/\/www4.cs.fau.de\/Publications\/2016\/rothberg_16_vamos.pdf' target='blank' itemprop=\"url\">https:\/\/www4.cs.fau.de\/Publications\/2016\/rothberg_16_vamos.pdf<\/a><\/li><li itemscope itemtype=\"http:\/\/schema.org\/ScholarlyArticle\"><span class=\"author\" itemprop=\"author\"><a href=\"\/person\/ziegler\">Ziegler A.<\/a><\/span>, <span class=\"author\" itemprop=\"author\">Rothberg V.<\/span>, <span class=\"author\" itemprop=\"author\">Lohmann D.<\/span>:<br \/><span class=\"title\" itemprop=\"name\"><strong><a href=\"https:\/\/cris.fau.de\/publications\/111078484?lang=en_GB\" title=\"Detailansicht in neuem Fenster &ouml;ffnen\">Analyzing the Impact of Feature Changes in Linux<\/a><\/strong><\/span><br \/><span itemscope itemtype=\"http:\/\/schema.org\/Event\" style=\"font-style:italic\"><span itemprop=\"name\">10th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '16)<\/span> (<span itemprop =\"location\" itemscope itemtype=\"http:\/\/schema.org\/PostalAddress\"><span itemprop=\"name\">Salvador, Brazil<\/span><\/span>, <span itemprop=\"startDate\" content=\"2016-01-27\">27. January 2016<\/span> - <span itemprop=\"endDate\" content=\"2016-01-29\">29. January 2016<\/span>)<\/span><br \/><span itemscope itemtype=\"http:\/\/schema.org\/Book\">In: <span itemprop=\"name\" style=\"font-weight:bold\">Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems<\/span>, <span itemprop=\"publisher\" itemscope itemtype=\"http:\/\/schema.org\/Organization\"><span class=\"city\" itemprop=\"address\" itemscope itemtype=\"http:\/\/schema.org\/PostalAddress\"><span itemprop=\"addressLocality\">New York, NY, USA<\/span><\/span>: <\/span> <span itemprop=\"datePublished\">2016<\/span><\/span><br \/>DOI: <a href='https:\/\/doi.org\/10.1145\/2866614.2866618' target='blank' itemprop=\"sameAs\">10.1145\/2866614.2866618<\/a><br \/>URL: <a href='https:\/\/www4.cs.fau.de\/Publications\/2016\/ziegler_16_vamos.pdf' target='blank' itemprop=\"url\">https:\/\/www4.cs.fau.de\/Publications\/2016\/ziegler_16_vamos.pdf<\/a><\/li><\/ul><\/div>","protected":false},"excerpt":{"rendered":"","protected":false},"author":4,"featured_media":0,"parent":2103,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_crdt_document":"","_rrze_multilang_single_locale":"en_US","_rrze_multilang_single_source":"https:\/\/i4wp.cs.fau.de\/forschung\/weitere-projekte\/konfigurierbarkeitsgewahre-betriebssystementwicklung\/","footnotes":""},"page_category":[],"class_list":["post-2145","page","type-page","status-publish","hentry","en-US"],"_links":{"self":[{"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/pages\/2145","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/comments?post=2145"}],"version-history":[{"count":4,"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/pages\/2145\/revisions"}],"predecessor-version":[{"id":2377,"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/pages\/2145\/revisions\/2377"}],"up":[{"embeddable":true,"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/pages\/2103"}],"wp:attachment":[{"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/media?parent=2145"}],"wp:term":[{"taxonomy":"page_category","embeddable":true,"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/page_category?post=2145"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}