Explore les principes de la programmation réactive et de la sémantique du traitement des messages en Akka, en mettant l'accent sur l'encapsulation des acteurs, la messagerie fiable et les garanties de livraison des messages.
Explore l'évaluation de la fiabilité, la maintenance préventive, la fiabilité, les modèles Markov, FMEA, FTA et l'intégrité de la sécurité logicielle dans l'automatisation industrielle.
