En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies pour recueillir vos informations de connexion, collecter des statistiques en vue d'optimiser les fonctionnalités du site et adapter son contenu à vos centres d'intérêt.
En savoir plus et paramétrer les cookies Accepter
Comparateur de logiciels de gestion
Avec notre comparateur en ligne, trouvez en quelques clics la solution à votre besoin
agenda
Agenda
Solutions IT
  • 12/03/2018
    7ème édition de Big Data Paris

    Le congrès Big Data Paris se tiendra les 12 et 13 mars 2018 à Paris…

    en détail En détail...
  • 14/03/2018
    IT Partners, le rendez-vous de la communauté des décideurs du channel IT

    Le rendez-vous de la communauté des décideurs du channel IT français ouvrira ses portes les 14 et…

    en détail En détail...
Appels d'offres en cours
  • Création d'un site eCommerce pour la vente et la location de matériel destinés à l'évènementiel
    < 2 500 €
    > En savoir plus
  • Création d'un site e-commerce pour la vente de produits artisanaux
    A déterminer €
    > En savoir plus
  • Création d'un site eCommerce pour la vente de prêt à porter
    < 5 000 €
    > En savoir plus
GlobalK_Lean_leaderboard

Le langage Ada choisi pour un projet ferroviaire

banniere_FIC2018_pave

A la 4ème conférence internationale sur le développement des systèmes logiciels fiables -AdaCore a annoncé que la division Mobilité de Siemens Suisse Ltd a choisi GNAT Pro, ainsi que l'outil d'analyse statique CodePeer, pour développer la nouvelle génération de systèmes d'information et de contrôle ferroviaire. Le contrat avec AdaCore apporte aux développeurs des logiciels de Siemens des outils Ada de premier plan et un accès direct à la première équipe d'experts Ada au monde, dont plusieurs possèdent des années d'expérience dans le développement d'applications de sécurité critique.

Le système de contrôle ferroviaire de Siemens est une nouvelle application en réseau qui couvre chaque aspect du contrôle des trains. Elle utilise une architecture distribuée permettant à un ordinateur de prendre automatiquement le contrôle d'une cellule à partir d'un autre ordinateur de la même cellule en cas d'échec matériel ou de maintenance planifiée. Cette architecture garantit une haute disponibilité du système pour être en conformité avec les standards logiciels ferroviaires européens. La version actuelle du système contrôle le trafic des trains dans plusieurs régions suisses mais aussi autrichiennes, hongroises et malaisiennes.

« La sécurité est la priorité n°1 de l'activité ferroviaire. De ce fait, nous investissons beaucoup de temps et d'énergie dans la révision du code et les tests. Depuis quelques temps, Siemens fait face à une recrudescence de demandes pour son logiciel de contrôle ferroviaire, ce qui occasionne un surcroît de travail pour ses équipes de développement logiciel. Pour y faire face, et sans faire de compromis sur la sécurité ou la qualité, nous avons détecté le besoin de faire appel à des outils qui nous permettraient de travailler plus efficacement. Nos deux pré-requis majeurs étaient : un compilateur Ada qui pourrait être configuré pour analyser le code avec des critères spécifiques rigoureux et une révision automatisée du code ainsi qu'un outil de validation pour identifier les erreurs d'exécution potentielles. Maintenant, avec le rapport détaillé du compilateur GNAT et CodePeer, nous sommes capables de découvrir les problèmes à la source au lieu de les trouver pendant les tests et le processus de révision du code est désormais complètement automatisé », a déclaré Daniel Bigelow, développeur logiciel chez Siemens.

Auteur : Frédéric Mazué

Le langage Ada choisi pour un projet ferroviaire
Notez cet article

Laisser un commentaire

RGPD : sensibiliser les collaborateurs

Le nouveau règlement européen sur la protection des données (RGPD) s'appliquera le 25 mai 2018. Conscio Technologies propose un parcours de sensibilisation pour les collaborateurs.

Découvrir le programme de sensibilisation

Sondage

RGPD : ETES-VOUS PRÊT ? Le Règlement Général sur la Protection des Données entre en application le 25 mai 2018.

Voir les résultats

Loading ... Loading ...
Nos derniers dossiers
Témoignages
Juridique
  • APPLE DOIT CHANGER SA POLITIQUE COMMERCIALE, SELON L'ASSOCIATION DE CONSOMMATEURS HOP

    (AFP) -interview de Samuel Sauvage, président et co-fondateur de l'association HOP (Halte à l'obsolescence programmée),…

    > En savoir plus...
Paroles d'experts
Paroles
d'experts
  • Failles Meltdown et Spectre : "Des erreurs graves dans les composants électroniques", selon Hervé Schauer, expert en cybersécurité

    Lorsque nous avons publié notre enquête à la mi-décembre sur les failles découvertes dans les…

    > En savoir plus...
Etudes/Enquêtes
  • CES 2018, l'occasion de prendre la température du monde de la technologie

    Le Consumer Electronics Show qui ouvre ses portes aujourd’hui à Las Vegas, premier grand salon…

    > En savoir plus...
newsletter
Inscription Newsletter

Restez informé. L’abonnement à la newsletter est gratuit.

> Abonnement

Guide de la cybersécurité 2017-2018

GlobalK_Lean_skycraper
Agenda
livres blancs
Les Livres
Blancs
BlueMind_Nouvelle version_skycraper