Upload
renaud-saunier
View
102
Download
0
Embed Size (px)
Citation preview
Synchronisation de modèles de P.O. suite à l’occurrence de défaillances
Eric Deschampssous la direction de Eric Zamaï
Journées STP des 16 et 17 novembre 2006
2
Sommaire :
1. Contexte
2. Problématique
3. Hypothèses
4. Principe
5. Exemple
6. Conclusions / Perspectives
3
NIV
EA
UX
TE
MP
S
RE
EL
DU
CIM
Système contrôlé
1. Contexte : le processus de reconfiguration
Le processus de reconfiguration :
- Détecter la défaillance- Diagnostiquer les causes- Pronostiquer les conséquences- Décider … Synthétiser des lois de
commande
Pronostic
Diagnostic
Synthèse
Détection
Module de pilotage
FonctionsSS&C
Suivi
Décision
Loi decommande
Algorithme de Synthèse
Modèle duSystèmecontrôlé
Demande
DEFAILLANCE
?
?
4
2. Problématique
Décision avant la connaissance précise de la cause de la défaillance ?
OUI : capacités PO compatibles avec les objectifs initiaux,
NECESSITE : démarche dynamique de mise à jour de modèles de PO.
principe de confinement décider au plus tôt…
• En tenant compte des contraintes temporelles imposées par le niveau supérieur• En tenant compte des problèmes de contraintes de sécurité et d’écologie liées au sous-système commandé
NiveauI+1
Niveau I
NiveauI-1
ContraintesFlexibilitéFonctionnalités (SSC)Modèles
RQ du niveau I+1(objectifs à atteindre, délais, …)
RQ vers niveau I-1 Remise en cause
Remiseen cause
Compte rendu du niveau I
Compte rendu du niveau I-1
commande
?
Décision
RQ duniveau I+1
Remise en causeNiveau I-1
CR ou Remise en causevers niveau I+1
Date au+ tôt
Date au+ tard
5
2. Problématique
Diagnostic basé sur une connaissancedu fonctionnement anormal
• systèmes experts• signature temporelle d’une défaillance • Modèle du fonctionnement anormal(qualitatif, quantitatif…)• …
Impossible de décider si ladéfaillance n’a pas été prévue
Diagnostic basé uniquement sur uneconnaissance du fonctionnement normal
• modèle des interactions physiques• diagnostic analytique(à partir des règles de fonctionnement normal)• …
Aucune garantie d’identificationde la défaillance à l’origine de la détection
commande
Diagnostic
Décision
RQ duniveau I+1
Remise en causeNiveau I-1
CR ou Remise en causevers niveau I+1
Date au+ tôt
Date au+ tard
NiveauI+1
Niveau I
NiveauI-1
ContraintesFlexibilitéFonctionnalités (SSC)Modèles
RQ du niveau I+1(objectifs à atteindre, délais, …)
RQ vers niveau I-1 Remise en cause
Remiseen cause
Compte rendu du niveau I
Compte rendu du niveau I-1
6
2. Problématique :
Synchro
Décision
commande
Diagnostic
Synchro
Décision
RQ duniveau I+1
Remise en causeNiveau I-1
CR ou Remise en causevers niveau I+1
Date au+ tôt
Date au+ tard
NiveauI+1
Niveau I
NiveauI-1
ContraintesFlexibilitéFonctionnalités (SSC)Modèles
RQ du niveau I+1(objectifs à atteindre, délais, …)
RQ vers niveau I-1 Remise en cause
Remiseen cause
Compte rendu du niveau I
Compte rendu du niveau I-1
Mettre à jour le modèle du sous-système contrôlé sous contraintes temporelles => rejet de la binarité « dispo / Non dispo »
Pour donner les moyens à la fonction décision de décider…
Nécessité de mettre en place une échelle de qualification des capacités des services offerts
Paradoxe : il faut prendre le temps de diagnostiquer, mais on doit décider dans un temps imparti
7
2. Problématique :
Synchro
Décision
commande
Diagnostic
Synchronisation de modèle de P.O
• qualifier les capacités encore offertes par la PO :
correcte : fonctionnement correct observé (direct/indirect),
non suspecte : fonctionnement non observé et non suspecté,
suspecte : fonctionnement à l’origine possible de (ou affecté par) la défaillance détectée,
perdue : dysfonctionnement avéré (diagnostic par exemple).
Synchro
Décision
RQ duniveau I+1
Remise en causeNiveau I-1
CR ou Remise en causevers niveau I+1
Date au+ tôt
Date au+ tard
NiveauI+1
Niveau I
NiveauI-1
ContraintesFlexibilitéFonctionnalités (SSC)Modèles
RQ du niveau I+1(objectifs à atteindre, délais, …)
RQ vers niveau I-1 Remise en cause
Remiseen cause
Compte rendu du niveau I
Compte rendu du niveau I-1
8
Sommaire :
1. Contexte
2. Problématique
3. Hypothèses
4. Principe
5. Exemple
6. Conclusions / Perspectives
10
Modélisation des services offerts par
une chaîne fonctionnelle par des
opérations
3. Hypothèses : modélisation du système contrôlé
p ro d uc t flo w
M o d ule 1 ,3(lo c a l c o n tro l le ve l)
Info rm ationO rder
pre-actuator
actuator
effectorse
nso
r(s)
Fon
ctio
nna
l ch
ain
Mo d ule 2,j(c oord ina tio n leve l)
forw
ard
pa
th
ac
qui
sitio
n c
hain
re q ue st / re p o rt
M o d ule 1 ,4(lo c a l c o n tro l le ve l)
Info rm ation
sen
sor(
s)
Ac
qu
isiti
on
ch
ain
ac
qui
sitio
n c
hain
M o d ule 1 ,2(lo c a l c o n tro l le ve l)
O rder
pre-actuator
actuator
effector
Fon
ctio
nna
l ch
ain
forw
ard
pa
th
M o d ule 1 ,1(lo c a l c o n tro l le ve l)
O rder
pre-actuator
actuator
effector
Fon
ctio
nna
l ch
ain
forw
ard
pa
th
Chaîne fonctionnelle dotée de fonctionnalités de surveillance, supervision et commande :• détection (durée opération connue)• diagnostic• …
Module 1,1(local control level)
Module 2,1(coordination level)
Module 1,1(local control level)
Module 1,1(local control level)
Module 1,1(local control level)
Opé ration
Description de l’ effet sur la
chaî ne fonctionnelle
offrant le service
Pré- conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’ effet sur le flux de produit
Pré- conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opé ration
Description de l’ effet sur la
chaî ne fonctionnelle
offrant le service
Pré- conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’ effet sur le flux de produit
Pré- conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opé ration
Description de l’ effet sur la
chaî ne fonctionnelle
offrant le service
Pré- conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’ effet sur le flux de produit
Pré- conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opé ration
Description de l’ effet sur la
chaî ne fonctionnelle
offrant le service
Pré- conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’ effet sur le flux de produit
Pré- conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opé ration
Description de l’ effet sur la
chaî ne fonctionnelle
offrant le service
Pré- conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’ effet sur le flux de produit
Pré- conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opé ration
Description de l’ effet sur la
chaî ne fonctionnelle
offrant le service
Pré- conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’ effet sur le flux de produit
Pré- conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
12
Position vérin (modèle C.L.)
rentréeInt.
sortie
Dop Fop
Capteur FdC sortie
0
1
Cohérence entre observation et modélisation de l’actionneur CR d’exécution d’un service correcte
4. Hypothèse : fiabilité des CRs envoyés par les chaînes fonctionnelles
p ro d uc t flo w
M o d ule 1 ,3(lo c a l c o n tro l le ve l)
Info rm ationO rder
pre-actuator
actuator
effector
sen
sor(
s)
Fon
ctio
nna
l ch
ain
Mo d ule 2,j(c oord ina tio n leve l)
forw
ard
pa
th
ac
qui
sitio
n c
hain
re q ue st / re p o rt
M o d ule 1 ,4(lo c a l c o n tro l le ve l)
Info rm ation
sen
sor(
s)
Ac
qu
isiti
on
ch
ain
ac
qui
sitio
n c
hain
M o d ule 1 ,2(lo c a l c o n tro l le ve l)
O rder
pre-actuator
actuator
effector
Fon
ctio
nna
l ch
ain
forw
ard
pa
th
M o d ule 1 ,1(lo c a l c o n tro l le ve l)
O rder
pre-actuator
actuator
effector
Fon
ctio
nna
l ch
ain
forw
ard
pa
th
13
4. Hypothèse : fiabilité des CRs/ extension à l’observabilité du flux de produit
Cohérence entre observation et modélisation du flux de produits l’effet du service sur le flux de produit correct
p ro d uc t flo w
M o d ule 1 ,3(lo c a l c o n tro l le ve l)
Info rm ationO rder
pre-actuator
actuator
effector
sen
sor(
s)
Fon
ctio
nna
l ch
ain
Mo d ule 2,j(c oord ina tio n leve l)
forw
ard
pa
th
ac
qui
sitio
n c
hain
re q ue st / re p o rt
M o d ule 1 ,4(lo c a l c o n tro l le ve l)
Info rm ation
sen
sor(
s)
Ac
qu
isiti
on
ch
ain
ac
qui
sitio
n c
hain
M o d ule 1 ,2(lo c a l c o n tro l le ve l)
O rder
pre-actuator
actuator
effector
Fon
ctio
nna
l ch
ain
forw
ard
pa
th
M o d ule 1 ,1(lo c a l c o n tro l le ve l)
O rder
pre-actuator
actuator
effector
Fon
ctio
nna
l ch
ain
forw
ard
pa
th
Observation du flux de produits
Connaissance du système
Présence pièce (info fournie parcoordination)
non
oui
Capteur pièce
0
1
Requête desurveillance
(V.E. à surveiller, valeur, temps)
14
4. Hypothèses : défaillances prises en compte
p ro d uc t flo w
M o d ule 1 ,3(lo c a l c o n tro l le ve l)
Info rm ationO rder
pre-actuator
actuator
effector
sen
sor(
s)
Fon
ctio
nna
l ch
ain
Mo d ule 2,j(c oord ina tio n leve l)
forw
ard
pa
th
ac
qui
sitio
n c
hain
re q ue st / re p o rt
M o d ule 1 ,4(lo c a l c o n tro l le ve l)
Info rm ation
sen
sor(
s)
Ac
qu
isiti
on
ch
ain
ac
qui
sitio
n c
hain
M o d ule 1 ,2(lo c a l c o n tro l le ve l)
O rder
pre-actuator
actuator
effector
Fon
ctio
nna
l ch
ain
forw
ard
pa
th
M o d ule 1 ,1(lo c a l c o n tro l le ve l)
O rder
pre-actuator
actuator
effector
Fon
ctio
nna
l ch
ain
forw
ard
pa
th
Défaillance due à une panne d’un composant
d’une chaîne fonctionnelle ou d’une dégradation de
son environnement direct
Impossibilité de réaliser le service dû au non respect des conditions et
contraintes Propagation de défaillances à
travers la partie opérative :Service précédemment mal exécuté
RQ commande
Remise en Cause
DéfaillanceDéfaillance
15
Sommaire :
1. Contexte
2. Problématique
3. Hypothèses
4. Principe
5. Exemple
6. Conclusions / Perspectives
16
Remise en cause :
Mauvaise réalisationdu service
Défaillance C.F.Rendant le service
Propagation de défaillance (Etat non
compatible pour le lancement du service)
Mauvaiseréalisation
du service y
4. Synchronisation : principe
origine
origine
origine
origineMauvaiseréalisation
du service z
origine
origine
origine
origine
Autre cons.
Mauvaiseréalisation
du service z
Opérations offertes par cette Chaîne fonctionnelle
Suspecte
Valeurs des V.E. concernées Suspectes
Basé sur un historique! Comment l’organiser? Comment en maîtriser sa taille?
17
4. Synchronisation : structuration de l’historique et réduction
réalisationdu service z
effetÀ respecter
VE1=x
VE2=y
À respecterÀ respecter
VE3=z
effet VE4=x
ConséquencesOrigines
réalisationdu service u
effet
À respecter
À respecter
réalisationdu service y
Qualifié de correct
CORRECTE
+ Structuration en pré-conditions, conditions, pré-contraintes et contraintes
18
4. Synchronisation : génération règles origines - conséquences
Stuc ture g é né riq ued u m o d è le
Rè g le s g é né riq ue s
Insta nc ia tio np a r l’e xp e rt
Insta nc ia tio na uto m a tiq ue
M o d è le d usystè m e c o ntrô lé
Rè g le p o ur lesystè m e c o ntrô lé
Pré-condition non respectée pas d’effetet aucune dégradation de la chaîne fonctionnelle
Pré-contrainte non respectée pas d’effet ou effet partielet dégradation possible de la chaîne fonctionnelle et/ou du flux de produit
Ex: RQ de sortie du vérin sans produit en A
Ex: RQ de sortie du vérin, et vérin orthogonal en position sortie
A
B
19
4. Synchronisation : décomposition du problème
Suivi temps réel
- Historisation des informations nécessaires au processus de reconfiguration- Gestion de la taille de l’historique :
suppression des informations qualifiées de correctes
Synchronisation
- Recherche des opérations suspectes - Recherche des variables d’état suspectes- Mise à jour du modèle de P.O.
Déclenchement : Remise en cause en provenance du niveau inférieur
20
4. Suivi : historisation et réduction
Si l’effet final d’un comportement est correct Les (pré-)conditions et (pré-)contraintes associées sont correctes
Exploitation de la fiabilité des CRs pour réduire l’historique
+Si tous les effets finaux des comportements flux de produits sont corrects Toutes les (pré-)conditions et (pré-)contraintes sont correctes
é vo lutio ns p a ssé e sno n susp e c te s
Evo lutio ns p a ssé e s d usystè m e c o ntrô lé
Évo lutio ns p a ssé e sc o rre c te s
21
4. Synchronisation : recherche dans l’historiqueet mise à jour
é vo lutio ns p a ssé e sno n susp e c te s
Evo lutio ns p a ssé e s d usystè m e c o ntrô lé
Évo lutio ns p a ssé e sc o rre c te s
O rig ine s e t a utre s c o nsé q ue nc e sp o ssib le s d ’une d é fa illa nc e
= > o p é ra tio ns e t va le urs d e s V.E. Susp e c te s
Projection sur le modèledu système contrôlé
22
Sommaire :
1. Contexte
2. Problématique
3. Hypothèses
4. Principe
5. Exemple
6. Conclusions / Perspectives
23
5. Exemple illustratif : poste de tri automatique
Partie opérative :
- 3 capteurs de surveillance produit
- 2 vérins
- 1 convoyeur
24
A
B
C D
E
C ylind e r 1 (C 1)
Se nso r :p ro d uc t in A
(SA)
Se nso r :p ro d uc t in E
(SE)
Se nso r :p ro d uc t in D
(SD)
C o nve yo r (C )
C ylind e r 2(C 2)
Placer Pièce en ACR PlacerPièce en A
Rq Placer Pièce en A / Rq Suv Position A = non vide (tps op placer pièce en A)
Déplacement pièce B-Cfin (t)
Sortir V1
CR Sortir V1
Rq Sortir V1
Rentrer V1
Rq Rentrer V1
CR Rentrer V1
Sortir V2
CR Sortir V2
Rq Sortir V2 si type=1/ Rq Suv Position D = non vide (tps op sortir V2)
Rentrer V2
Rq Rentrer V2
CR Rentrer V2
Enlever pièce
CR Enleverpièce
Rq Enlever pièce/ Rq Suv Position D = vide (tps op Enlever pièce)
Ordre surv
CR Suv Position A
Ordre surv
CR Suv Position D
Ordre survCR Suv Position A
5. Suivi: Exemple
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
25
A
B
C D
E
C ylind e r 1 (C 1)
Se nso r :p ro d uc t in A
(SA)
Se nso r :p ro d uc t in E
(SE)
Se nso r :p ro d uc t in D
(SD)
C o nve yo r (C )
C ylind e r 2(C 2)
c o n stra in ts
Put a p ro d uc t in A Ba sic sub -b e ha vio r
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
In te r.Effe c t
Fina lEffe c t
No p ro d uc tb e twe e n A & B
No p ro d uc tin A
Pro d uc t o n Ro b o t
C 1 .p o sitio n =re tra c te d
Placer Pièce en ACR PlacerPièce en A
Rq Placer Pièce en A / Rq Suv Position A = non vide (tps op placer pièce en A)
Déplacement pièce B-Cfin (t)
Sortir V1
CR Sortir V1
Rq Sortir V1
Rentrer V1
Rq Rentrer V1
CR Rentrer V1
Sortir V2
CR Sortir V2
Rq Sortir V2 si type=1/ Rq Suv Position D = non vide (tps op sortir V2)
Rentrer V2
Rq Rentrer V2
CR Rentrer V2
Enlever pièce
CR Enleverpièce
Rq Enlever pièce/ Rq Suv Position D = vide (tps op Enlever pièce)
Ordre surv
CR Suv Position A
Ordre surv
CR Suv Position D
Ordre survCR Suv Position A
5. Suivi: Exemple
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
26
A
B
C D
E
C ylind e r 1 (C 1)
Se nso r :p ro d uc t in A
(SA)
Se nso r :p ro d uc t in E
(SE)
Se nso r :p ro d uc t in D
(SD)
C o nve yo r (C )
C ylind e r 2(C 2)
c o n stra in ts
Put a p ro d uc t in A Ba sic sub -b e ha vio r
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
In te r.Effe c t
Fina lEffe c t
No p ro d uc tb e twe e n A & B
No p ro d uc tin A
Pro d uc t in A(no p ro d uc t o n Ro b o t)
Pro d uc t o n Ro b o t
C 1 .p o sitio n =re tra c te d
Placer Pièce en ACR PlacerPièce en A
Rq Placer Pièce en A / Rq Suv Position A = non vide (tps op placer pièce en A)
Déplacement pièce B-Cfin (t)
Sortir V1
CR Sortir V1
Rq Sortir V1
Rentrer V1
Rq Rentrer V1
CR Rentrer V1
Sortir V2
CR Sortir V2
Rq Sortir V2 si type=1/ Rq Suv Position D = non vide (tps op sortir V2)
Rentrer V2
Rq Rentrer V2
CR Rentrer V2
Enlever pièce
CR Enleverpièce
Rq Enlever pièce/ Rq Suv Position D = vide (tps op Enlever pièce)
Ordre surv
CR Suv Position A
Ordre surv
CR Suv Position D
Ordre survCR Suv Position A
5. Suivi: Exemple
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
27
A
B
C D
E
C ylind e r 1 (C 1)
Se nso r :p ro d uc t in A
(SA)
Se nso r :p ro d uc t in E
(SE)
Se nso r :p ro d uc t in D
(SD)
C o nve yo r (C )
C ylind e r 2(C 2)
c o n stra in ts
Put a p ro d uc t in A Ba sic sub -b e ha vio r
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
In te r.Effe c t
Fina lEffe c t
No p ro d uc tb e twe e n A & B
No p ro d uc tin A
Pro d uc t in A(no p ro d uc t o n Ro b o t)
Pro d uc t o n Ro b o t
C 1 .p o sitio n =re tra c te d
Placer Pièce en ACR PlacerPièce en A
Rq Placer Pièce en A / Rq Suv Position A = non vide (tps op placer pièce en A)
Déplacement pièce B-Cfin (t)
Sortir V1
CR Sortir V1
Rq Sortir V1
Rentrer V1
Rq Rentrer V1
CR Rentrer V1
Sortir V2
CR Sortir V2
Rq Sortir V2 si type=1/ Rq Suv Position D = non vide (tps op sortir V2)
Rentrer V2
Rq Rentrer V2
CR Rentrer V2
Enlever pièce
CR Enleverpièce
Rq Enlever pièce/ Rq Suv Position D = vide (tps op Enlever pièce)
Ordre surv
CR Suv Position A
Ordre surv
CR Suv Position D
Ordre survCR Suv Position A
5. Suivi: Exemple
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
28
A
B
C D
E
C ylind e r 1 (C 1)
Se nso r :p ro d uc t in A
(SA)
Se nso r :p ro d uc t in E
(SE)
Se nso r :p ro d uc t in D
(SD)
C o nve yo r (C )
C ylind e r 2(C 2)
No p ro d uc tb e twe e n A & B
Pro d uc t in A(no p ro d uc t o n Ro b o t)
C 1 .p o sitio n =re tra c te d
Placer Pièce en ACR PlacerPièce en A
Rq Placer Pièce en A / Rq Suv Position A = non vide (tps op placer pièce en A)
Déplacement pièce B-Cfin (t)
Sortir V1
CR Sortir V1
Rq Sortir V1
Rentrer V1
Rq Rentrer V1
CR Rentrer V1
Sortir V2
CR Sortir V2
Rq Sortir V2 si type=1/ Rq Suv Position D = non vide (tps op sortir V2)
Rentrer V2
Rq Rentrer V2
CR Rentrer V2
Enlever pièce
CR Enleverpièce
Rq Enlever pièce/ Rq Suv Position D = vide (tps op Enlever pièce)
Ordre surv
CR Suv Position A
Ordre surv
CR Suv Position D
Ordre survCR Suv Position A
5. Suivi: Exemple
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
29
A
B
C D
E
C ylind e r 1 (C 1)
Se nso r :p ro d uc t in A
(SA)
Se nso r :p ro d uc t in E
(SE)
Se nso r :p ro d uc t in D
(SD)
C o nve yo r (C )
C ylind e r 2(C 2)
c o n stra in ts
Exte nd c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 1.p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
No p ro d uc tb e twe e n A & B
No p ro d uc tin B
Pro d uc t b e twe e n A & B(no p ro d uc t in A )
C 1.p o sitio n = re tra c te d
No p ro d uc tb e twe e n A & B
Pro d uc t in A(no p ro d uc t o n Ro b o t)
C 1.p o sitio n =re tra c te d
Placer Pièce en ACR PlacerPièce en A
Rq Placer Pièce en A / Rq Suv Position A = non vide (tps op placer pièce en A)
Déplacement pièce B-Cfin (t)
Sortir V1
CR Sortir V1
Rq Sortir V1
Rentrer V1
Rq Rentrer V1
CR Rentrer V1
Sortir V2
CR Sortir V2
Rq Sortir V2 si type=1/ Rq Suv Position D = non vide (tps op sortir V2)
Rentrer V2
Rq Rentrer V2
CR Rentrer V2
Enlever pièce
CR Enleverpièce
Rq Enlever pièce/ Rq Suv Position D = vide (tps op Enlever pièce)
Ordre surv
CR Suv Position A
Ordre surv
CR Suv Position D
Ordre survCR Suv Position A
5. Suivi: Exemple
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
30
A
B
C D
E
C ylind e r 1 (C 1)
Se nso r :p ro d uc t in A
(SA)
Se nso r :p ro d uc t in E
(SE)
Se nso r :p ro d uc t in D
(SD)
C o nve yo r (C )
C ylind e r 2(C 2)
c o n stra in ts
Exte nd c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 1 .p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
C 1 .p o sitio n = e xte nd e d
No p ro d uc tb e twe e n A & B
No p ro d uc tin B Pro d uc t in B
(no p ro d uc t b e twe e n A & B)
Pro d uc t b e twe e n A & B(no p ro d uc t in A )
C 1 .p o sitio n = re tra c te d
No p ro d uc tb e twe e n A & B
Pro d uc t in A(no p ro d uc t o n Ro b o t)
C 1 .p o sitio n =re tra c te d
Placer Pièce en ACR PlacerPièce en A
Rq Placer Pièce en A / Rq Suv Position A = non vide (tps op placer pièce en A)
Déplacement pièce B-Cfin (t)
Sortir V1
CR Sortir V1
Rq Sortir V1
Rentrer V1
Rq Rentrer V1
CR Rentrer V1
Sortir V2
CR Sortir V2
Rq Sortir V2 si type=1/ Rq Suv Position D = non vide (tps op sortir V2)
Rentrer V2
Rq Rentrer V2
CR Rentrer V2
Enlever pièce
CR Enleverpièce
Rq Enlever pièce/ Rq Suv Position D = vide (tps op Enlever pièce)
Ordre surv
CR Suv Position A
Ordre surv
CR Suv Position D
Ordre survCR Suv Position A
5. Suivi: Exemple
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
31
A
B
C D
E
C ylind e r 1 (C 1)
Se nso r :p ro d uc t in A
(SA)
Se nso r :p ro d uc t in E
(SE)
Se nso r :p ro d uc t in D
(SD)
C o nve yo r (C )
C ylind e r 2(C 2)
c o n stra in ts
Exte nd c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 1.p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Tra nsfe r B to C
C 1.p o sitio n = e xte nd e d
No p ro d uc tb e twe e n A & B
No p ro d uc tin B
Pro d uc tb e twe e n B & C
(no p ro d uc t in B)
Pro d uc t in B(no p ro d uc t b e twe e n A & B)
Pro d uc t b e twe e n A & B(no p ro d uc t in A )
C 2.p o sitio n = re tra c te d
c o n stra in ts
Re tra c te d c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 1.p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
C 1.p o sitio n = re tra c te d
No p ro d uc tb e twe e n A & B
Pro d uc t in A(no p ro d uc t o n Ro b o t)
C 1.p o sitio n =re tra c te d
5. Suivi: Historisation + réduction
Placer Pièce en ACR PlacerPièce en A
Rq Placer Pièce en A / Rq Suv Position A = non vide (tps op placer pièce en A)
Déplacement pièce B-C
fin (t)
Sortir V1
CR Sortir V1
Rq Sortir V1
Rentrer V1
Rq Rentrer V1
CR Rentrer V1
Sortir V2
CR Sortir V2
Rq Sortir V2 si type=1/ Rq Suv Position D = non vide (tps op sortir V2)
Rentrer V2
Rq Rentrer V2
CR Rentrer V2
Enlever pièce
CR Enleverpièce
Rq Enlever pièce/ Rq Suv Position D = vide (tps op Enlever pièce)
Ordre surv
CR Suv Position A
Ordre surv
CR Suv Position D
Ordre survCR Suv Position A
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
32
A
B
C D
E
C ylind e r 1 (C 1)
Se nso r :p ro d uc t in A
(SA)
Se nso r :p ro d uc t in E
(SE)
Se nso r :p ro d uc t in D
(SD)
C o nve yo r (C )
C ylind e r 2(C 2)
c o n stra in ts
Exte nd c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 1.p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Tra nsfe r B to C
C 1.p o sitio n = e xte nd e d
No p ro d uc tb e twe e n A & B
No p ro d uc tin B
Pro d uc t in C(no p ro d uc t
b e twe e n B & C )
Pro d uc tb e twe e n B & C
(no p ro d uc t in B)
Pro d uc t in B(no p ro d uc t b e twe e n A & B)
Pro d uc t b e twe e n A & B(no p ro d uc t in A )
C 2 .p o sitio n = re tra c te d
c o n stra in ts
Re tra c te d c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 1.p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
C 1.p o sitio n = re tra c te d
C 1.p o sitio n = re tra c te d
No p ro d uc tb e twe e n A & B
Pro d uc t in A(no p ro d uc t o n Ro b o t)
C 1 .p o sitio n =re tra c te d
5. Suivi: Historisation + réduction
Placer Pièce en ACR PlacerPièce en A
Rq Placer Pièce en A / Rq Suv Position A = non vide (tps op placer pièce en A)
Déplacement pièce B-Cfin (t)
Sortir V1
CR Sortir V1
Rq Sortir V1
Rentrer V1
Rq Rentrer V1
CR Rentrer V1
Sortir V2
CR Sortir V2
Rq Sortir V2 si type=1/ Rq Suv Position D = non vide (tps op sortir V2)
Rentrer V2
Rq Rentrer V2
CR Rentrer V2
Enlever pièce
CR Enleverpièce
Rq Enlever pièce/ Rq Suv Position D = vide (tps op Enlever pièce)
Ordre surv
CR Suv Position A
Ordre surv
CR Suv Position D
Ordre survCR Suv Position A
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
33
A
B
C D
E
C ylind e r 1 (C 1)
Se nso r :p ro d uc t in A
(SA)
Se nso r :p ro d uc t in E
(SE)
Se nso r :p ro d uc t in D
(SD)
C o nve yo r (C )
C ylind e r 2(C 2)
c o n stra in ts
Exte nd c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 1 .p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Tra nsfe r B to C
C 1.p o sitio n = e xte nd e d
No p ro d uc tb e twe e n A & B
No p ro d uc tin B
Pro d uc t in C(no p ro d uc t
b e twe e n B & C )
Pro d uc tb e twe e n B & C
(no p ro d uc t in B)
Pro d uc t in B(no p ro d uc t b e twe e n A & B)
Pro d uc t b e twe e n A & B(no p ro d uc t in A )
c o n stra in ts
Exte nd c ylind e r 2
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 2 .p o sitio n = in te rm e d ia te
C 2 Ava ila b ility
Pro d uc t b e twe e n C & D(no p ro d uc t in C )
No p ro d uc tb e twe e n C & D
No p ro d uc t in D
C 2.p o sitio n = re tra c te d
c o n stra in ts
Re tra c te d c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 1 .p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
C 1 .p o sitio n = re tra c te d
C 1.p o sitio n = re tra c te d
C 2.p o sitio n = re tra c te d
No p ro d uc tb e twe e n A & B
Pro d uc t in A(no p ro d uc t o n Ro b o t)
C 1 .p o sitio n =re tra c te d
5. Suivi: Historisation + réduction
Placer Pièce en ACR PlacerPièce en A
Rq Placer Pièce en A / Rq Suv Position A = non vide (tps op placer pièce en A)
Déplacement pièce B-Cfin (t)
Sortir V1
CR Sortir V1
Rq Sortir V1
Rentrer V1
Rq Rentrer V1
CR Rentrer V1
Sortir V2
CR Sortir V2
Rq Sortir V2 si type=1/ Rq Suv Position D = non vide (tps op sortir V2)
Rentrer V2
Rq Rentrer V2
CR Rentrer V2
Enlever pièce
CR Enleverpièce
Rq Enlever pièce/ Rq Suv Position D = vide (tps op Enlever pièce)
Ordre surv
CR Suv Position A
Ordre surv
CR Suv Position D
Ordre survCR Suv Position A
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
34
A
B
C D
E
C ylind e r 1 (C 1)
Se nso r :p ro d uc t in A
(SA)
Se nso r :p ro d uc t in E
(SE)
Se nso r :p ro d uc t in D
(SD)
C o nve yo r (C )
C ylind e r 2(C 2)
c o n stra in ts
Exte nd c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 1 .p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Tra nsfe r B to C
C 1 .p o sitio n = e xte nd e d
No p ro d uc tb e twe e n A & B
No p ro d uc tin B
Pro d uc t in C(no p ro d uc t
b e twe e n B & C )
Pro d uc tb e twe e n B & C
(no p ro d uc t in B)
Pro d uc t in B(no p ro d uc t b e twe e n A & B)
Pro d uc t b e twe e n A & B(no p ro d uc t in A )
c o n stra in ts
Exte nd c ylind e r 2
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 2 .p o sitio n = in te rm e d ia te
C 2 Ava ila b ility
C 2 .p o sitio n = e xte nd e d
Pro d uc t in D(no p ro d uc t b e twe e n C & D)
Pro d uc t b e twe e n C & D(no p ro d uc t in C )
No p ro d uc tb e twe e n C & D
No p ro d uc t in D
C 2 .p o sitio n = re tra c te d
c o n stra in ts
Re tra c te d c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 1 .p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
C 1 .p o sitio n = re tra c te d
C 1 .p o sitio n = re tra c te d
C 2 .p o sitio n = re tra c te d
No p ro d uc tb e twe e n A & B
Pro d uc t in A(no p ro d uc t o n Ro b o t)
C 1 .p o sitio n =re tra c te d
5. Suivi: Historisation + réduction
Placer Pièce en ACR PlacerPièce en A
Rq Placer Pièce en A / Rq Suv Position A = non vide (tps op placer pièce en A)
Déplacement pièce B-Cfin (t)
Sortir V1
CR Sortir V1
Rq Sortir V1
Rentrer V1
Rq Rentrer V1
CR Rentrer V1
Sortir V2
CR Sortir V2
Rq Sortir V2 si type=1/ Rq Suv Position D = non vide (tps op sortir V2)
Rentrer V2
Rq Rentrer V2
CR Rentrer V2
Enlever pièce
CR Enleverpièce
Rq Enlever pièce/ Rq Suv Position D = vide (tps op Enlever pièce)
Ordre surv
CR Suv Position A
Ordre surv
CR Suv Position D
Ordre survCR Suv Position A
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
35
A
B
C D
E
C ylind e r 1 (C 1)
Se nso r :p ro d uc t in A
(SA)
Se nso r :p ro d uc t in E
(SE)
Se nso r :p ro d uc t in D
(SD)
C o nve yo r (C )
C ylind e r 2(C 2)
c o n stra in ts
Exte nd c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 1 .p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Tra nsfe r B to C
C 1 .p o sitio n = e xte nd e d
No p ro d uc tb e twe e n A & B
No p ro d uc tin B
Pro d uc t in C(no p ro d uc t
b e twe e n B & C )
Pro d uc tb e twe e n B & C
(no p ro d uc t in B)
Pro d uc t in B(no p ro d uc t b e twe e n A & B)
Pro d uc t b e twe e n A & B(no p ro d uc t in A )
c o n stra in ts
Exte nd c ylind e r 2
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 2 .p o sitio n = in te rm e d ia te
C 2 Ava ila b ility
C 2 .p o sitio n = e xte nd e d
Pro d uc t in D(no p ro d uc t b e twe e n C & D)
Pro d uc t b e twe e n C & D(no p ro d uc t in C )
No p ro d uc tb e twe e n C & D
No p ro d uc t in D
C 2 .p o sitio n = re tra c te d
c o n stra in ts
Re tra c te d c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 1 .p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
C 1 .p o sitio n = re tra c te d
C 1 .p o sitio n = re tra c te d
C 2 .p o sitio n = re tra c te d
No p ro d uc tb e twe e n A & B
Pro d uc t in A(no p ro d uc t o n Ro b o t)
C 1 .p o sitio n =re tra c te d
5. Suivi: Historisation + réduction
Placer Pièce en ACR PlacerPièce en A
Rq Placer Pièce en A / Rq Suv Position A = non vide (tps op placer pièce en A)
Déplacement pièce B-Cfin (t)
Sortir V1
CR Sortir V1
Rq Sortir V1
Rentrer V1
Rq Rentrer V1
CR Rentrer V1
Sortir V2
CR Sortir V2
Rq Sortir V2 si type=1/ Rq Suv Position D = non vide (tps op sortir V2)
Rentrer V2
Rq Rentrer V2
CR Rentrer V2
Enlever pièce
CR Enleverpièce
Rq Enlever pièce/ Rq Suv Position D = vide (tps op Enlever pièce)
Ordre surv
CR Suv Position A
Ordre surv
CR Suv Position D
Ordre survCR Suv Position A
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
36
A
B
C D
E
C ylind e r 1 (C 1)
Se nso r :p ro d uc t in A
(SA)
Se nso r :p ro d uc t in E
(SE)
Se nso r :p ro d uc t in D
(SD)
C o nve yo r (C )
C ylind e r 2(C 2)
C 1 Ava ila b ility
C 1 .p o sitio n = e xte nd e d
Pro d uc t in C(no p ro d uc t
b e twe e n B & C )
Pro d uc tb e twe e n B & C
(no p ro d uc t in B)
Pro d uc t in B(no p ro d uc t b e twe e n A & B)
Pro d uc t b e twe e n A & B(no p ro d uc t in A )
C 2 Ava ila b ility
C 2 .p o sitio n = e xte nd e d
Pro d uc t in D(no p ro d uc t b e twe e n C & D)
Pro d uc t b e twe e n C & D(no p ro d uc t in C )
c o n stra in ts
Re tra c te d c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 1 .p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
C 1 .p o sitio n = re tra c te d
No p ro d uc tb e twe e n A & B
Pro d uc t in A(no p ro d uc t o n Ro b o t)
C 1 .p o sitio n =re tra c te d
5. Suivi: Exemple
Placer Pièce en ACR PlacerPièce en A
Rq Placer Pièce en A / Rq Suv Position A = non vide (tps op placer pièce en A)
Déplacement pièce B-Cfin (t)
Sortir V1
CR Sortir V1
Rq Sortir V1
Rentrer V1
Rq Rentrer V1
CR Rentrer V1
Sortir V2
CR Sortir V2
Rq Sortir V2 si type=1/ Rq Suv Position D = non vide (tps op sortir V2)
Rentrer V2
Rq Rentrer V2
CR Rentrer V2
Enlever pièce
CR Enleverpièce
Rq Enlever pièce/ Rq Suv Position D = vide (tps op Enlever pièce)
Ordre surv
CR Suv Position A
Ordre surv
CR Suv Position D
Ordre survCR Suv Position A
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
Opération
Description de l’effet sur la
chaîne fonctionnelle
offrant le service
Pré-conditionset conditions à
remplir pour demander le
service
Pré-contraintes et contraintes à
respecter
Comportement de base de la C.F.
Description de l’effet sur le
flux de produit
Pré-conditionset conditions à
remplir pour obtenir cet
effet
Pré-contraintes et contraintes à
respecter
1er comportement flux de produit
37
5. Synchronisation : exemple
c o n stra in ts
Re tra c t c ylind e r 2
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 2Ava ila b ility
c o n stra in ts
Exte nd c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pro d uc t in A
C 1 .p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Tra nsfe r B to C
C 1 .p o sitio n = e xte nd e d
No p ro d uc tb e twe e n A & B
No p ro d uc tin B
C 2 .p o sitio n = in te rm e d ia te
C 2 .p o sitio n = re tra c te d
Pro d uc t in C(no p ro d uc t
b e twe e n B & C )
Pro d uc tb e twe e n B & C
(no p ro d uc t in B)
Pro d uc t in B(no p ro d uc t b e twe e n A & B)
Pro d uc t b e twe e n A & B(no p ro d uc t in A )
c o n stra in ts
Exte nd c ylind e r 2
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 2 .p o sitio n = in te rm e d ia te
C 2 Ava ila b ility
C 2 .p o sitio n = e xte nd e d
Pro d uc t in D(no p ro d uc t b e twe e n C & D)
Pro d uc t b e twe e n C & D(no p ro d uc t in C )
No p ro d uc tb e twe e n C & D
No p ro d uc t in D
c o n stra in ts
Re tra c te d c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 1 .p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
C 1 .p o sitio n = re tra c te d
c o n stra in ts
Put a p ro d uc t in A Ba sic sub -b e ha vio r
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
In te r.Effe c t
Fina lEffe c t
No p ro d uc tb e twe e n A & B
No p ro d uc tin A
Pro d uc t in A(no p ro d uc t o n Ro b o t)
Pro d uc t o n Ro b o t
A
B
C D
E
C ylind e r 1 (C 1)
Se nso r :p ro d uc t in A
(SA)
Se nso r :p ro d uc t in E
(SE)
Se nso r :p ro d uc t in D
(SD)
C o nve yo r (C )
C ylind e r 2(C 2)
Remise en cause issu de la C.L. la
chaîne d’acquisition
(gérant capteur produit en D)
Historique après un certain nombrede cycles de fonctionnement
S
38
c o n stra in ts
Re tra c t c ylind e r 2
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 2Ava ila b ility
c o n stra in ts
Exte nd c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pro d uc t in A
C 1 .p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Tra nsfe r B to C
C 1 .p o sitio n = e xte nd e d
No p ro d uc tb e twe e n A & B
No p ro d uc tin B
C 2 .p o sitio n = in te rm e d ia te
C 2 .p o sitio n = re tra c te d
Pro d uc t in C(no p ro d uc t
b e twe e n B & C )
Pro d uc tb e twe e n B & C
(no p ro d uc t in B)
Pro d uc t in B(no p ro d uc t b e twe e n A & B)
Pro d uc t b e twe e n A & B(no p ro d uc t in A )
c o n stra in ts
Exte nd c ylind e r 2
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 2 .p o sitio n = in te rm e d ia te
C 2 Ava ila b ility
C 2 .p o sitio n = e xte nd e d
Pro d uc t in D(no p ro d uc t b e twe e n C & D)
Pro d uc t b e twe e n C & D(no p ro d uc t in C )
No p ro d uc tb e twe e n C & D
No p ro d uc t in D
c o n stra in ts
Re tra c te d c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 1 .p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
C 1 .p o sitio n = re tra c te d
c o n stra in ts
Put a p ro d uc t in A Ba sic sub -b e ha vio r
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
In te r.Effe c t
Fina lEffe c t
No p ro d uc tb e twe e n A & B
No p ro d uc tin A
Pro d uc t in A(no p ro d uc t o n Ro b o t)
Pro d uc t o n Ro b o t
5. Synchronisation : exemple
S
S
S
Recherche des origines
A
B
C D
E
C ylind e r 1 (C 1)
Se nso r :p ro d uc t in A
(SA)
Se nso r :p ro d uc t in E
(SE)
Se nso r :p ro d uc t in D
(SD)
C o nve yo r (C )
C ylind e r 2(C 2)
S = suspect
39
c o n stra in ts
Re tra c t c ylind e r 2
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 2Ava ila b ility
c o n stra in ts
Exte nd c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pro d uc t in A
C 1 .p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Tra nsfe r B to C
C 1 .p o sitio n = e xte nd e d
No p ro d uc tb e twe e n A & B
No p ro d uc tin B
C 2 .p o sitio n = in te rm e d ia te
C 2 .p o sitio n = re tra c te d
Pro d uc t in C(no p ro d uc t
b e twe e n B & C )
Pro d uc tb e twe e n B & C
(no p ro d uc t in B)
Pro d uc t in B(no p ro d uc t b e twe e n A & B)
Pro d uc t b e twe e n A & B(no p ro d uc t in A )
c o n stra in ts
Exte nd c ylind e r 2
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 2 .p o sitio n = in te rm e d ia te
C 2 Ava ila b ility
C 2 .p o sitio n = e xte nd e d
Pro d uc t in D(no p ro d uc t b e twe e n C & D)
Pro d uc t b e twe e n C & D(no p ro d uc t in C )
No p ro d uc tb e twe e n C & D
No p ro d uc t in D
c o n stra in ts
Re tra c te d c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 1 .p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
C 1 .p o sitio n = re tra c te d
c o n stra in ts
Put a p ro d uc t in A Ba sic sub -b e ha vio r
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
In te r.Effe c t
Fina lEffe c t
No p ro d uc tb e twe e n A & B
No p ro d uc tin A
Pro d uc t in A(no p ro d uc t o n Ro b o t)
Pro d uc t o n Ro b o t
5. Synchronisation : exemple
S
S
SS
S
Recherche des origines
A
B
C D
E
C ylind e r 1 (C 1)
Se nso r :p ro d uc t in A
(SA)
Se nso r :p ro d uc t in E
(SE)
Se nso r :p ro d uc t in D
(SD)
C o nve yo r (C )
C ylind e r 2(C 2)
S = suspect
40
c o n stra in ts
Re tra c t c ylind e r 2
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 2Ava ila b ility
c o n stra in ts
Exte nd c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pro d uc t in A
C 1 .p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Tra nsfe r B to C
C 1 .p o sitio n = e xte nd e d
No p ro d uc tb e twe e n A & B
No p ro d uc tin B
C 2 .p o sitio n = in te rm e d ia te
C 2 .p o sitio n = re tra c te d
Pro d uc t in C(no p ro d uc t
b e twe e n B & C )
Pro d uc tb e twe e n B & C
(no p ro d uc t in B)
Pro d uc t in B(no p ro d uc t b e twe e n A & B)
Pro d uc t b e twe e n A & B(no p ro d uc t in A )
c o n stra in ts
Exte nd c ylind e r 2
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 2 .p o sitio n = in te rm e d ia te
C 2 Ava ila b ility
C 2 .p o sitio n = e xte nd e d
Pro d uc t in D(no p ro d uc t b e twe e n C & D)
Pro d uc t b e twe e n C & D(no p ro d uc t in C )
No p ro d uc tb e twe e n C & D
No p ro d uc t in D
c o n stra in ts
Re tra c te d c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 1 .p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
C 1 .p o sitio n = re tra c te d
c o n stra in ts
Put a p ro d uc t in A Ba sic sub -b e ha vio r
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
In te r.Effe c t
Fina lEffe c t
No p ro d uc tb e twe e n A & B
No p ro d uc tin A
Pro d uc t in A(no p ro d uc t o n Ro b o t)
Pro d uc t o n Ro b o t
5. Synchronisation : exemple
S
S
SS
S
S
S
A
B
C D
E
C ylind e r 1 (C 1)
Se nso r :p ro d uc t in A
(SA)
Se nso r :p ro d uc t in E
(SE)
Se nso r :p ro d uc t in D
(SD)
C o nve yo r (C )
C ylind e r 2(C 2)Recherche des origines
S = suspect
41
c o n stra in ts
Re tra c t c ylind e r 2
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 2Ava ila b ility
c o n stra in ts
Exte nd c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pro d uc t in A
C 1 .p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Tra nsfe r B to C
C 1 .p o sitio n = e xte nd e d
No p ro d uc tb e twe e n A & B
No p ro d uc tin B
C 2 .p o sitio n = in te rm e d ia te
C 2 .p o sitio n = re tra c te d
Pro d uc t in C(no p ro d uc t
b e twe e n B & C )
Pro d uc tb e twe e n B & C
(no p ro d uc t in B)
Pro d uc t in B(no p ro d uc t b e twe e n A & B)
Pro d uc t b e twe e n A & B(no p ro d uc t in A )
c o n stra in ts
Exte nd c ylind e r 2
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 2 .p o sitio n = in te rm e d ia te
C 2 Ava ila b ility
C 2 .p o sitio n = e xte nd e d
Pro d uc t in D(no p ro d uc t b e twe e n C & D)
Pro d uc t b e twe e n C & D(no p ro d uc t in C )
No p ro d uc tb e twe e n C & D
No p ro d uc t in D
c o n stra in ts
Re tra c te d c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 1 .p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
C 1 .p o sitio n = re tra c te d
c o n stra in ts
Put a p ro d uc t in A Ba sic sub -b e ha vio r
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
In te r.Effe c t
Fina lEffe c t
No p ro d uc tb e twe e n A & B
No p ro d uc tin A
Pro d uc t in A(no p ro d uc t o n Ro b o t)
Pro d uc t o n Ro b o t
5. Synchronisation : exemple
S
S
SS
S
S
Recherche des conséquences
S
A
B
C D
E
C ylind e r 1 (C 1)
Se nso r :p ro d uc t in A
(SA)
Se nso r :p ro d uc t in E
(SE)
Se nso r :p ro d uc t in D
(SD)
C o nve yo r (C )
C ylind e r 2(C 2)
S = suspect
42
c o n stra in ts
Re tra c t c ylind e r 2
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 2Ava ila b ility
c o n stra in ts
Exte nd c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pro d uc t in A
C 1 .p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Tra nsfe r B to C
C 1 .p o sitio n = e xte nd e d
No p ro d uc tb e twe e n A & B
No p ro d uc tin B
C 2 .p o sitio n = in te rm e d ia te
C 2 .p o sitio n = re tra c te d
Pro d uc t in C(no p ro d uc t
b e twe e n B & C )
Pro d uc tb e twe e n B & C
(no p ro d uc t in B)
Pro d uc t in B(no p ro d uc t b e twe e n A & B)
Pro d uc t b e twe e n A & B(no p ro d uc t in A )
c o n stra in ts
Exte nd c ylind e r 2
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 2 .p o sitio n = in te rm e d ia te
C 2 Ava ila b ility
C 2 .p o sitio n = e xte nd e d
Pro d uc t in D(no p ro d uc t b e twe e n C & D)
Pro d uc t b e twe e n C & D(no p ro d uc t in C )
No p ro d uc tb e twe e n C & D
No p ro d uc t in D
c o n stra in ts
Re tra c te d c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 1 .p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
C 1 .p o sitio n = re tra c te d
c o n stra in ts
Put a p ro d uc t in A Ba sic sub -b e ha vio r
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
In te r.Effe c t
Fina lEffe c t
No p ro d uc tb e twe e n A & B
No p ro d uc tin A
Pro d uc t in A(no p ro d uc t o n Ro b o t)
Pro d uc t o n Ro b o t
5. Synchronisation : exemple
?
S
S
S
S
S
SS
S
S
S
Recherche des conséquences
S
A
B
C D
E
C ylind e r 1 (C 1)
Se nso r :p ro d uc t in A
(SA)
Se nso r :p ro d uc t in E
(SE)
Se nso r :p ro d uc t in D
(SD)
C o nve yo r (C )
C ylind e r 2(C 2)
S = suspect
43
5. Synchronisation : exemple
c o n stra in ts
Re tra c t c ylind e r 2
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 2Ava ila b ility
c o n stra in ts
Exte nd c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pro d uc t in A
C 1.p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Tra nsfe r B to C
C 1.p o sitio n = e xte nd e d
No p ro d uc tb e twe e n A & B
No p ro d uc tin B
C 2.p o sitio n = in te rm e d ia te
C 2.p o sitio n = re tra c te d
Pro d uc t in C(no p ro d uc t
b e twe e n B & C )
Pro d uc tb e twe e n B & C
(no p ro d uc t in B)
Pro d uc t in B(no p ro d uc t b e twe e n A & B)
Pro d uc t b e twe e n A & B(no p ro d uc t in A )
c o n stra in ts
Exte nd c ylind e r 2
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Extrasub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 2.p o sitio n = in te rm e d ia te
C 2 Ava ila b ility
C 2.p o sitio n = e xte nd e d
Pro d uc t in D(no p ro d uc t b e twe e n C & D)
Pro d uc t b e twe e n C & D(no p ro d uc t in C )
No p ro d uc tb e twe e n C & D
No p ro d uc t in D
c o n stra in ts
Re tra c te d c ylind e r 1
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
Ba sic sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
C 1.p o sitio n = in te rm e d ia te
C 1 Ava ila b ility
C 1.p o sitio n = re tra c te d
Put a p ro d uc t in A Ba sic sub -b e ha vio r
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
In te r.Effe c t
Fina lEffe c t
No p ro d uc tb e twe e n A & B
No p ro d uc tin A
Pro d uc t in A(no p ro d uc t o n Ro b o t)
Pro d uc t o n Ro b o t
Pre -c o nd itio ns
c o nd itio ns
Pre -c o nstra ints
c o nstra ints
sub -b e ha vio r
In te r.Effe c t
Fina lEffe c t
Tra nsfe r C to E
Pro d uc t in E(no p ro d uc t b e twe e n C & E)
Pro d uc t b e twe e n C & E(no p ro d uc t in C )
?
S
S
S
S
S
SS
S
S
S
Conséquences / Vérifications possibles
S
A
B
C D
E
C ylind e r 1 (C 1)
Se nso r :p ro d uc t in A
(SA)
Se nso r :p ro d uc t in E
(SE)
Se nso r :p ro d uc t in D
(SD)
C o nve yo r (C )
C ylind e r 2(C 2)
S
44
6. Conclusion
• Processus d’historisation des informations
• Mécanisme de réduction de cet historique
• Caractérisation de la disponibilité d’un service
• Caractérisation de l’état du système contrôlé
• Processus de mise à jour du modèle de P.O.
45
6. Perspective
• formalisation de l’historique des évolutions passées
Faciliter la réduction Faciliter la recherche des origines de l’incohérence détectée et autres conséquences possibles Borne supérieure de la taille de l’historique
• Réflexion sur l’aspect décisionnel dans un but de reconfiguration
• Implémentation et validation expérimentale sur un système réel