temps de programmation temps reel
Systèmes temps réel: langages de programmation de systèmes temps réel
Claire Pagetti claire.pagetti@enseeiht.fr IN2 - 2014
ENSEEIHT - Département Télécommunication et Réseaux
2, rue Camichel, 31000 Toulouse
2
Objectifs du cours
•Introduction au temps réel:
–Qu’est-ce qu’un système temps réel?
•Exemples de langages de programmation temps réel
– SDL (System Description Language)
– Lustre – Scade
• Introduction aux automates temporisés
•Introduction aux RTOS
•Introduction à l’ordonnancement
i …afficher plus de contenu…
Forecasts predict more than 16 billion embedded devices by 2010 and over 40 billion by 2020.
Embedded computing and electronics add substantial value to products.
Within the next five years, the share of embedded systems are expected to increase substantially in markets such as automotive (36%), industrial automation (22%), telecommunications (37%), consumer electronics
(41%) and health/medical equipment (33%). The value added to the final product by embedded software is much higher than the cost of the embedded device itself. For example, in the case of a modern car, by
2010 over 35% of its value will be due to embedded electronics. ”
[ARTEMIS JU Organisation - …afficher plus de contenu…
then . else
Temporal operators : pre (precedent) : operator which allows to work on the past of a flow
-> (followed by) : operator which allows to initiate a flow97
Opérateur pre - rappel
Mémorise les valeurs précédentes du flot
• Flot X = (X0, X1, … , Xn, …)
• Flot pre(X)=(nil, X0, X1, … , Xn, …)
Exemple : détection de dépassement de seuil
Distance = if (X>pre(X)) then X-pre(X) else pre(X)-X ;
Over = (Distance > Threshold) ;
98
Operator -> - rappel
Initialise un flot
• Flots X= (X0, X1, … , Xn, …) et Y=(Y0, Y1, … , Yn, …)
• Y->X = (Y0, X1, … , Xn, …)
Exemple : surveillance température
A = (T>100) -> if (T>100) then true else pre(A) ;99
Exemples standards - rappel
A resetable counter
– Input: reset reset the counter (Boolean