Conception des systèmes embarqués
Méthodes formelles pour la vérification des systèmes embarqués

Ajouter à la bibliothèque

H8250 V1 Article de référence

Conception des systèmes embarqués
Méthodes formelles pour la vérification des systèmes embarqués

Auteur(s) : Emmanuelle ENCRENAZ-TIPHENE

Date de publication : 10 février 2013 | Read in english

Ajouter à la bibliothèque Ajouter à la bibliothèque

Logo Techniques de l'Ingenieur Cet article est réservé aux abonnés
Pour explorer cet article plus en profondeur Consulter un extrait gratuit

Déjà abonné ?

1. Conception des systèmes embarqués

Les systèmes embarqués réalisent des tâches complexes de traitement d'information, en interaction étroite avec l'environnement dans lequel ils sont plongés. Ces traitements d'information sont réalisés par des composants électroniques agissant sur des parties mécaniques par le biais de capteurs/actionneurs. Les systèmes embarqués sont très divers et présentent des architectures et modes d'utilisation variés  [H 8 000]...

Cet article est réservé aux abonnés
Logo Techniques de l'Ingenieur

Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.

Cet article est réservé aux abonnés Consulter un extrait gratuit

Déjà abonné ?


Article inclus dans l'offre

"Technologies logicielles Architectures des systèmes"

( 408 articles )

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques.

Services

Quiz, médias, tableaux, formules, vidéos, etc.

Des modules pratiques

Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.

Des avantages inclus

Un ensemble de services exclusifs en complément des ressources.

Voir le détail de l'offre

Dans les ressources documentaires

Développement d'un insecte artificiel - Nanodrone dédié à la surveillance intra-bâtiment

Dans l'optique de réaliser de la surveillance intra-bâtiment avec un système autonome, mobile, très discr...

Processus stochastiques et fiabilité des systèmes

La sûreté de fonctionnement consiste en l’analyse quantitative des dangers potentiels de tout système ou ...

Sûreté de fonctionnement - Principaux concepts

L’actualité nous rappelle que le risque zéro n'existe pas pour les activités industrielles, la survenue d...

Tous les livres blancs
Toutes les actualités

Inscrivez-vous aux newsletters !

Contactez-nous