Mise en oeuvre de l'atelier de vérification formelle pour la preuve des postes de signalisation

RATP

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 ?

• RATP

Qu'est-ce que c'est ?

• Logiciels pour l'industrie › Logiciels de contrôle du trafic ferroviaire

Où ?

• France › Ile-de-France

Historique des marchés publics

Date	Document
2014-07-01	Avis de marché

Avis de marché (2014-07-01)
Objet
Champ d'application du marché
Titre: Logiciels de contrôle du trafic ferroviaire
Quantité ou étendue:
“Le marché a pour objet le développement des outils de traduction d'un poste de signalisation en langage HLL et l'évolution des outils de l'atelier de preuve...”
Métadonnées de l'avis
Langue originale: français 🗣️
Type de document: Avis de marché
Nature du marché: Services
Réglementation: Union européenne, avec participation des pays de l'AMP
Vocabulaire commun pour les marchés publics (CPV)
Code: Logiciels de contrôle du trafic ferroviaire 📦

Procédure
Type de procédure: Procédure négociée
Type de soumission: Soumission pour tous les lots
Critères d'attribution
Offre la plus économique

Pouvoir adjudicateur
Identité
Pays: France 🇫🇷
Type de pouvoir adjudicateur: Service d'utilité publique
Nom du pouvoir adjudicateur: Ratp
Adresse postale: 54 quai de la Rapée
Code postal: 75599
Commune postale: Paris Cedex 12
Contact
Adresse Internet: http://www.ratp.fr 🌏

Référence
Dates
Date d'envoi: 2014-07-01 📅
Date limite de soumission: 2014-07-25 📅
Date de publication: 2014-07-04 📅
Identifiants
Numéro d'avis: 2014/S 126-225585
Numéro JO-S: 126
Informations complémentaires

“Classification achats RATP :”
Source: OJS 2014/S 126-225585 (2014-07-01)

Nouveaux marchés dans des catégories connexes 🆕

Logiciels et systèmes d'information (>20 nouveaux marchés)

Logiciels pour l'industrie (7)