Temps réel. Spécification et conception des systèmes temps réel

Le sujet de ce probatoire est dirigé sur les méthodes adaptées aux besoins spécifiques des systèmes temps réel. En premier lieu, une liste de ces spécificités sera décrite à travers les propriétés générales du temps réel. Ensuite, nous verrons les fondements d'une méthodologie en décrivant les étapes essentielles. Puis, l'idée principale du probatoire sera débattue sur les diverses orientations des méthodologies et l'adéquation entre leurs concepts et les contraintes du temps réel.

La séparation en deux chapitres réside pour l'un sur les méthodes elles-mêmes de spécification et de conception, et pour l'autre sur les outils support de méthodes. Le deuxième chapitre sera consacré aux outils d'aide à la conception en décrivant leur démarche pour traiter l'aspect temps réel. Ces derniers permettent une conception détaillée plus approfondie en abordant techniquement certaines contraintes du système temps réel, rendant possible leur intégration dans la génération du code. Enfin, le bilan de cette étude sera proposé dans la conclusion en déterminant les idées fortes et en soulevant quelques questions dont l'inspiration a trouvé sa source dans une des références bibliographiques situées en annexes.