Offer #2018.17

Programming safety-critical control systems with computationally intensive components


The problem/challenge

The PARKAS group of Inria and École Normale Supérieure, Paris, has comprehensive experience in the design, semantics and compilation of high-level languages for safety-critical systems. One of the hottest areas of research and development is the integration of computationally intensive tasks into safety-critical control systems. Safe driving assistance, autonomous driving, and advanced avionics are examples of such challenges. The team proposes consulting services, research prototypes and engages into collaborative research programs in this area. Our approach follows a correct-by-construction methodology, from a parallel deterministic specification all the way down to target embedded code that may execute on parallel (multi-or many-core) architectures. The team bases its research on the theory and practice of synchronous languages, typed functional languages and modern compilation techniques (polyhedral compilation) to obtain provably safe and efficient code. The team's researchers contributed to several success stories in industry transfer over the last 15 years.

Make an enquiry

Date published04/27/2018StatusPending for reviewTechnology areasAeronautics and Space ApplicationsAutomotive ElectronicsCompiler TechnologyEmbedded HPCHeterogeneous ComputingParallel ProgrammingSafety Critical ApplicationsSmart Mobility