programme Signal
- Domaines
-
- cybernétique robotique
- informatique programmation informatique
- Dernière mise à jour
Définition :
Programme précisant un système temps réel au moyen d'un système d'équations dynamiques reposant sur des signaux.
Notes :
Les systèmes d'équations peuvent être organisés de manière hiérarchique en sous-systèmes (ou processus). Un signal est une suite de valeurs à laquelle est associée une horloge qui définit l'ensemble discret des instants où ces valeurs sont présentes.
Ce programme peut subir de profondes transformations syntaxiques et architecturales préservant leur sémantique, c'est-à-dire garantissant l'équivalence. Une application peut donc être précisée et décrite avec une structure appropriée, puis transformée pour son exécution sur une architecture cible logicielle ou matérielle particulière. Il est aussi possible de vérifier formellement des propriétés à toutes les phases de la conception, tant en ce qui concerne le contrôle (synchronisation et logique) que les chemins de données.
Terme privilégié :
- programme Signal n. m.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- Signal program