Années:
2014
(
M2R)
Co-encadrant:
Florence Maraninchi
Sujet: Implementing critical systems on many-core architectures : Towards solutions preserving determinism
Résumé: 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.
2017
Conference papers
- ref_biblio
- Philippe Jégou, Hanan Kanso, Cyril Terrioux. Améliorer les méthodes de décomposition pour le dénombrement exact de solutions. Treizièmes Francophones de Programmation par Contraintes, JFPC 2017, Jun 2017, Montreuil-sur-Mer, France. ⟨hal-01785197⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Philippe Jégou, Hanan Kanso, Cyril Terrioux. Vers une exploitation dynamique de la décomposition pour les CSPs pondérés. Treizièmes Francophones de Programmation par Contraintes, JFPC 2017, Jun 2017, Montreuil-sur-Mer, France. ⟨hal-01785202⟩
- Accès au texte intégral et bibtex
-
2016
Conference papers
- ref_biblio
- Philippe Jegou, Hanan Kanso, Cyril Terrioux. Improving Exact Solution Counting for Decomposition Methods. 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2016, San Jose, France. pp.327-334, ⟨10.1109/ICTAI.2016.0057⟩. ⟨hal-03520604⟩
- Accès au bibtex
-
- 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, Montpellier, France. pp.123-132. ⟨hal-01490088⟩
- Accès au 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, Toulouse, France. pp.298-315. ⟨hal-01490136⟩
- Accès au bibtex
-