Design and implementation of a resource-secure system

Abstract : This paper describes an operating system for safe execution of hard real-time and non real-time tasks on a single computer. Achieving this goal requires not only to follow the traditional behavioral security principles, but also new resource security principles throughout the system. Even if these principles put heavy constraints on the system, they make allocation predictable, immune from denial of service attacks, and allows ensuring a task will have enough resource to complete its execution. We prove that building resource-secure systems is pos-sible by describing the design and implementation of our prototype, Anaxagoros. The main issue for writing the system is synchronization, and we propose several novel ways to solve synchronization problems.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

https://hal-cea.archives-ouvertes.fr/cea-01113096
Contributor : Matthieu Lemerre <>
Submitted on : Wednesday, February 4, 2015 - 1:55:16 PM
Last modification on : Wednesday, January 23, 2019 - 2:38:28 PM
Long-term archiving on : Sunday, April 16, 2017 - 8:03:31 AM

File

201300004419(4).pdf
Files produced by the author(s)

Identifiers

  • HAL Id : cea-01113096, version 1

Collections

Citation

Matthieu Lemerre, Vincent David, Guy Vidal-Naquet. Design and implementation of a resource-secure system. 2010. ⟨cea-01113096⟩

Share

Metrics

Record views

236

Files downloads

42