Exemple Radio-réveil en Capella / Arcadia

114
Exemple du Radio-réveil - 03/2015

Transcript of Exemple Radio-réveil en Capella / Arcadia

Page 1: Exemple Radio-réveil en Capella / Arcadia

Exemple du Radio-réveil - 03/2015

Page 2: Exemple Radio-réveil en Capella / Arcadia

Présentations

2

• Pascal Roques : consultant senior, 25+ ans d’expérience– SADT, OMT, UML, SysML, ARCADIA

• Certifié UML2 et SysML par l’OMG

• Co-fondateur de l’association

• Formateur pour Thales sur ARCADIA / Melody– 80+ sessions, 1000+ stagiaires formés

– Partie prenante du projet Clarity

• Auteur des ouvrages les plus lus en France sur UML … et du premier livre sur SysML

www.prfc.fr

Page 3: Exemple Radio-réveil en Capella / Arcadia

Analyse Opérationnelle (OA)

3

Page 4: Exemple Radio-réveil en Capella / Arcadia

Operational Architecture Blank

4

Page 5: Exemple Radio-réveil en Capella / Arcadia

OAB

5

Page 6: Exemple Radio-réveil en Capella / Arcadia

OA : Diagrams Viewer

6

Page 7: Exemple Radio-réveil en Capella / Arcadia

Analyse Système (SA)

7

Page 8: Exemple Radio-réveil en Capella / Arcadia

System Data Flow Blank

8

Page 9: Exemple Radio-réveil en Capella / Arcadia

SDFB

9

Page 10: Exemple Radio-réveil en Capella / Arcadia

SDFB et Chaine Fonctionnelle

10

Page 11: Exemple Radio-réveil en Capella / Arcadia

System Functional Chain Description

11

Page 12: Exemple Radio-réveil en Capella / Arcadia

SFCD

12

Page 13: Exemple Radio-réveil en Capella / Arcadia

SFCD

13

Page 14: Exemple Radio-réveil en Capella / Arcadia

SFCD

14

Page 15: Exemple Radio-réveil en Capella / Arcadia

SFCD modifié

15

Page 16: Exemple Radio-réveil en Capella / Arcadia

SDFB + FC modifiée

16

Page 17: Exemple Radio-réveil en Capella / Arcadia

System Architecture Blank

17

Page 18: Exemple Radio-réveil en Capella / Arcadia

SAB

18

Page 19: Exemple Radio-réveil en Capella / Arcadia

SAB : création des acteurs

19

Page 20: Exemple Radio-réveil en Capella / Arcadia

SAB : allocation des fonctions

20

Page 21: Exemple Radio-réveil en Capella / Arcadia

SAB : allocation des fonctions (fin)

21

Page 22: Exemple Radio-réveil en Capella / Arcadia

SAB + FC

22

Page 23: Exemple Radio-réveil en Capella / Arcadia

Semantic Browser

23

Page 24: Exemple Radio-réveil en Capella / Arcadia

System Exchange Scenario (début)

24

Page 25: Exemple Radio-réveil en Capella / Arcadia

System Exchange Scenario (suite)

25

Page 26: Exemple Radio-réveil en Capella / Arcadia

Liens Operational – System Analysis

26

Page 27: Exemple Radio-réveil en Capella / Arcadia

Liens Operational – System Analysis

27

Page 28: Exemple Radio-réveil en Capella / Arcadia

System Functions / Op. Activities Matrix

28

Page 29: Exemple Radio-réveil en Capella / Arcadia

System Functions / Op. Activities Matrix

29

Page 30: Exemple Radio-réveil en Capella / Arcadia

SA – OA Matrices

30

Page 31: Exemple Radio-réveil en Capella / Arcadia

SES : création de message

31

Page 32: Exemple Radio-réveil en Capella / Arcadia

SES (fin)

32

Page 33: Exemple Radio-réveil en Capella / Arcadia

SDFB mis à jour

33

Page 34: Exemple Radio-réveil en Capella / Arcadia

SAB mis à jour

34

Page 35: Exemple Radio-réveil en Capella / Arcadia

Class Diagram Blank

35

Page 36: Exemple Radio-réveil en Capella / Arcadia

SCDB : Types de base

36

Page 37: Exemple Radio-réveil en Capella / Arcadia

SCDB : types structurés

37

Page 38: Exemple Radio-réveil en Capella / Arcadia

SCDB : Exchange Items

38

Page 39: Exemple Radio-réveil en Capella / Arcadia

SAB : Exchange Item et FE

39

Page 40: Exemple Radio-réveil en Capella / Arcadia

Semantic Browser

40

Page 41: Exemple Radio-réveil en Capella / Arcadia

SDFB partiel

41

Page 42: Exemple Radio-réveil en Capella / Arcadia

Création d’une Category

42

Page 43: Exemple Radio-réveil en Capella / Arcadia

SDFB sans Category

43

Page 44: Exemple Radio-réveil en Capella / Arcadia

SDFB avec Category

44

Page 45: Exemple Radio-réveil en Capella / Arcadia

Category (propriétés)

45

Page 46: Exemple Radio-réveil en Capella / Arcadia

SAB : Component Exchanges

46

Page 47: Exemple Radio-réveil en Capella / Arcadia

SAB : allocation de FE à CE

47

Page 48: Exemple Radio-réveil en Capella / Arcadia

SAB complété avec les CEs et allocations

48

Page 49: Exemple Radio-réveil en Capella / Arcadia

SAB : filtres possibles

49

Page 50: Exemple Radio-réveil en Capella / Arcadia

SAB : filtrage des FE alloués

50

Page 51: Exemple Radio-réveil en Capella / Arcadia

SAB : filtrage des ports fonctionnels

51

Page 52: Exemple Radio-réveil en Capella / Arcadia

SAB : combinaison de filtres

52

Page 53: Exemple Radio-réveil en Capella / Arcadia

Analyse Système : Diagrams Viewer

53

Page 54: Exemple Radio-réveil en Capella / Arcadia

Modeling Accelerators : exemple

54

Page 55: Exemple Radio-réveil en Capella / Arcadia

Génération d’interfaces

55

Page 56: Exemple Radio-réveil en Capella / Arcadia

SCDB mis à jour

56

Page 57: Exemple Radio-réveil en Capella / Arcadia

Contextual Component Detailed Interfaces

57

Page 58: Exemple Radio-réveil en Capella / Arcadia

Contextual Component Detailed Interfaces

58

Page 59: Exemple Radio-réveil en Capella / Arcadia

SCDI : Semantic Browser

59

Page 60: Exemple Radio-réveil en Capella / Arcadia

Contextual Component External Interfaces

60

Page 61: Exemple Radio-réveil en Capella / Arcadia

Exigences : Operational Analysis

61

Page 62: Exemple Radio-réveil en Capella / Arcadia

Exigences : Operational Analysis

62

Page 63: Exemple Radio-réveil en Capella / Arcadia

Exigences : Properties

63

Page 64: Exemple Radio-réveil en Capella / Arcadia

Exigences : liens avec les Op. Activities

64

Page 65: Exemple Radio-réveil en Capella / Arcadia

Exigences : Matrice

65

Page 66: Exemple Radio-réveil en Capella / Arcadia

Exigences : Semantic Browser

66

Page 67: Exemple Radio-réveil en Capella / Arcadia

Exigences : System Analysis

67

Page 68: Exemple Radio-réveil en Capella / Arcadia

Exigences : Propriétés

68

Page 69: Exemple Radio-réveil en Capella / Arcadia

Contrainte

69

Page 70: Exemple Radio-réveil en Capella / Arcadia

Requirement Manager

70

Page 71: Exemple Radio-réveil en Capella / Arcadia

Exigences : liens dans le Semantic Browser

71

Page 72: Exemple Radio-réveil en Capella / Arcadia

Exigences : lien SA-Op. A

72

Page 73: Exemple Radio-réveil en Capella / Arcadia

SA : Modes & States Machine

73

Page 74: Exemple Radio-réveil en Capella / Arcadia

SA : Modes & States Diagram (début)

74

Page 75: Exemple Radio-réveil en Capella / Arcadia

SA : Transition

75

Page 76: Exemple Radio-réveil en Capella / Arcadia

SA : S&M Diagram (suite)

76

Page 77: Exemple Radio-réveil en Capella / Arcadia

SA : Sous états

77

Page 78: Exemple Radio-réveil en Capella / Arcadia

SA : Time Event

78

Page 79: Exemple Radio-réveil en Capella / Arcadia

SA : S&M Diagram (fin)

79

Page 80: Exemple Radio-réveil en Capella / Arcadia

SA : Liens entre Functions et States

80

Page 81: Exemple Radio-réveil en Capella / Arcadia

SA : S&M Matrix

81

Page 82: Exemple Radio-réveil en Capella / Arcadia

SA : S&M Matrix

82

Page 83: Exemple Radio-réveil en Capella / Arcadia

Architecture Logique (LA)

83

Page 84: Exemple Radio-réveil en Capella / Arcadia

Transition SA -> LA

84

Page 85: Exemple Radio-réveil en Capella / Arcadia

Transition SA -> LA

85

Page 86: Exemple Radio-réveil en Capella / Arcadia

Transition SA -> LA

86

Page 87: Exemple Radio-réveil en Capella / Arcadia

Transition SA -> LA

87

Page 88: Exemple Radio-réveil en Capella / Arcadia

Transition SA -> LA

88

Page 89: Exemple Radio-réveil en Capella / Arcadia

Transition SA -> LA

89

Page 90: Exemple Radio-réveil en Capella / Arcadia

Logical Architecture Blank

90

Page 91: Exemple Radio-réveil en Capella / Arcadia

LAB

91

Page 92: Exemple Radio-réveil en Capella / Arcadia

LAB : Accelerator

92

Page 93: Exemple Radio-réveil en Capella / Arcadia

LAB

93

Page 94: Exemple Radio-réveil en Capella / Arcadia

LAB : Composants Logiques

94

Page 95: Exemple Radio-réveil en Capella / Arcadia

LFBD : Décomposition des Fonct. Logiques

95

Page 96: Exemple Radio-réveil en Capella / Arcadia

LFBD : Décomposition des Fonct. Logiques

96

Page 97: Exemple Radio-réveil en Capella / Arcadia

LDFB : Data Flow au niveau Logique

97

Page 98: Exemple Radio-réveil en Capella / Arcadia

LDFB : Accelerator

98

Page 99: Exemple Radio-réveil en Capella / Arcadia

LDFB : après modification

99

Page 100: Exemple Radio-réveil en Capella / Arcadia

LDFB : FC invalide après modification

100

Page 101: Exemple Radio-réveil en Capella / Arcadia

FCD : FC corrigée

101

Page 102: Exemple Radio-réveil en Capella / Arcadia

LDFB : FC valide après correction

102

Page 103: Exemple Radio-réveil en Capella / Arcadia

LAB : Allocation des Fonctions

103

Page 104: Exemple Radio-réveil en Capella / Arcadia

LAB : Allocation des Fonctions + FC

104

Page 105: Exemple Radio-réveil en Capella / Arcadia

LAB : CE avec allocations (début)

105

Page 106: Exemple Radio-réveil en Capella / Arcadia

LAB : CE avec délégations (partiel)

106

Page 107: Exemple Radio-réveil en Capella / Arcadia

LAB : CE avec délégations (fin)

107

Page 108: Exemple Radio-réveil en Capella / Arcadia

LAB : CE internes entre LCs

108

Page 109: Exemple Radio-réveil en Capella / Arcadia

LAB simplifié

109

Page 110: Exemple Radio-réveil en Capella / Arcadia

Scénario de niveau LA par transition

110

Page 111: Exemple Radio-réveil en Capella / Arcadia

Scénario de niveau LA par transition

111

Page 112: Exemple Radio-réveil en Capella / Arcadia

LES initialisé à partir du SES

112

Page 113: Exemple Radio-réveil en Capella / Arcadia

LES finalisé

113

Page 114: Exemple Radio-réveil en Capella / Arcadia

114

Pour en savoir plus

www.polarsys.org/capella/index.html

• www.prfc.fr

• pascalroquesformationconseil.blogspot.fr/

• www.incose.org/

• www.afis.fr