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
…