OSEK-V: Application-Specific RTOS Instantiation in Hardware

Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

Authors

  • Christian Dietrich
  • Daniel Lohmann
View graph of relations

Details

Original languageEnglish
Title of host publicationLCTES 2017: Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems
EditorsZili Shao, Vijay Nagarajan
PublisherAssociation for Computing Machinery (ACM)
Pages111-120
Number of pages10
ISBN (electronic)9781450350303
Publication statusPublished - Jun 2017
Event18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2017 - Barcelona, Spain
Duration: 21 Jun 201722 Jun 2017

Publication series

NameProceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems

Abstract

The employment of a real-time operating system (RTOS) in an embedded control systems is often an all-or-nothing decision: While the RTOS-abstractions provide for easier software composition and development, the price in terms of event latencies and memory costs are high. Especially in HW/SW codesign settings, system developers try to avoid the employment of a full-blown RTOS as far as possible. In OSEK-V, we mitigate this trade-off by a very aggressive tailoring of the concrete RTOS instance into the hardware. Instead of implementing generic OS component's as custom hardware devices, we capture the actually possible application-kernel interactions as a finite-state machine and integrate the tailored RTOS semantics directly into the processor pipeline. In our experimental results with an OSEK-based implementation of a quadrotor flight controller into the Rocket/RISC-V softcore, we thereby can significantly reduce event latencies, interrupt lock times, and memory footprint at moderate costs in terms of FPGA resources.

Keywords

    Application-OS interaction analysis, Application-specific processor design, Hardware-assisted real-time scheduling, OSEK

ASJC Scopus subject areas

Cite this

OSEK-V: Application-Specific RTOS Instantiation in Hardware. / Dietrich, Christian; Lohmann, Daniel.
LCTES 2017: Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems. ed. / Zili Shao; Vijay Nagarajan. Association for Computing Machinery (ACM), 2017. p. 111-120 (Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems).

Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

Dietrich, C & Lohmann, D 2017, OSEK-V: Application-Specific RTOS Instantiation in Hardware. in Z Shao & V Nagarajan (eds), LCTES 2017: Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems. Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, Association for Computing Machinery (ACM), pp. 111-120, 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2017, Barcelona, Spain, 21 Jun 2017. https://doi.org/10.1145/3078633.3081030
Dietrich, C., & Lohmann, D. (2017). OSEK-V: Application-Specific RTOS Instantiation in Hardware. In Z. Shao, & V. Nagarajan (Eds.), LCTES 2017: Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (pp. 111-120). (Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems). Association for Computing Machinery (ACM). https://doi.org/10.1145/3078633.3081030
Dietrich C, Lohmann D. OSEK-V: Application-Specific RTOS Instantiation in Hardware. In Shao Z, Nagarajan V, editors, LCTES 2017: Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems. Association for Computing Machinery (ACM). 2017. p. 111-120. (Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems). doi: 10.1145/3078633.3081030
Dietrich, Christian ; Lohmann, Daniel. / OSEK-V: Application-Specific RTOS Instantiation in Hardware. LCTES 2017: Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems. editor / Zili Shao ; Vijay Nagarajan. Association for Computing Machinery (ACM), 2017. pp. 111-120 (Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems).
Download
@inproceedings{827990b364854b3ead2ffd3f870e3a20,
title = "OSEK-V: Application-Specific RTOS Instantiation in Hardware",
abstract = "The employment of a real-time operating system (RTOS) in an embedded control systems is often an all-or-nothing decision: While the RTOS-abstractions provide for easier software composition and development, the price in terms of event latencies and memory costs are high. Especially in HW/SW codesign settings, system developers try to avoid the employment of a full-blown RTOS as far as possible. In OSEK-V, we mitigate this trade-off by a very aggressive tailoring of the concrete RTOS instance into the hardware. Instead of implementing generic OS component's as custom hardware devices, we capture the actually possible application-kernel interactions as a finite-state machine and integrate the tailored RTOS semantics directly into the processor pipeline. In our experimental results with an OSEK-based implementation of a quadrotor flight controller into the Rocket/RISC-V softcore, we thereby can significantly reduce event latencies, interrupt lock times, and memory footprint at moderate costs in terms of FPGA resources.",
keywords = "Application-OS interaction analysis, Application-specific processor design, Hardware-assisted real-time scheduling, OSEK",
author = "Christian Dietrich and Daniel Lohmann",
note = "Funding information: The authors thank the anonymous reviewers for their feedback. This work has been supported by the German Research Foundation (DFG) under the grants no. LO 1719/1-3, SFB/Transregio 89 “Invasive Computing” (Project C1), and LO 1719/4-1.; 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2017 ; Conference date: 21-06-2017 Through 22-06-2017",
year = "2017",
month = jun,
doi = "10.1145/3078633.3081030",
language = "English",
series = "Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems",
publisher = "Association for Computing Machinery (ACM)",
pages = "111--120",
editor = "Zili Shao and Vijay Nagarajan",
booktitle = "LCTES 2017: Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems",
address = "United States",

}

Download

TY - GEN

T1 - OSEK-V: Application-Specific RTOS Instantiation in Hardware

AU - Dietrich, Christian

AU - Lohmann, Daniel

N1 - Funding information: The authors thank the anonymous reviewers for their feedback. This work has been supported by the German Research Foundation (DFG) under the grants no. LO 1719/1-3, SFB/Transregio 89 “Invasive Computing” (Project C1), and LO 1719/4-1.

PY - 2017/6

Y1 - 2017/6

N2 - The employment of a real-time operating system (RTOS) in an embedded control systems is often an all-or-nothing decision: While the RTOS-abstractions provide for easier software composition and development, the price in terms of event latencies and memory costs are high. Especially in HW/SW codesign settings, system developers try to avoid the employment of a full-blown RTOS as far as possible. In OSEK-V, we mitigate this trade-off by a very aggressive tailoring of the concrete RTOS instance into the hardware. Instead of implementing generic OS component's as custom hardware devices, we capture the actually possible application-kernel interactions as a finite-state machine and integrate the tailored RTOS semantics directly into the processor pipeline. In our experimental results with an OSEK-based implementation of a quadrotor flight controller into the Rocket/RISC-V softcore, we thereby can significantly reduce event latencies, interrupt lock times, and memory footprint at moderate costs in terms of FPGA resources.

AB - The employment of a real-time operating system (RTOS) in an embedded control systems is often an all-or-nothing decision: While the RTOS-abstractions provide for easier software composition and development, the price in terms of event latencies and memory costs are high. Especially in HW/SW codesign settings, system developers try to avoid the employment of a full-blown RTOS as far as possible. In OSEK-V, we mitigate this trade-off by a very aggressive tailoring of the concrete RTOS instance into the hardware. Instead of implementing generic OS component's as custom hardware devices, we capture the actually possible application-kernel interactions as a finite-state machine and integrate the tailored RTOS semantics directly into the processor pipeline. In our experimental results with an OSEK-based implementation of a quadrotor flight controller into the Rocket/RISC-V softcore, we thereby can significantly reduce event latencies, interrupt lock times, and memory footprint at moderate costs in terms of FPGA resources.

KW - Application-OS interaction analysis

KW - Application-specific processor design

KW - Hardware-assisted real-time scheduling

KW - OSEK

UR - http://www.scopus.com/inward/record.url?scp=85029471713&partnerID=8YFLogxK

U2 - 10.1145/3078633.3081030

DO - 10.1145/3078633.3081030

M3 - Conference contribution

AN - SCOPUS:85029471713

T3 - Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems

SP - 111

EP - 120

BT - LCTES 2017: Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems

A2 - Shao, Zili

A2 - Nagarajan, Vijay

PB - Association for Computing Machinery (ACM)

T2 - 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2017

Y2 - 21 June 2017 through 22 June 2017

ER -