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.
Liste complète des métadonnées

Cited literature [8 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01193023
Contributor : Matthieu Roy <>
Submitted on : Saturday, September 5, 2015 - 6:37:27 AM
Last modification on : Wednesday, December 19, 2018 - 3:02:05 PM
Document(s) archivé(s) le : Sunday, December 6, 2015 - 10:22:31 AM

File

CARSEDCC2015_paper_10.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01193023, version 1

Collections

Citation

Kabland Tigori, Jean-Luc Béchennec, Sébastien Faucou, Olivier Roux. Using formal methods for the development of safe application-specific RTOS for automotive systems. Matthieu Roy. CARS 2015 - Critical Automotive applications: Robustness & Safety, Sep 2015, Paris, France. 〈hal-01193023〉

Share

Metrics

Record views

604

Files downloads

407