Spécificationvérification, optimisation Previous: Embarqué

Domaines d'application

• Systèmes grand public
  - télécoms : équipements terminaux, télécom mobile ...
  - électronique automobile : commande moteur, aide à la conduite...
  - électronique médicale : traitement d'ECG ...
  - télésurveillance
  - équipements audio et vidéo
• Grands systèmes
  - aéronautique et spatial
  - contrôle du trafic aérien
  - commande de processus industriels
  - centraux télécoms
  - systèmes d'armes

On vise la rapidité du développement et les coûts