XMind

Problématique des systèmes embarqués

1. Qu'est-ce ?

   1. sous-système informatique

   2. dans un autre système

      1. couplage avec

         1. capteurs

         2. actionneurs

   3. exemples

      1. automobile

         1. > 100

         2. ESP, contrôle injection, aides à la conduite, confort, loisir, etc

      2. télécoms

      3. systèmes de détection

         1. sonar

         2. radar

      4. multimédia

         1. TVHD

   4. soumis à contraintes

      1. environnement décide du rythme des traitements

      2. autonomie

      3. sûreté de fonctionnement

2. architecture

   1. tendances

      1. miniaturisation

         1. intégration sur puce

         2. hétérogénéité

      2. augmentation fonctionalités

         1. complexification

         2. concurrence/parallélisme

      3. diminution temps de conception

   2. matériel + logiciel

      1. difficulté de faire du logiciel fiable

      2. conception conjointe

   3. challenge de la conception

      1. plus complexe

      2. plus contraint

      3. phénomènes physiques nouveaux

      4. en moins de temps

3. réponses langages

   1. modèles de calcul et de communication

   2. pourquoi ?

      1. validation

         1. déterminisme

         2. sûreté de fonctionnement

         3. calcul ordonnancement

         4. synthèse

      2. méthodes

         1. simulation

         2. vérification formelle

            1. preuve

            2. model checking

   3. propriétés discriminantes

      1. abstraction du temps

         1. continu

            1. temps chronométrique

         2. discret

            1. temps chronométrique

         3. synchrone

            1. temps logique

         4. non timé

      2. concurrence et moyens de communication

      3. expression du parallélisme

         1. complètement abstrait

         2. parallélisme explicite mais décomposition implicite

            1. pas de placement

            2. pas de communication

            3. pas de synchronisation

            4. expression du parallélisme maximal

         3. parallélisme et décomposition explicite mais placement, comm et syncro implicite

         4. parallélisme, décomposition et placement explicites mais comm et synchro implicites

         5. parallélisme, décomposition, placement et comm explicites mais synchro implicite

         6. tout explicite

4. langages étudiés

   1. JoCaml

      1. Join calculus

         1. processus

         2. communiquant par des canaux

            1. asynchrones

            2. ou synchrones

      2. concurrence

         1. communication par messages

      3. distribution

         1. indépendance à la localisation

   2. Lucid synchrone

      1. réactif synchrone

         1. cadencement sur horloges logiques

         2. vérification de la causalité

      2. flots de données

      3. calcul d'horloges