Home > Research > Étudiants/Post-docs > Hanan Kanso

Hanan Kanso

Implementing critical systems on many-core architectures: Towards solutions preserving determinism

Tuesday 5 August 2014

Years: 2014 (M2R)
Co-supervisor: Florence Maraninchi
Subject: Implementing critical systems on many-core architectures: Towards solutions preserving determinism
Abstract:

Shifting to many-core architectures is becoming compulsory for real-time applications demanding intensive computing capabilities. Nonetheless, the gain in performance of many-core architectures does not come for free. In particular, it comes at the cost of predictability and determinism issues. Logical determinism is the property of programs that for the same sequence of inputs always give the same sequence of outputs. This property is essential for critical systems which are systems whose failures can result in people deaths or injuries, in severe damage to equipments or to the environment. Although many-core architectures do not all respect criticality constraints, some designers have taken into account this problem as for example the Kalray MPPA-256 processor. These architectures appear as good candidates for implementing critical systems. Based on that, we develop a solution that will be able to enforce logical determinism by construction.


Publications HAL de Hanan,Kanso

2016

Conference papers

ref_biblio
Philippe Jégou, Hanan Kanso, Cyril Terrioux. Vers une décomposition dynamique des réseaux de contraintes. Journées Francophones de Programmation par Contraintes (JFPC 2016), 2016, Unknown, Région indéterminée. pp.123-132, 2016. 〈hal-01490088〉
Accès au bibtex
BibTex
ref_biblio
Philippe Jégou, Hanan Kanso, Cyril Terrioux. Towards a Dynamic Decomposition of CSPs with Separators of Bounded Size. Proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming, 2016, Unknown, Unknown or Invalid Region. pp.298-315, 2016. 〈hal-01490136〉
Accès au bibtex
BibTex

Attached documents


Valid XHTML 1.0 Transitional
SPIP | | Site Map | Follow site activity RSS 2.0
Graphic design (c) styleshout under License Creative Commons Attribution 2.5 License