La lecture de cet article est réservée aux abonnés.
Connectez-vous ou abonnez-vous pour y accéder.
Développement de logiciel embarqué sécurisé
Scade 4.3 de Esterel Technologies Cet environnement de développement de logiciels embarqués dédié aux marchés de l’automobile et de l’avionique permet de respecter des contraintes de sécurité très élevées de la recommandation DO-178B pour l’avionique, l’IEC61508 et le code C Misra pour l’automobile. Modélisation par machine d’états intégrant des contraintes de sécurité Générateur automatique de…
