Systèmes informatiques de l'avionique. Réseaux de communication d'aéronefs : architecture de réseaux et intégrité de données, normes ARINC 636 et ARINC 664. Protocoles de communication : ARINC429, MIL-STD1553, ARINC825 (aircraft CAN bus), ARINC664 p7 (AFDX), TTP, IEEE1394, IEEE802.11(WiFi). Systèmes temps-réel : architecture de systèmes embarqués d'avionique, norme ARINC653, partition temporelle et spatiale du noyau des systèmes d'exploitation. Environnement et processus de développement des logiciels embarqués : concept de génie logiciel, méthode MDA (Model Driven Architecture). RTCA/DO-297 : avionique intégré modulaire. Validation logicielle : norme RTCA/DO-178B, criticité, processus de validation, documentation requise, organismes régulateurs.