 |
Free and accessible knowledge |
Reports
Efficient parallelization of large-scale hard real-time applications
Efficient parallelization of large-scale hard real-time applications
Abstract : We present a parallel compilation method for embedded control applications. The method is fully automatic and scales up, being based on low-complexity heuristics. Unlike classical compilation, it also takes as input non-functional requirements, e.g. real-time or resource limits.
The main objective is not optimization per se, but the respect of requirements. To this end, static resource allocation and code generation algorithms perform a safe accounting of non-functional properties. Accounting starts from per-component time and memory footprint worst-case bounds, automatically obtained through calls to state-of-the-art static analysis tools. Experiments show that our method produces efficient code for large-scale, real-life avionics applications.
Cited literature [32 references]
https://hal.inria.fr/hal-01810176
Contributor : Keryan Didier Connect in order to contact the contributor
Submitted on : Friday, June 8, 2018 - 1:03:05 PM
Last modification on : Wednesday, June 8, 2022 - 12:50:07 PM
Long-term archiving on: : Sunday, September 9, 2018 - 8:28:41 PM
Contributor : Keryan Didier Connect in order to contact the contributor
Submitted on : Friday, June 8, 2018 - 1:03:05 PM
Last modification on : Wednesday, June 8, 2022 - 12:50:07 PM
Long-term archiving on: : Sunday, September 9, 2018 - 8:28:41 PM
File
RR-9180.pdf
Files produced by the author(s)