Richard Castanet

- Professeur
- Bordeaux INP
- Département
- SeD
- Équipe
- Programmation, Réseaux et Systèmes
- Fonction administrative
- Emérite
- Page personnelle
- http://www.labri.fr/~castanet
- Adresse E-mail
- richard.castanet
labri.fr
- Bureau
- INP
- Tel
- +33 (0)5 40 00 69 01
Recherche
Thèmes de recherche développés ; précisez le cas échéant les collaborations nationales ou internationales associées.
Le thème de recherche couvre les aspects de modélisation, de vérification et de test de systèmes informatisés,
plus particulièrement les protocoles de communication, les systèmes embarqués et les systèmes à base de composants et a des extensions vers la prise en compte de systèmes de sécurité.
L'activité de ce thème est centrée sur la problématique du test (de conformité, d'interopérabilité et de robustesse) et la génération automatique de séquences de tests.
Cette activité requiert de nouveaux modèles du fait de la complexité croissante des systèmes et des services.
L'optimisation de la phase de test, en particulier avec des techniques de génération automatique de tests à partir d'une spécification intéresse un grand nombre d'industriels.
L'arrivée de services temps réel avec qualité de service et de réseaux haut débit impliquent la nécessité de prendre en compte les contraintes temps réel dans toutes les étapes du cycle d'ingénierie.
Les avancées scientifiques récentes du thème de recherche au LaBRI concernent principalement la prise en compte de système avec variables et de systèmes de sécurité, une formalisation du test de robustesse,
la définition de nouvelles méthodes pour le test de systèmes critiques, le test de nouveaux objets, tels que les Web services.
Une plateforme pour le test de systèmes complexes temporisés a été réalisée.
Extrait de publications
- Dung Cao, Richard Castanet, Patrick Felix, Kevin Chiew. An Approach to Automated Runtime Verification for Timed Systems: Applications to Web Services. JOURNAL OF SOFTWARE,, 2012, 7 (6), pp.1338-1350.
- Tien-Dung Cao, Richard Castanet, Patrick Félix. Services Web : du test actif au test passif. CFIP 2011 - Colloque Francophone sur l Ingénierie des Protocoles, UTC, May 2011, Sainte Maxime, France.
- Dung Cao, Richard Castanet, Patrick Félix, Gerardo Morales. Testing of Web services: Tools and Experiences. IEEE Asia-Pacific Services Computing Conference APSCC 2011, Dec 2011, Jeju, South Korea. pp.82-88.
- Dung Cao, Richard Castanet, Patrick Félix. An automated passive testing approach of real-time systems: Application to Web Services. IEEE Asia-Pacific Services Computing Conference APSCC 2011, Dec 2011, Jeju, South Korea. pp.78-85.
- Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada. Online Testing Framework for Web services. IEEE 3rd International Conference on Software Testing Verification and Validation, Apr 2010, Paris, France. pp.363-372.
Administration
RESTRUCTURATION DES ECOLES D'INGENIEURS DU SITE DE BORDEAUX
Création de l'Institut Polytechnique De Bordeaux, EPSCP type Grand Etablissement, regroupant les 6 écoles du site dépendant du Ministère MESR. Action dans le cadre du Pôle de Recherche et d'Enseignement Supérieur " université de Bordeaux ". Fusion de l'ENSEIRB et de l'école MATMECA.
RESPONSABILITES ADMINISTRATIVES
-Direction de l'ENSEIRB (Ecole Nationale Supérieure d'Electronique, Informatique et
Radiocommunications de Bordeaux. 2004-2008
-Administrateur du Conseil d'Administration du pôle de compétitivité Aerospace Valley (2009-)