Auflistung nach:
Auflistung Frühjahrs- und Herbsttreffen der Fachgruppen nach Autor:in "Baunach, Marcel"
1 - 3 von 3
Treffer pro Seite
Sortieroptionen
- TextdokumentOne Solution to Rule Them All: ATTEST as Unified Testing Solution for Programming Courses(Tagungsband des FG-BS Herbsttreffens 2023, 2023) Kissich, Meinhard; Kanics, Kristóf; Weinbauer, Klaus; Scheipel, Tobias; Baunach, MarcelAssessing student submissions and providing accurate and timely feedback in educational courses that involve writing code has shown to be demanding. Thus, we recently designed an automated test system that builds submitted code, runs it on the actual target hardware, and generates a report that may include the results of various measurement devices. After a successful test run in the Real-Time Operating Systems course, we aim to adopt our ATTEST test system in further courses spanning the whole system stack. A unified testing solution benefits students by lowering extraneous cognitive load and supervisors by reducing maintenance effort. This work-in-progress paper states why test cases remain an essential assessment technique, summarizes approaches to virtualize laboratory courses, and elaborates on the coursespecific testing requirements and expected outcomes.
- TextdokumentSmartOS: An OS Architecture for Sustainable Embedded Systems(Tagungsband des FG-BS Frühjahrstreffens 2022, 2022) Scheipel, Tobias; Batista Ribeiro, Leandro; Sagaster, Tim; Baunach, MarcelThe 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.
- TextdokumentA Study on the Portability of IoT Operating Systems(Tagungsband des FG-BS Frühjahrstreffens 2021, 2021) Martins Gomes, Renata; Baunach, MarcelThe IoT is set to permeate our lives as a new and global super infrastructure, where billions of devices with an unprecedented variety of hardware architectures will interact. To enable IoT applications and services to run everywhere without major adaptation, operating systems (OS) provide standardized interfaces to the heterogeneous hardware. As a consequence, an operating system for IoT devices must be available for a huge number of target platforms, from low-end to high-end devices, and it must guarantee different levels of dependability (e.g., safety, security, real-time, maintainability) that each application will require. Some of these hardware architectures do already exist, others will emerge over time and introduce new or improved features that must be supported or exploited by the OS. In order to succeed, an OS must thus be portable, not only concerning its functionality, but also its verified dependability. This paper tries to answer the question of how portable existing IoT OSs are, analyzing five popular OSs on their design, development, and testing processes, as well as the quality of available ports. We close with a suggestion on how to improve portability for future OS designs.