Show simple item record

dc.contributor.authorScheipel, Tobias
dc.contributor.authorBatista Ribeiro, Leandro
dc.contributor.authorSagaster, Tim
dc.contributor.authorBaunach, Marcel
dc.date.accessioned2022-03-08T09:59:33Z
dc.date.available2022-03-08T09:59:33Z
dc.date.issued2022
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/38504
dc.description.abstractThe number of embedded devices is growing, and so are the concerns about dependability and sustainability. However, the life-span of modern devices is commonly very short, due to their lack of long-term maintainability in both hardware and software. This yields an increased amount of e-waste, as the individual devices are commonly very cheap and can therefore easily be replaced in case of (partial) obsolescence. In this work, we show an operating system architecture which is designed to make embedded systems more sustainable and prepared for long-term use. To do so, we implement a general basic architecture alongside extended concepts and special features within the operating system. Our approach is based on hardware/software co-design and the opportunity to update software as well as hardware in a modular way at runtime. Therefore, logic reconfiguration of the host platform, dynamic software composition and integration, as well as formal methods for verification and portability are supported.en
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofTagungsband des FG-BS Frühjahrstreffens 2022
dc.subjectOperating system
dc.subjectembedded systems
dc.subjectsustainability
dc.subjectpartial updates
dc.subjectpartial reconfiguration
dc.subjectformal methods
dc.titleSmartOS: An OS Architecture for Sustainable Embedded Systemsen
dc.typeText
dc.pubPlaceBonn
mci.document.qualitydigidoc
mci.conference.locationHamburg, Deutschland
mci.conference.date17.-18. März 2022
dc.identifier.doi10.18420/fgbs2022f-01


Files in this item

Thumbnail

Show simple item record