📖
BB-RTE: a Budget-Based RunTime Engine for Mixed and Safety Critical Systems
Sylvain Girbal, Jimmy Le Rhun

BB-RTE: a Budget-Based RunTime Engine for Mixed and Safety Critical Systems

Author / Organization:
Science & Mathematics Published 2018 Verification Pending

Overview & Synopsis

The safety critical industry is considering a shift from single-core COTS to multi-core COTS processor for safety and time critical computers in order to maximize performance while reducing costs. In a domain where time predictability is a major concern due to the regulation standards, multi-core processors are introducing new sources of time variations due to the electronic competition when the software is accessing shared hardware resources, and characterized by timing interference. The solutions proposed in the literature to deal with timing interference are all proposing a trade-off between performance efficiency, time predictability and intrusiveness in the software. Especially, none of them is able to fully exploit the multi-core efficiency while allowing untouched, already-certified legacy software to run. In this paper, we introduce and evaluate BB-RTE, a Budget-Based RunTime Engine for Mixed and Safety Critical Systems, that especially focuses on mixed critical systems. BB-RTE guarantees the deadline of high-critical tasks 1) by computing for each shared hardware resource a budget in terms of extra accesses that the critical tasks can support before their runtime is significantly impacted; 2) by temporarily suspending low-critical tasks at runtime once this budget as been consumed.

Indexed from repository: HAL Open Science (hal.science)
Loading document from verified source...
Keyboard Shortcuts: ← / → for pages • + / - for zoom • 0 to fit width Powered by Mozilla PDF.js v3.11

Document Information

Document Title BB-RTE: a Budget-Based RunTime Engine for Mixed and Safety Critical Systems
Author / Organization Sylvain Girbal, Jimmy Le Rhun
Subject & Discipline Multidisciplinary Academic Open Research
Categories Science & Mathematics
Publication Year 2018
License / Rights Open Access / Creative Commons
Resource Verification Listed PDF (Verification Pending)
Original Host Website HAL Open Science (hal.science)
File Format application/pdf (Portable Document Format)
Language EN
Catalog ID DOC-224832
Original Source Link Visit Source Page on hal.science »