Applications ferroviaires critiques : le CEA-List couple ses outils Papyrus et Frama-C au sein du projet Open ETCS
Publié le 22-08-2014
par Francois Gauthier
Comment développer, sans risque d’erreurs, les logiciels qui équiperont les futurs ordinateurs de bord des trains dont dépend la sécurité des passagers ? C'est tout l'enjeu du projet industriel européen Open ETCS ...(European Train Control System),...
Je m'abonne
La lecture de cet article est réservé aux abonnés payants du site.
Pour plus de souplesse, nous vous proposons plusieurs formules d'abonnement sans aucune obligation de renouvellement :
| Durée | Type | Prix |
| 1 mois | Découverte | 25 euros HT |
| 1 an | Complet | 200 euros HT |
-dissolve-basic-fr(1).jpg)
- 28/08/2014 – Avionique : Microsemi et eInfochips collaborent sur des conceptions de briques matérielles DO-254
- 26/08/2014 – Le Khronos Group publie la norme SPIR 2.0 pour accroître l’interopérabilité des applications OpenCL
- 26/08/2014 – Analog Devices signe un kit de prototypage rapide d’émetteur-récepteur à radio logicielle
- 21/08/2014 – Les outils de modélisation de dSPACE supportent l’interface de communication FMI 2.0
- 17/07/2014 – Mentor Graphics lance un environnement de développement dédié aux architectures multicoeurs hétérogènes
- 11/07/2014 – Editeur d’un ERP dédié à la filière électronique, le canadien Inlynk Software ouvre un bureau à Paris
