A Model-Based Concept for RTOS Portability

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Abstract

The amount and diversity of connected computing platforms in the Internet of Things (IoT) is expected to increase exponentially throughout the next years, together with their dependability requirements. This imposes many challenges to software and hardware developers and calls for safe and secure real-time operating systems (RTOSs) that are portable to different or changing hardware. Middleware ports, including RTOS ports, must keep functional and non-functional behavior constant towards the application. Current middleware portability approaches for embedded systems, however, are arduous and error prone. We present a novel approach towards portability of embedded RTOSs based on the formal, hardware-independent and detailed specification of RTOS kernels. With additional models of relevant MCU properties and instruction set architectures (ISA), we are able to generate low level RTOS code for different target architectures. This paper focuses on the hardware-independent model of the context switch within a multi-tasking RTOS. With the general approach, we expect to (1) reduce the effort for maintaining and porting RTOS code, as well as the (2) likeliness for errors, (3) make it easier to test new kernel concepts during OS development, (4) improve security by modeling different levels of access permissions for memory or peripherals depending on the execution mode, and (5) improve safety by formally proving the correctness and consistency of the models.
Original languageEnglish
Title of host publication 2018 IEEE/ACS 15th International Conference on Computer Systems and Applications
Number of pages6
ISBN (Electronic)978-1-5386-9120-5
DOIs
Publication statusPublished - 2018
EventACS/IEEE International Conference on Computer Systems and Applications 2018 - Aqaba, Jordan
Duration: 28 Oct 20181 Nov 2018
Conference number: 15
http://www.aiccsa.net/AICCSA2018/

Conference

ConferenceACS/IEEE International Conference on Computer Systems and Applications 2018
Abbreviated titleAICCSA 2018
CountryJordan
CityAqaba
Period28/10/181/11/18
Internet address

Fingerprint

Middleware
Hardware
Computer peripheral equipment
Multitasking
Embedded systems
Computer hardware
Switches
Specifications
Data storage equipment
Internet of things

Keywords

  • RTOS portability
  • code generation
  • formal modeling
  • Event-B
  • IoT

Fields of Expertise

  • Information, Communication & Computing

Cite this

Martins Gomes, R., & Baunach, M. C. (2018). A Model-Based Concept for RTOS Portability. In 2018 IEEE/ACS 15th International Conference on Computer Systems and Applications https://doi.org/10.1109/AICCSA.2018.8612862

A Model-Based Concept for RTOS Portability. / Martins Gomes, Renata; Baunach, Marcel Carsten.

2018 IEEE/ACS 15th International Conference on Computer Systems and Applications . 2018.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Martins Gomes, R & Baunach, MC 2018, A Model-Based Concept for RTOS Portability. in 2018 IEEE/ACS 15th International Conference on Computer Systems and Applications . ACS/IEEE International Conference on Computer Systems and Applications 2018, Aqaba, Jordan, 28/10/18. https://doi.org/10.1109/AICCSA.2018.8612862
Martins Gomes R, Baunach MC. A Model-Based Concept for RTOS Portability. In 2018 IEEE/ACS 15th International Conference on Computer Systems and Applications . 2018 https://doi.org/10.1109/AICCSA.2018.8612862
Martins Gomes, Renata ; Baunach, Marcel Carsten. / A Model-Based Concept for RTOS Portability. 2018 IEEE/ACS 15th International Conference on Computer Systems and Applications . 2018.
@inproceedings{7c81769483964a339faba8df2b55ff1d,
title = "A Model-Based Concept for RTOS Portability",
abstract = "The amount and diversity of connected computing platforms in the Internet of Things (IoT) is expected to increase exponentially throughout the next years, together with their dependability requirements. This imposes many challenges to software and hardware developers and calls for safe and secure real-time operating systems (RTOSs) that are portable to different or changing hardware. Middleware ports, including RTOS ports, must keep functional and non-functional behavior constant towards the application. Current middleware portability approaches for embedded systems, however, are arduous and error prone. We present a novel approach towards portability of embedded RTOSs based on the formal, hardware-independent and detailed specification of RTOS kernels. With additional models of relevant MCU properties and instruction set architectures (ISA), we are able to generate low level RTOS code for different target architectures. This paper focuses on the hardware-independent model of the context switch within a multi-tasking RTOS. With the general approach, we expect to (1) reduce the effort for maintaining and porting RTOS code, as well as the (2) likeliness for errors, (3) make it easier to test new kernel concepts during OS development, (4) improve security by modeling different levels of access permissions for memory or peripherals depending on the execution mode, and (5) improve safety by formally proving the correctness and consistency of the models.",
keywords = "RTOS portability, code generation, formal modeling, Event-B, IoT",
author = "{Martins Gomes}, Renata and Baunach, {Marcel Carsten}",
year = "2018",
doi = "10.1109/AICCSA.2018.8612862",
language = "English",
booktitle = "2018 IEEE/ACS 15th International Conference on Computer Systems and Applications",

}

TY - GEN

T1 - A Model-Based Concept for RTOS Portability

AU - Martins Gomes, Renata

AU - Baunach, Marcel Carsten

PY - 2018

Y1 - 2018

N2 - The amount and diversity of connected computing platforms in the Internet of Things (IoT) is expected to increase exponentially throughout the next years, together with their dependability requirements. This imposes many challenges to software and hardware developers and calls for safe and secure real-time operating systems (RTOSs) that are portable to different or changing hardware. Middleware ports, including RTOS ports, must keep functional and non-functional behavior constant towards the application. Current middleware portability approaches for embedded systems, however, are arduous and error prone. We present a novel approach towards portability of embedded RTOSs based on the formal, hardware-independent and detailed specification of RTOS kernels. With additional models of relevant MCU properties and instruction set architectures (ISA), we are able to generate low level RTOS code for different target architectures. This paper focuses on the hardware-independent model of the context switch within a multi-tasking RTOS. With the general approach, we expect to (1) reduce the effort for maintaining and porting RTOS code, as well as the (2) likeliness for errors, (3) make it easier to test new kernel concepts during OS development, (4) improve security by modeling different levels of access permissions for memory or peripherals depending on the execution mode, and (5) improve safety by formally proving the correctness and consistency of the models.

AB - The amount and diversity of connected computing platforms in the Internet of Things (IoT) is expected to increase exponentially throughout the next years, together with their dependability requirements. This imposes many challenges to software and hardware developers and calls for safe and secure real-time operating systems (RTOSs) that are portable to different or changing hardware. Middleware ports, including RTOS ports, must keep functional and non-functional behavior constant towards the application. Current middleware portability approaches for embedded systems, however, are arduous and error prone. We present a novel approach towards portability of embedded RTOSs based on the formal, hardware-independent and detailed specification of RTOS kernels. With additional models of relevant MCU properties and instruction set architectures (ISA), we are able to generate low level RTOS code for different target architectures. This paper focuses on the hardware-independent model of the context switch within a multi-tasking RTOS. With the general approach, we expect to (1) reduce the effort for maintaining and porting RTOS code, as well as the (2) likeliness for errors, (3) make it easier to test new kernel concepts during OS development, (4) improve security by modeling different levels of access permissions for memory or peripherals depending on the execution mode, and (5) improve safety by formally proving the correctness and consistency of the models.

KW - RTOS portability

KW - code generation

KW - formal modeling

KW - Event-B

KW - IoT

U2 - 10.1109/AICCSA.2018.8612862

DO - 10.1109/AICCSA.2018.8612862

M3 - Conference contribution

BT - 2018 IEEE/ACS 15th International Conference on Computer Systems and Applications

ER -