http://www-verimag.imag.fr/PROJECTS/SYNCHRONE/CESYMPA/ Persyval-Lab exploratory project 2013-2014 CESyMPA: Critical Embedded Systems on Multiprocessor Architectures: Towards a Certifiable HW/SW Solution en SPIP - www.spip.net