Développement de logiciel embarqué sécurisé

Le 01/07/2004 à 7:00 par La rédaction

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

Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.

Copy link
Powered by Social Snap