Mise en oeuvre de l'atelier de vérification formelle pour la preuve des postes de signalisation
Pour démontrer la sécurité de la conception d'un poste de signalisation, l'atelier de vérification formelle de la RATP est une solution pertinente suite aux succès de l'expérience de la validation des PMI (postes de manoeuvre informatique).
Dans ce cadre, les prestations sur lesquelles porte le marché, objet du présent avis sont:
- le développement des outils de traduction du système (description textuelle du poste de signalisation) dans le langage HLL (High Level Language)
- l'extension du langage HLL,
- l'évolution et l'optimisation des outils de l'atelier de preuve de la RATP,
- la formation des futurs utilisateurs.
Les outils résultants devront être développés, testés et documentés de manière à en permettre la qualification et ce afin d'utiliser les résultats de la preuve dans la démonstration de sécurité de systèmes SIL4 au sens de l'EN50126.
Date limite
Le délai de réception des offres était de 2014-07-25.
L'appel d'offres a été publié le 2014-07-01.
Qui ?
Qu'est-ce que c'est ?
Où ?
Historique des marchés publics
Date |
Document |
2014-07-01
|
Avis de marché
|