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
  • 06/12/2017
    Paris Open Source Summit

    Paris Open Source Summit, premier événement européen libre et open source, est le fruit de…

    en détail En détail...
  • 15/11/2017
    Cloud Expo Europe Paris 2017

    Cloud Expo Europe, Paris 2017, c'est le grand rassemblement d'experts dédiés au Cloud. Parmi les…

    en détail En détail...
Jalios_Digital Summit 2017_leaderboard

Le langage Ada choisi pour un projet ferroviaire

GlobalK_Azure _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

Réussir son projet collaboratif-14 novembre

Jalios Digital Summit, une journée qui vous donnera toutes les clés pour réussir votre projet collaboratif, le 14 novembre 2017 au Centre de Conférences Cœur Défense

Inscription

Sondage

Windows 10 et vous

Voir les résultats

Loading ... Loading ...
Nos derniers dossiers
Témoignages
Juridique
  • Les imprimantes sont-elles frappées d’obsolescence programmée ?

    Le 18 septembre dernier, l'association HOP (Halte à l'Obsolescence Programmée) a déposé une plainte contre…

    > En savoir plus...
Paroles d'experts
Paroles
d'experts
  • Avis d'expert - Pour un « manifeste de l’automatisation »

    L'automatisation a le pouvoir de transformer la société, de révolutionner la façon dont les entreprises…

    > En savoir plus...
Etudes/Enquêtes
  • 8 millions de dollars en 2017, le coût de la cybercriminalité en France

    Combien coûte la cybercriminalité ? Cher, très cher selon le cabinet Accenture et son nouveau rapport…

    > En savoir plus...
newsletter
Inscription Newsletter

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

> Abonnement

Guide de la cybersécurité 2017-2018

Global Knowledge_Docker_Skycraper
Agenda
livres blancs
Les Livres
Blancs
GlobalK_Azure _Skycraper