{"id":2230,"date":"2022-02-09T19:28:12","date_gmt":"2022-02-09T18:28:12","guid":{"rendered":"https:\/\/i4wpdev.cs.fau.de\/?page_id=2230"},"modified":"2026-02-03T10:15:56","modified_gmt":"2026-02-03T09:15:56","slug":"danceos","status":"publish","type":"page","link":"https:\/\/i4wpdev.cs.fau.de\/en\/research\/danceos","title":{"rendered":"DanceOS"},"content":{"rendered":"<div class=\"cris-projects\"><h3>Dependability Aspects in Configurable Embedded Operating Systems<\/h3><p class=\"project-type\">(Third Party Funds Group &ndash; Sub project)<\/p><p class=\"project-details\"><strong>Overall project: <\/strong>SPP 1500: Design and Architectures of Dependable Embedded Systems<br \/><strong>Project leader: <\/strong><span class=\"author\" itemprop=\"author\">Daniel Lohmann<\/span><br \/><strong>Start date: <\/strong>1. October 2010<br \/><strong>End date: <\/strong>30. September 2017<br \/><strong>Acronym: <\/strong>DanceOS<br \/><strong>Funding source: <\/strong>DFG \/ Schwerpunktprogramm (SPP)<\/p><h4>Abstract: <\/h4><p class=\"project-description\"><div>Future hardware designs for embedded systems will exhibit more parallelism at the price of being less reliable. This bears new challenges for system software, especially the operating system, which has to use and provide software measures to compensate for unreliable hardware. However, dependability in this respect is a nonfunctional concern that affects and depends on all parts of the system. Tackling it in a problem-oriented way by the operating system is an open challenge: (1) It is still unclear, which combination of software measures is most beneficial to compensate certain hardware failures \u2013 ideally these measures should be understood as a matter of configuration and adaptation. (2) To achieve overall dependability, the implementation of these measures, even though provided by the operating system, cannot be scoped just to the operating-system layer \u2013 it inherently crosscuts the whole software stack. (3) To achieve cost-efficiency with respect to hardware and energy, the measures have, furthermore, to be tailored with respect to the actual hardware properties and reliability requirements of the application. We address these challenges for operating-system design by a novel combination of (1) speculative and resource-efficient fault-tolerance techniques, which can (2) flexibly be applied to the operating system and the application by means of aspect-oriented programming, driven by (3) a tool-based (semi-)automatic analysis of the application and operating-system code, resulting in a strictly problem-oriented tailoring of the latter with respect to hardware-fault tolerance.<\/div><\/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\"><a href=\"\/person\/waegemann\">W\u00e4gemann P.<\/a><\/span>, <span class=\"author\" itemprop=\"author\"><a href=\"\/person\/ulbrich\">Ulbrich P.<\/a><\/span>, <span class=\"author\" itemprop=\"author\">Lohmann D.<\/span>:<br \/><span class=\"title\" itemprop=\"name\"><strong><a href=\"https:\/\/cris.fau.de\/publications\/119965604?lang=en_GB\" title=\"Detailansicht in neuem Fenster &ouml;ffnen\">SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems (Outstanding Paper)<\/a><\/strong><\/span><span aria-hidden=\"true\" tabindex=\"-1\" class=\"oa-icon\" title=\"Open-Access-Publikation\"><\/span><br \/><span itemscope itemtype=\"http:\/\/schema.org\/Event\" style=\"font-style:italic\"><span itemprop=\"name\">Real-Time and Embedded Technology and Applications Symposium<\/span> (<span itemprop =\"location\" itemscope itemtype=\"http:\/\/schema.org\/PostalAddress\"><span itemprop=\"name\">Pittsburgh, PA, USA<\/span><\/span>, <span itemprop=\"startDate\" content=\"2017-04-17\">17. April 2017<\/span> - <span itemprop=\"endDate\" content=\"2017-04-21\">21. April 2017<\/span>)<\/span><br \/><span itemscope itemtype=\"http:\/\/schema.org\/Book\">In: <span itemprop=\"author\">Davis, Rob; Parmer, Gabriel (ed.): <\/span><span itemprop=\"name\" style=\"font-weight:bold\">Proceedings of the 23rd Real-Time and Embedded Technology and Applications Symposium (RTAS '17)<\/span>, <span itemprop=\"publisher\" itemscope itemtype=\"http:\/\/schema.org\/Organization\"><span class=\"city\" itemprop=\"address\" itemscope itemtype=\"http:\/\/schema.org\/PostalAddress\"><span itemprop=\"addressLocality\">Los Alamitos, CA<\/span><\/span>: <\/span> <span itemprop=\"datePublished\">2017<\/span><\/span><br \/>DOI: <a href='https:\/\/doi.org\/10.1109\/RTAS.2017.37' target='blank' itemprop=\"sameAs\">10.1109\/RTAS.2017.37<\/a><br \/>URL: <a href='https:\/\/www4.cs.fau.de\/Publications\/2017\/dietrich_17_rtas.pdf' target='blank' itemprop=\"url\">https:\/\/www4.cs.fau.de\/Publications\/2017\/dietrich_17_rtas.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\/echtzeitsysteme\/verlaesslichkeitsaspekte-fuer-konfigurierbare-eingebettete-betriebssysteme\/","footnotes":""},"page_category":[],"class_list":["post-2230","page","type-page","status-publish","hentry","en-US"],"_links":{"self":[{"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/pages\/2230","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=2230"}],"version-history":[{"count":3,"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/pages\/2230\/revisions"}],"predecessor-version":[{"id":2385,"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/pages\/2230\/revisions\/2385"}],"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=2230"}],"wp:term":[{"taxonomy":"page_category","embeddable":true,"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/page_category?post=2230"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}