Académique Documents
Professionnel Documents
Culture Documents
4.1 Introduction
Question : Pourquoi des outils de spécifications et de validation?
Position du problème
Implémentation de la solution
Essais et tests
Note : Le passage du système au modèle conceptuel est une étape essentielle pour la simulation.
d. Parallélisme vrai
• évolutions simultanées des processus, indépendance entre des horloges locales
• les événements ne sont reliés que par des relations d'ordre partiel
Histoire :
• 1962 thèse de Carl Adam Petri à Darmstadt, Bonn
Domaines d’application :
• 1977 Systèmes de production, Automate Programmable Industriel, Grafcet
• 1980 Évaluation des performances, simulation à événements discrets
• 1980 Validation de protocoles de communication
• 1986 Systèmes temps réels, systèmes distribués, génie logiciel
• 1986 Systèmes d'information, gestion, interfaces homme-machine
• 1989 Modèles de raisonnement, planification
4.4.3Avantages du SDL
• Code C: 35 à 50 fautes par 1000 lignes
• Code SDL: 8 fautes par 1000 lignes
• Réduction globale du cycle de développement de l’ordre de 35%
• Réduction de près de 50% dans la branche gauche du cycle en V
• Réduction moindre dans la branche droite du fait du décalage avec la réalité technique
Remarque : Des années de pratique ont permis de mesurer quantitativement les gains apportés
par l’utilisation du SDL
b) Le block
- Décomposition arborescente
Substructure
- Machine à état fini
processus
1 ou plusieurs instances, un PID par instance
(i,j) : création statique de i instances, et j nb max de création dynamique
d’instances
Exécution parallèle des processus
Note : Pour continuer cette introduction, je vous renvoie vers la page web du cours.
Explication :
MyVariable de type INTEGER est la seule variable locale au processus. La première transition
est la transition start qui initialise la variable locale. Un message de demande de connexion est
envoyé (conReq), un timer de 5 secondes est démarré (conReqTimer), et l'automate se met dans
l'état connecting. Dans l'état connecting si le timer claque (ce qui est l'équivalent de la réception
d'un message) on renvoie la demande de connexion jusqu'à 10 fois. Si on reçoit une confirmation
de connexion, l'automate passe dans l'état connected. C'est un scénario typique dans les
protocoles de télécommunications.
Café Thé
5
10
00
Machine à café
System coffeemachine
Customer CoffeeMachine
Block CM
C: [list1] [list2] H:
Controler Hardware
Sr2
Idle
waitFill
FillWater FillCoffee
WaterOk() CoffeeOk()
Idle
Coin(value)
value
Tea Coffee
FillWater() ReturnChange
MakingTea Idle
Paidten
Tea Coffee
ReturnChange() FillWater()
ReturnChange() MakingCoffe
e
MakingTea
WaterOK WaterOK
HeatWater HeatWater
WaterforTea Nboftea=nboftea + 1
Idle
Idle