Using formal methods for the development of safe application-specific RTOS for automotive systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

Using formal methods for the development of safe application-specific RTOS for automotive systems

Abstract

This paper focuses on the development of system software for resource constrained embedded systems such as automotive systems. In these systems, the real-time operating system (RTOS) needs to be highly configurable and tailorable according to the application requirements, the dependability constraints, and the hardware constraints. In this paper, we propose a safe solution to this challenge. We describe a method to generate application-specific RTOS based on formal models. This method allows to verify the correctness of the generated RTOS and to guarantee that it does not contain dead code.
Fichier principal
Vignette du fichier
CARSEDCC2015_paper_10.pdf (372.29 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01193023 , version 1 (05-09-2015)

Identifiers

  • HAL Id : hal-01193023 , version 1

Cite

Kabland Toussaint Gautier Tigori, Jean-Luc Béchennec, Sébastien Faucou, Olivier Roux. Using formal methods for the development of safe application-specific RTOS for automotive systems. CARS 2015 - Critical Automotive applications: Robustness & Safety, Sep 2015, Paris, France. ⟨hal-01193023⟩
418 View
374 Download

Share

Gmail Mastodon Facebook X LinkedIn More