SmartOS: An OS Architecture for Sustainable Embedded Systems

Tobias Peter Scheipel; Leandro Batista Ribeiro; Tim Sagaster; Marcel Carsten Baunach

doi:10.18420/fgbs2022f-01

SmartOS: An OS Architecture for Sustainable Embedded Systems

Tobias Peter Scheipel^*, Leandro Batista Ribeiro^*, Tim Sagaster, Marcel Carsten Baunach

^*Corresponding author for this work

Institute of Technical Informatics (4480)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Abstract

The 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.

Original language	English
Title of host publication	2022 - Fruehjahrstreffen FG BS
Publisher	Gesellschaft für Informatik
Number of pages	10
DOIs	https://doi.org/10.18420/fgbs2022f-01
Publication status	Published - 17 Mar 2022
Event	2022 GI Fachgruppentreffen Betriebssysteme - Hybrider Event, Germany Duration: 17 Mar 2022 → 18 Mar 2022 https://www.betriebssysteme.org/aktivitaeten/treffen/2022-hamburg/

Conference

Conference	2022 GI Fachgruppentreffen Betriebssysteme
Country/Territory	Germany
City	Hybrider Event
Period	17/03/22 → 18/03/22
Internet address	https://www.betriebssysteme.org/aktivitaeten/treffen/2022-hamburg/

Fields of Expertise

Information, Communication & Computing

Access to Document

10.18420/fgbs2022f-01Licence: CC BY-SA 4.0

4 Finished

CompEAS-BSW1 - Compositional Embedded Automotive Systems - Basic Software
Baunach, M. C. (Co-Investigator (CoI)), Manjunath, V. (Co-Investigator (CoI)), Nagarajan, D. (Co-Investigator (CoI)) & Krisper, M. (Co-Investigator (CoI))
1/11/20 → 31/03/25
Project: Research project
Embedded Operating Systems
Baunach, M. C. (Co-Investigator (CoI)), Martins Gomes, R. (Co-Investigator (CoI)), Batista Ribeiro, L. (Co-Investigator (CoI)), Malenko, M. (Co-Investigator (CoI)), Mauroner, F. (Co-Investigator (CoI)) & Scheipel, T. P. (Co-Investigator (CoI))
1/09/15 → 31/12/23
Project: Research project
Embedded Automotive Systems
Baunach, M. C. (Co-Investigator (CoI)), Batista Ribeiro, L. (Co-Investigator (CoI)), Martins Gomes, R. (Co-Investigator (CoI)), Malenko, M. (Co-Investigator (CoI)), Scheipel, T. P. (Co-Investigator (CoI)), Saikia, A. (Co-Investigator (CoI)), Nagarajan, D. (Co-Investigator (CoI)), Manjunath, V. (Co-Investigator (CoI)), Kissich, M. W. (Co-Investigator (CoI)) & Kanics, K. (Co-Investigator (CoI))
1/09/14 → 31/12/24
Project: Research area

1 Talk at conference or symposium

SmartOS: An OS Architecture for Sustainable Embedded Systems
Scheipel, T. P. (Speaker), Batista Ribeiro, L. (Speaker) & Sagaster, T. (Speaker)
17 Mar 2022
Activity: Talk or presentation › Talk at conference or symposium › Science to science

1 Doctoral Thesis

Advances in Dynamic and Reconfigurable Embedded Systems Design
Scheipel, T., 19 Dec 2022, 216 p.
Research output: Thesis › Doctoral Thesis

Open Access

Cite this

@inproceedings{e0e7efe7dc6740b4a970ae64549d671d,

title = "SmartOS: An OS Architecture for Sustainable Embedded Systems",

abstract = "The 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.",

author = "Scheipel, \{Tobias Peter\} and \{Batista Ribeiro\}, Leandro and Tim Sagaster and Baunach, \{Marcel Carsten\}",

year = "2022",

month = mar,

day = "17",

doi = "10.18420/fgbs2022f-01",

language = "English",

booktitle = "2022 - Fruehjahrstreffen FG BS",

publisher = "Gesellschaft f{\"u}r Informatik ",

address = "Germany",

note = "2022 GI Fachgruppentreffen Betriebssysteme ; Conference date: 17-03-2022 Through 18-03-2022",

url = "https://www.betriebssysteme.org/aktivitaeten/treffen/2022-hamburg/",

}

TY - GEN

T1 - SmartOS: An OS Architecture for Sustainable Embedded Systems

AU - Scheipel, Tobias Peter

AU - Batista Ribeiro, Leandro

AU - Sagaster, Tim

AU - Baunach, Marcel Carsten

PY - 2022/3/17

Y1 - 2022/3/17

N2 - The 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.

AB - The 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.

U2 - 10.18420/fgbs2022f-01

DO - 10.18420/fgbs2022f-01

M3 - Conference paper

BT - 2022 - Fruehjahrstreffen FG BS

PB - Gesellschaft für Informatik

T2 - 2022 GI Fachgruppentreffen Betriebssysteme

Y2 - 17 March 2022 through 18 March 2022

ER -

SmartOS: An OS Architecture for Sustainable Embedded Systems

Abstract

Conference

Fields of Expertise

Access to Document

Fingerprint

Projects

CompEAS-BSW1 - Compositional Embedded Automotive Systems - Basic Software

Embedded Operating Systems

Embedded Automotive Systems

Activities

SmartOS: An OS Architecture for Sustainable Embedded Systems

Research output

Advances in Dynamic and Reconfigurable Embedded Systems Design

Cite this