Explore le défi Cyber Physical System pour la conception basée sur des modèles, en se concentrant sur les objectifs et les défis du projet financé par la DARPA.
Introduit les fondamentaux de l'ingénierie logicielle, couvrant le traitement de l'instruction, les algorithmes, les langages de programmation, les abstractions, les tests, la sécurité et l'open source.
