Accueil
Curriculum-vitæ
Développement
par modèles
Certification
Enseignement
Contacts
|
Certification
et aide à la certification
Voici mon passé dans ce domaine :
- Participation
à la commission SACEM du ministère des Transports
: je me suis beaucoup investi dans cette commission, surtout concernant
la démonstration
du principe de « processeur codé » dont je suis
devenu spécialiste. La RATP a ensuite fait appel à moi
lors de diverses extensions proposées par Matra Transport
- Participation
à la commission des logiciels Hermes du CNES
- Membre
de la commission scientifique du SYTRAL pour l'extension de la
ligne D du métro de Lyon.
J'ai beaucoup appris concernant les méthodes de
développement « traditionnel » de logiciels critiques
- Evaluateur
pour CERTIFER
: de part ma culture, j'ai souvent été appelé pour
de problème de certification « hors normes »
ou comportant des difficultés d'ordre mathématique
- Rédaction
d'un rapport
sur les méthodes de développement des systèmes
logiciels critiques
pour la direction générale de la RATP : vous y trouverez
une synthèse de ma vision des choses en la matière
Voici donc les domaines dans lesquels mon
intervention peut être souhaitée.
Grenoble,
le 8 janvier 2008
Paul
Caspi
|
|