Etude ECUMES Présentation des résultats

Migaultc

Description

E
t
u
d
e

E
C
U
M
E
S
P
r
é
s
e
n
t
a
t
i
o
n

d
e
s

r
é
s
u
l
t
a
t
s
P
a
t
r
i
c
e

M
i
c
o
u
i
n
,

M
i
c
o
u
i
n
C
o
n
s
u
l
t
i
n
g
M
a
t
h
i
e
u

C
l
a
b
a
u
t
,

S
y
s
t
e
r
e
lP
l
a
n
O
b
j
e
c
t
i
f
s

d
e

l
’
é
t
u
d
e
O
r
g
a
n
i
s
a
t
i
o
n

d
e

l
’
é
t
u
d
e
L
o
t

1

-
é
t
a
t

d
e

l
'
a
r
t
L
o
t

2

–
é
l
é
m
e
n
t
s

p
o
u
r

u
n

g
u
i
d
e

d
e

m
i
s
e

e
n

o
e
u
v
r
e
P
e
r
s
p
e
c
t
i
v
e
sO
b
j
e
c
t
i
f
s

d
e

l
’
é
t
u
d
e
O
b
j
e
c
t
i
f

f
i
n
a
l

:
p
r
o
d
u
c
t
i
o
n

d
’
u
n
e

m
é
t
h
o
d
o
l
o
g
i
e
(
p
r
o
c
e
s
s
u
s
,

l
a
n
g
a
g
e
s
,

o
u
t
i
l
s
)
d
e

d
é
c
o
u
v
e
r
t
e
,

d
e

c
a
p
t
u
r
e

e
t

d
e

m
a
i
n
t
e
n
a
n
c
e

d
e
s

e
x
i
g
e
n
c
e
s

p
o
u
r

l
e
s

L
V
e
t

l
e
u
r

a
r
t
i
c
u
l
a
t
i
o
n

a
v
e
c

l
e

s
y
s
t
è
m
e
.

M
o
y
e
n

e
t

o
b
j
e
c
t
i
f

i
n
t
e
r
m
é
d
i
a
i
r
e
é
t
a
t

d
e

l
’
a
r
t

d
e
s

d
i
f
f
é
r
e
n
t
e
s

m
é
t
h
o
d
e
s

d
e

d
é
c
o
u
v
e
r
t
e

e
t

d
’
e
x
p
r
e
s
s
i
o
n

d
e
s

e
x
i
g
e
n
c
e
s

e
n

s
’
i
n
t
é
r
e
s
s
a
n
t

s
p
é
c
i
f
i
q
u
e
m
e
n
t

a
u

d
o
m
a
i
n
e

d
e
s

l
o
g
i
c
i
e
l
s

d
e

v
o
l

s
e
r
a

p
r
o
d
u
i
t
V
i
s
e

é
g
a
l
e
m
e
n
t

:
u
n
e

p
r
o
b
l
é
m
a
t
i
q
u
e

d
’
i
n
g
é
n
i
e
r
i
e

«
o
r
i
e
n
t
é
e

m
o
d
è
l
e
s
»
b
i
e
n

q
u
e

c
e
l
l
e
-
c
i

n
’
e
x
i
s
t
e

p
a
s

p
l
e
i
n
e
m
e
n
t
.O
r
g
a
n
i
s
a
t
i
o
n

d
e

l
’
é
t
u
d
e
L
e
...

Sujets

• Relations entre le bouddhisme et les autres religions
• D'une ombre à l'autre
• Exigence (ingénierie)
• E107
• Protocole de cohérence de cache
• Propriété Camalon

Informations

• Publié par: Vikub
• Nombre de lectures: 61
• Langue: 中文
• Poids de l'ouvrage: 3 Mo

Extrait

Etude ECUMES Présentation des résultats Patrice Micouin, MicouinConsulting Mathieu Clabaut, Systerel

Objectifs de l’étude nalP Organisation de l’étude Lot 1 -état de l'art Lot 2 –éléments pour un guide de mise en oeuvre Perspectives

Objectifs de l’étude  Objectif final : production d’une méthodologie(processus, langages, outils)de découverte, de capture et de maintenance des exigences pour les LVet leur articulation avec le système.  Moyen et objectif intermédiaire état de l’art des différentes méthodes de découveret et d’expression des v e o xi l  g s e e n r c a  e p s r   o e d n  u s it ’intéressant spécifiquement au domaine des logiciels de   Vise également : une problématique d’ingénierie «orientée modèles»bein que celle-ci n’existe pas pleinement.

Le responsable Client Organisation de l’étude  David Chemouil, CNES  Industriels associés: Astrium, Thales Alenia Space Deux prestataires  Mathieu Clabaut, Systerel  Patrice Micouin, MicouinConsulting Deux lots  Lot n°1: Etat des lieux  Lot n°2: Eléments pour un guide méthodologique en ingénierie des exigences Planning  Lot n°1: Janvier 2008 –Mars 2008  Lot n°2: Avril 2008 –Juin 2008

Résultats du lot 1 Ingénierie des exigences -État de l'art
Liste des méthodes évaluées
Liste des critères d’évaluation
Logiciels de vol et pertinence des langages et méthodes
Évaluation des méthodes et outils
Analyse comparative
Conclusions: Points forts et lacunes

     Liste des méthodes évaluées AKSO LMsyS SLC Erudine ULM

Liste des critères d’évaluation  Critères épistémologiques: concernent les concepts utilisés, leurs relations et leurs fondements  Critères méthodologiques: concernent la définition des processus mis en œuvre,  Critères pragmatiques: concernent l’immersion dans la réalitéindustriellee t la confrontation de ces concepts et de ces processus aux projets réellement existants et tout particulièrement dans le domaine spatial.

Critères  Relations  Robustesse  Complétude  Cohérence  Pertinence  Modèles  Complétude  Cohérence  Intégration Epistémologiques  Concepts  Robustesse  Complétude  Cohérence  Pertinence Méthodologiques  La méthode considérée définit-elle des processus  si oui, quelle est la robustesse pour traiter de l’ingénierie des exigences? i.e.: des processus?  un ensemble d’objectifs àatteindre?  La cohérence des processus?  des séquences d’activités àmener pour atteindre  la pertinence des processus? ces objectifs?  un ensemble de conditions pour mener ces activités?  des critères d’arrêt pour ces activités? Pragmatiques  Passage àl’échelle  Outillage  Maintenance et évolutivité  Ingénierie des modèles  Capitalisation des connaissances

Logiciels de vol et pertinence des langages et méthodes  Prescriptions pour le développement d’un logiciel psatial  Le modèle «client/fournisseur»  Le processus d’ingénierie des exigences  Petite ontologie d’un logiciel de vol

Prescriptions pour le développement d’un logiciel spatial

ECSS-E-40 Le modèle «client/fournisseur» Le «client»de rang n+1doit dériver les exigences fonctionnelles et de performances allouées au matériel et au logiciel de ses «fournisseurs»de rang n+2. Ces exigences qu’il alloue au matériel et au logciiel de rang n+2 dépendent:
des exigences qu’il doit lui-même satisfaire en saq ualitéde fournisseur de rang n+1 vis-à-vis de ses «clients de rang n,
des choix de conception qu’il effectue au niveaun +1, Il est aussi le garant des interfaces qui lui sont imposées au rang net celles qu’il crée au rangn +1.