Au sommaire : les propriétés générales des systèmes temps réel, intérêts d'une méthodologie, les méthodes, les outils d'aide.