R11886 STBL v1.0 PDF

H H
F-XC A N GE F-XC A N GE
PD PD
!
W
W
O
O
N
N
y
y
bu
bu
to
to
k
k
lic
lic
C
C
w
w
m
m
w w
w
w
o
o
.d o .c .d o .c
c u-tr a c k c u-tr a c k
CRIL TECHNOLOGY
Siège Social Espace Nobel - Bât B Technoparc de l'Aubinière
18 rue Grange Dame Rose 2 Allée A.Becquerel 2 Imp. des Jades - BP 93884
78147 VELIZY Cedex 35700 RENNES 44388 NANTES Cedex 3
Tél. : 01 30 67 23 23 Tél. : 02 23 21 11 11 Tél. : 02 51 89 64 50
Fax : 01 30 67 23 22 Fax : 02 23 21 11 00 Fax : 02 51 89 64 55
SIMPA2 – Outil d’analyse

structurelle
Spécification Technique de
Besoin Logiciel
RNTL
Ce document est la propriété de CRIL TECHNOLOGY. Il ne peut être ni reproduit, ni communiqué à un tiers sans autorisation écrite.
Imprimé le : 10/09/2008 Réf. : R11886-1.0

H H
PD PD
!
W
W
O
O
N
N
y
y
bu
bu
RNTL/SIMPA2 Spécification Technique de Besoin Logiciel
to
to
k
k
lic
lic
C
C
w
w
m
m
w w
w
w
o
o
.d o .c .d o .c
Identification
Type de document : Spécification technique de besoin logiciel
Emetteur : CRIL TECHNOLOGY / GROUPE ALYOTECH – Agence Ouest
Auteurs
Personne Fonction Organisme Visa Date du visa
C. WARTELLE Chef de Projet CRIL TECHNOLOGY
Vérification
C. WARTELLE Chef de Projet CRIL TECHNOLOGY
Approbation
P. GOSSELIN Manager de CRIL TECHNOLOGY

centre
d’
ingénierie
Diffusion
Personne Fonction Organisme Action
Partenaires SIMPA2
Liste des versions et révisions
Version / Révision Date Objet
1.0 15/07/2008 Version initiale
Imprimé le : 10/09/2008 Réf : R11886-1.0 Page 2 / 22
F0164-1.2
H H
PD PD
!
W
W
O
O
N
N
y
y
bu
bu
to
to
k
k
lic
lic
C
C
w
w
m
m
w w
w
w
o
o
.d o .c .d o .c
SOMMAIRE
1 OBJET.......................................................................................................................................................... 5
2 DOCUMENTS DE REFERENCE ............................................................................................................... 6
3 TERMINOLOGIE ET SIGLES UTILISES ................................................................................................ 7
4 EXIGENCES................................................................................................................................................ 8
4.1 PRESENTATION DE LA MISSION DU PRODUIT LOGICIEL ............................................................. 8
4.2 EXIGENCES FONCTIONNELLES ......................................................................................................... 8
4.2.1 CHARGER LA STRUCTURE DU MODELE.................................................................................... 8
4.2.2 VERIFIER QUE LE MODELE EST UN SYSTEME CARRE ............................................................10
4.2.3 RECHERCHER LES LIGNES DE PUISSANCES E/S......................................................................10
4.2.4 RECHERCHER LES CHEMINS CAUSAUX E/S .............................................................................11
4.2.5 RECHERCHER L’ORDRE DE DERIVATION DES SORTIES.........................................................13
4.2.6 EDITER LES RESULTATS D’ANALYSE.........................................................................................14
4.2.7 IMPORTER DES MODELES ISSUS DE MS1 .................................................................................14
5 EXIGENCES OPERATIONNELLES ........................................................................................................16
5.1 ENVIRONNEMENT ..............................................................................................................................16
5.1.1 ENVIRONNEMENT MATERIEL ....................................................................................................16
5.1.2 ENVIRONNEMENT LOGICIEL .....................................................................................................16
5.2 MISE EN Œ UVRE..................................................................................................................................16
5.3 EXIGENCES DE PROGRAMMATION .................................................................................................16
6 INTERFACES.............................................................................................................................................17
6.1 INTERFACES AVEC D’AUTRES PRODUITS LOGICIEL....................................................................17
6.2 INTERFACES AVEC DES FICHIERS ...................................................................................................17
6.3 INTERFACES HOMME-MACHINE ......................................................................................................17
7 EXIGENCES CONCERNANT LA QUALIFICATION DU LOGICIEL..................................................18

7.1 PROTOCOLE DE TESTS.......................................................................................................................18
7.2 RAPPEL DES CAS DE VALIDATION ..................................................................................................18
7.3 PLATE FORME DE TEST......................................................................................................................19
8 ORGANISATION DU PROJET.................................................................................................................20
8.1 DESCRIPTION DE L’OUTIL.................................................................................................................20
8.2 PHASES DE REALISATION .................................................................................................................20
8.2.1 PHASE 1 : PHASE DE SPECIFICATIONS GENERALES ...............................................................20
8.2.2 PHASE 2 :PHASE DE CONCEPTION GENERALE ET DETAILLEE..............................................20
8.2.3 PHASE 3 : DEVELOPPEMENT LOGICIEL ...................................................................................20
8.2.4 PHASE 4 : TESTS DE L’OUTIL.....................................................................................................21
8.3 LISTE DES LIVRABLES .......................................................................................................................21
8.4 PLANNING PREVISIONNEL................................................................................................................21
ANNEXE : DOCUMENT [R1] ...........................................................................................................................22
F0164-1.2
H H
PD PD
!
W
W
O
O
N
N
y
y
bu
bu
to
to
k
k
lic
lic
C
C
w
w
m
m
w w
w
w
o
o
.d o .c .d o .c
PREFACE
BUT
La spécification technique de besoin permet de spécifier en détail les exigences fonctionnelles,

opérationnelles, d’interfaces ou de conception, de réalisation et de qualification d’
un produit ou constituant
logiciel sans préjuger de la solution informatique susceptible de répondre à ces exigences.
AUDIENCE
Ce document s’
adresse aux partenaires SIMPA2.
F0164-1.2
H H
PD PD
!
W
W
O
O
N
N
y
y
bu
bu
to
to
k
k
lic
lic
C
C
w
w
m
m
w w
w
w
o
o
.d o .c .d o .c
1 OBJET
Ce document présente les spécifications de l’

outil d’
analyse structurelle réalisé dans le cadre du projet
SIMPA2.
Cet outil permettra de vérifier l’
inversibilité structurelle d’
un modèle décrit selon les concepts définis dans
[R1].
Il s’
agira d’
un outil Stand Alone qui fournira des données pouvant être interprétées par le compilateur
SIMPA2.
F0164-1.2
H H
PD PD
!
W
W
O
O
N
N
y
y
bu
bu
to
to
k
k
lic
lic
C
C
w
w
m
m
w w
w
w
o
o
.d o .c .d o .c
2 DOCUMENTS DE REFERENCE
[R1] Document support pour la spécification et le développement du module d’

analyse 04/07/2008
structurelle du projet SIMPA2
[R2] Protocole de tests AMPERE et PSA dans le cadre du projet RNTL Simpa2 15/06/2007
F0164-1.2
H H
PD PD
!
W
W
O
O
N
N
y
y
bu
bu
to
to
k
k
lic
lic
C
C
w
w
m
m
w w
w
w
o
o
.d o .c .d o .c
3 TERMINOLOGIE ET SIGLES UTILISES
BG Bond Graph
E/S Entrées / Sorties
F0164-1.2
H H
PD PD
!
W
W
O
O
N
N
y
y
bu
bu
to
to
k
k
lic
lic
C
C
w
w
m
m
w w
w
w
o
o
.d o .c .d o .c
4 EXIGENCES
4.1 PRESENTATION DE LA MISSION DU PRODUIT LOGICIEL
Le but de ce logiciel est de :

• Déterminer si un modèle est structurellement inversible
• Fournir en sortie des diagnostics sur la non inversibilité structurelle du modèle, et les résultats
d’analyse qui peuvent guider sur les modifications à apporter au modèle ou au problème de
dimensionnement..
Cet outil possèdera un format de données propre. Une passerelle pour importer des fichiers au format MS1
sera développée.
Aucune IHM n’ est prévue pour cet outil. De même, le procédure d’ appel de l’
outil par le compilateur n’
est
pas prévue dans le développement de l’ outil d’
analyse structurelle.
4.2 EXIGENCES FONCTIONNELLES
La liste des exigences fonctionnelles est basée sur les fonctions liées à la méthodologie de
dimensionnement par modèle inverse pour SIMPA2 décrites dans le document [R1].
4.2.1 CHARGER LA STRUCTURE DU MODELE

Cette fonction permettra à l’
outil de lire et mettre en place toutes les informations nécessaires à l’
analyse
structurelle du modèle
4.2.1.1 Entrées
L’
entrée sera constituée d’
un fichier au format XML.
Ce fichier contiendra les renseignements suivants :
• Structure du modèle :
- la liste des éléments passifs, leur type (Stockage, Dissipation, Source, Dissipation modulée,
Source modulée) ainsi que leur dénomination
- la liste des éléments de jonction, leur type (Jonction à effort constant, Jonction à flux constant,
Transformateurs, Transformateurs modulés, Gyrateurs, Gyrateurs modulés) ainsi que leur
dénomination
- la liste des liens entre les éléments et les jonctions
- tous les blocs de type signal (éléments à détailler dans [R1])
F0164-1.2
H H
PD PD
!
W
W
O
O
N
N
y
y
bu
bu
to
to
k
k
lic
lic
C
C
w
w
m
m
w w
w
w
o
o
.d o .c .d o .c
- les éléments modules. (éléments à détailler dans [R1])

• la définition des entrées et sorties du modèle :
- Variables d’
entrée et les éléments auxquels elles sont liées.
- Variables de sortie et les éléments auxquels elles sont liées.
- Relations de calculs pour les variables d’
entrée et de sortie
• La définition de relations de calcul et de variables supplémentaires
- Variables de modulation et les éléments qu’
elles modulent
- Relations de calculs implicites dans des phénomènes physiques
4.2.1.2 Traitements
L’outil mettra en place à partir des données du fichier XML, l’
ensemble des données nécessaires à
l’
Il déterminera notamment le nombre de variables de puissance/énergie, le nombre de puissances, le
nombre de relations entre les puissances, le nombre de relations entre les variables.
Pour chaque élément passif :

• Un nombre de ports
• 4 variables (Effort, Flux, Moment généralisé, Déplacement généralisé),
• 1 bilan de puissance
Pour chaque élément de jonction :
• 1 bilan de puissance
• 1 égalité entre variables d’

effort ou de flux
• 1 bilan entre variables d’
effort ou de flux
Pour chaque élément de transduction d’
énergie :
• 1 égalité de puissance
• 2 lois de transduction d’
énergie
Pour chaque lien :
• 1 puissance
• 2 relations entre les variables, fonctions des types d’
éléments liés
Pour chaque élément signal :
• A détailler dans [R1]

Pour chaque entrée et sortie :
• 1 puissance d’
entrée
• 1 puissance de sortie
F0164-1.2
H H
PD PD
!
W
W
O
O
N
N
y
y
bu
bu
to
to
k
k
lic
lic
C
C
w
w
m
m
w w
w
w
o
o
.d o .c .d o .c
4.2.1.3 Sorties
L’outil fournira un diagnostic sur la complexité du modèle : nombre de puissance, de variables, de relations
algébriques, d’ intégration et de dérivation.
4.2.2 VERIFIER QUE LE MODELE EST UN SYSTEME CARRE
4.2.2.1 Entrées
Le modèle chargé au cours de l’
étape précédente
4.2.2.2 Traitements
L’
outil comparera le nombre d’
entrées et de sorties définies dans le fichier XML.
En cas d’
inégalité, l’
outil interrompra l’
analyse.
4.2.2.3 Sorties
L’
outil fournira les résultats d’
analyse :
• système potentiellement inversible ou non,
• nombre d’
entrée et leurs noms,
• nombre de sortie et leurs noms.
4.2.3 RECHERCHER LES LIGNES DE PUISSANCES E/S
4.2.3.1 Entrées
• La liste des puissances, des relations de puissance et des puissances E/S.
• La structure du modèle.
4.2.3.2 Traitements
Cette fonction sera réalisée à travers 4 sous fonctions.
4.2.3.2.1 Constitution du graphe bi-partite

Cette fonction prendra en entrée la liste des puissances du modèle ainsi que toutes les relations de
puissance : lois de puissance aux jonctions conservatrices d’énergie, égalités de puissance aux éléments
de transduction d’énergie, bilans de puissance des éléments.
Chaque puissance sera reliée aux lois et égalités de puissance qui lui correspondent, en fonction des liens
définis dans la structure du modèle, pour constituer le graphe bi-partite.
4.2.3.2.2 Suppression des P terminaux

Cette étape consistera à simplifier le graphe créé précédemment.
F0164-1.2
H H
PD PD
!
W
W
O
O
N
N
y
y
bu
bu
to
to
k
k
lic
lic
C
C
w
w
m
m
w w
w
w
o
o
.d o .c .d o .c
Les puissances et relations terminales seront déterminées selon les principes suivants :
• Toute puissance non liée à une entrée ou une sortie et liée à une seule relation sera considérée
comme terminale.
• Toute relation liée uniquement à des puissances terminales sera également considérée comme
terminale.
On itèrera le parcours du graphe jusqu’
à ce que toutes les puissances et relations terminales aient été
identifiées.
A la fin de cette étape, on obtiendra un graphe simplifié, qu’
il s’
agira de parcourir afin de déterminer les
lignes de puissance.
4.2.3.2.3 Parcours du graphe pour déterminer les lignes de puissance E/S

Un parcours du graphe bipartite, basé sur un algorithme à définir (Ford et Fulkerson… ) permettra de
déterminer les lignes de puissance E/S.
4.2.3.2.4 Recherche des ensembles de lignes de puissance disjointes

Les lignes de puissances E/S seront ensuite analysées afin de rechercher les lignes de puissance
disjointes.
Chaque ensemble de lignes de puissances disjointes respectera les conditions suivantes :
• L’ensemble comportera autant de lignes de puissances que d’

entrées (et donc de sorties puisque
le modèle est carré) définies dans le modèle.
• Les puissances composant ces lignes ne seront impliquées qu’
une seule fois.
• Chaque jonction composant la ligne de puissance ne sera pas commune à une autre ligne.
4.2.3.3 Sorties
L’
analyse :
• La liste des lignes de puissance avec les puissances impliquées.
• La liste des ensembles de lignes de puissance disjointes avec les lignes de puissances
impliquées.
4.2.4 RECHERCHER LES CHEMINS CAUSAUX E/S
4.2.4.1 Entrées
• La liste des variables,
• La liste des relations entre les variables,
• La liste des ensembles de lignes de puissance disjointes avec les lignes de puissances
impliquées.
4.2.4.2 Traitements
Cette fonction sera réalisée à travers 5 sous fonctions
F0164-1.2
H H
PD PD
!
W
W
O
O
N
N
y
y
bu
bu
to
to
k
k
lic
lic
C
C
w
w
m
m
w w
w
w
o
o
.d o .c .d o .c
4.2.4.2.1 Constitution du graphe bi-partite

Cette fonction prendra en entrée la liste des variables du modèle ainsi que toutes les relations entre les
variables : lois de comportement, égalités entre variables, lois de transduction d’
énergie…
Chaque variable sera reliée aux relations entre variables qui lui correspondent, en fonction des éléments et
des liens définis dans la structure du modèle, pour constituer le graphe bi-partite.
4.2.4.2.2 Suppression des variables terminales

Comme dans le cas de la suppression des puissances dans le graphe bi-partite des puissances et relations
de puissance, cette étape consistera à simplifier le graphe créé précédemment.
Les variables et relations terminales seront déterminées selon les principes suivants :
• Toute variable non liée à une entrée ou une sortie et liée à une seule relation sera considérée
comme terminale.
• Toute relation liée uniquement à des variables terminales sera également considérée comme
terminale.
On itèrera le parcours du graphe jusqu’
à ce que toutes les variables et relations terminales aient été
identifiées.
A la fin de cette étape, on obtiendra un graphe simplifié, qu’
il s’
agira de parcourir afin de déterminer les
chemins causaux.
4.2.4.2.3 Prise en compte des contraintes sur la causalité intégrale

Cette étape permettra d’ orienter certains des axes du graphe bi-partite afin de prendre en compte les
contraintes sur la causalité intégrale.
Cet algorithme est à détailler dans [R1].
4.2.4.2.4 Parcours du graphe pour déterminer les chemins causaux E/S

Un parcours du graphe bipartite, basé sur un algorithme à définir (Ford et Fulkerson… ) permettra de
déterminer un ensemble de chemins causaux E/S.
Cette fonction permettra également pour chaque chemin causal de déterminer l’
ordre du chemin.
Cet ordre est défini de la manière suivante :
• Soit Nd le nombre de dérivations impliquées dans le chemin causal
• Soit Ni le nombre d’
intégrations impliquées dans le chemin causal
• L’
ordre du chemin est Ni – Nd
4.2.4.2.5 Recherche des ensembles de chemins causaux disjoints

Dans un premier temps, on identifiera les chemins causaux E/S basés sur des lignes de puissances déjà
évaluées comme disjointes.
Les chemins causaux E/S ainsi déterminés seront ensuite analysés afin de rechercher les chemins
causaux disjoints.
Chaque ensemble de chemins causaux disjoints respectera les conditions suivantes :
• L’
ensemble comportera autant de chemins causaux que d’
entrées (et donc de sorties puisque le
modèle est carré) définies dans le modèle.
F0164-1.2
H H
PD PD
!
W
W
O
O
N
N
y
y
bu
bu
to
to
k
k
lic
lic
C
C
w
w
m
m
w w
w
w
o
o
.d o .c .d o .c
• Les variables composant ces chemins ne seront impliquées qu’

une seule fois.
4.2.4.3 Sorties
L’
analyse :
• La liste des chemins causaux avec les variables impliquées
• La liste des ensembles de chemins causaux disjoints avec les chemins causaux impliqués.
4.2.5 RECHERCHER L’ORDRE DE DERIVATION DES SORTIES
4.2.5.1 Entrées
• La liste des lignes de puissance,
• La liste des ensembles de lignes de puissances E/S disjointes
• La liste des chemins causaux
• La liste des ensembles de chemins causaux E/S disjoints
• La structure du modèle.
4.2.5.2 Traitement
Cette fonction sera réalisée à travers 4 sous fonctions
4.2.5.2.1 Recherche de l’
ensemble d’
ordre minimal
Cette fonction déterminera l’
ordre de chaque ensemble de chemins causaux disjoints (c’ est à dire la
somme des ordres des chemins causaux composant l’
ensemble) et identifiera l‘
ensemble d’
ordre minimal.
4.2.5.2.2 Construction du graphe bi-partite

Ce graphe étant déjà construit lors de la recherche des chemins causaux, cette fonction permettra d’
ajouter
des contraintes de causalité supplémentaires.
Ces contraintes sont à détailler dans [R1].
4.2.5.2.3 Orientation des relations

Fonction à détailler dans [R1].
4.2.5.2.4 Ordre des chemins bicausaux et ordre de dérivation des sorties

Fonction à détailler dans [R1].
4.2.5.3 Sorties
L’
analyse :
• Ordres des chemins bicausaux
• Ordre de dérivation des sorties
F0164-1.2
H H
PD PD
!
W
W
O
O
N
N
y
y
bu
bu
to
to
k
k
lic
lic
C
C
w
w
m
m
w w
w
w
o
o
.d o .c .d o .c
• Contraintes d’
orientation des équations.
4.2.6 EDITER LES RESULTATS D’ANALYSE
4.2.6.1 Entrées
Tous les résultats d’
analyse des fonctions précédentes.
4.2.6.2 Traitement
L’
outil rassemblera tous les résultats obtenus dans un fichier de sortie unique.
4.2.6.3 Sorties
Le format du fichier de sortie sera précisé lors de la phase de conception générale et détaillée.
4.2.7 IMPORTER DES MODELES ISSUS DE MS1

Cette fonction sera réalisée en dehors de l’
outil d’analyse structurelle à proprement parler et constituera
une passerelle indépendante en vue de la validation du module.
4.2.7.1 Entrées
Les entrées seront constituées de fichiers issus du logiciel MS1 (fichiers .ms1).
Le format des fichiers MS1 n’
est pas encore totalement décrit.
Exemple de fichier MS1 : l’
exemple mécanique de [R1].
ENTETE DE FICHIER, DESCRIPTION DU MODELE :
MS1;5.2c;03s47;
R;=M;
Ynouveau;=
R;=M;
UMdl_1;N1=
DESCRIPTION DES LIENS :

B$B'';eeffort;E1;I0;I-1;I1;Ceci est un effort;fFlux;F1;R0.5;I-10;R+51.5;Ceci
est un flux;PPuissance;P1;NM-BM+BCeci est une puissance;#0
Un lien de n°rien, avec :
- un effort de type « effort » de nom « E1 », valeur par défaut entière=0,
valeur min entière=-1, valeur max entière = 1, description « Ceci est un
effort »
- un flux de type « Flux » de nom « F1 », valeur par défaut réelle=0.5, valeur
min entière=-10, valeur max réelle = +51.5, description « Ceci est un flux »
- une puissance de type « Puissance » de nom « P1 », sans valeur par défaut,
min et max, description « Ceci est une puissance »
B$B''0;e;E2;NM-BM+B;f;F2;NM-BM+B;P;P2;NM-BM+B;#0
Un lien de n°0, avec un effort de nom « E2 », sans valeur par défaut, min et
max ; un flux de nom « F2 », sans valeur par défaut, min et max ; une puissance
de nom « P2 », sans valeur par défaut, min et max
F0164-1.2
H H
PD PD
!
W
W
O
O
N
N
y
y
bu
bu
to
to
k
k
lic
lic
C
C
w
w
m
m
w w
w
w
o
o
.d o .c .d o .c
DESCRIPTION DES ELEMENTS :

D1'Jonction1';#21.;16.;0.;2.;1.;EPIN''2;0;FB$B'';2EPOUT''3;0;FB$B''0;1EPOUT''7;
0;FB$B''1;1EPOUT''11;0;FB$B''2;1
Un élément D1 de nom « Jonction1 » ; une entrée par le lien n°rien, une sortie
par le lien n°0, une sortie par le lien n°1, une sortie par le lien n°2
DSe'SourceEffort';#13.;16.;0.;3.;1.;EPOUT''3;0;FB$B'';1
Un élément Se de nom « SourceEffort » ; une sortie par le lien n°rien
DI'Masse';#20.;20.;0.;2.;1.;EPIN''2;0;FB$B''0;2
Un élément I de nom « Masse » ; une entrée par le lien n°0
DR'Amortisseur';#30.;16.;0.;3.;1.;EPIN''2;0;FB$B''1;2$
Un élément R de nom « Amortisseur » ; une entrée par le lien n°1
DC'Ressort';#20.;12.;0.;2.;1.;EPIN''2;0;FB$B''2;2
Un élément C de nom « Ressort » ; une entrée par le lien n°2
VMdl_1;=
XPar_1;=
Z
La représentation BG de ce modèle est la suivante :
4.2.7.2 Traitement
La passerelle déterminera les données nécessaires à l’
analyse structurelle contenues dans le fichier MS1
et les transformera au format XML.
4.2.7.3 Sorties
La passerelle fournira un fichier XML pouvant être utilisé par l’
outil d’
F0164-1.2
H H
PD PD
!
W
W
O
O
N
N
y
y
bu
bu
to
to
k
k
lic
lic
C
C
w
w
m
m
w w
w
w
o
o
.d o .c .d o .c
5 EXIGENCES OPERATIONNELLES
5.1 ENVIRONNEMENT
5.1.1 ENVIRONNEMENT MATERIEL

L’
outil d’
analyse structurelle pourra être utilisé sur les plate-formes PC (Windows XP) et Linux.
5.1.2 ENVIRONNEMENT LOGICIEL

L’
outil d’
analyse structurelle sera utilisé indépendamment de tout autre outil ou logiciel.
Les formats de données seront suffisamment documentés pour permettre par la suite d’
intégrer cet outil à
n’
importe quel autre logiciel.
Dans le cadre du projet SIMPA2, et dans le souci de valider l’outil d’
analyse structurelle, une passerelle
avec le code MS1 pourra être développée. Cette passerelle sera cependant un exécutable indépendant de
l’
outil d’
analyse structurelle. Voir § 6.
5.2 MISE EN Œ UVRE
L’outil s’
exécutera pour un simple lancement en ligne de commande. Les fichiers d’
entrée et de sortie
seront précisés.
On suppose que les données d’ entrée sont définies au format XML lisible par l’
outil. L’
outil n’
effectuera
aucune conversion dans les formats des données d’entrée.
5.3 EXIGENCES DE PROGRAMMATION
Le langage de programmation utilisé sera le C++
F0164-1.2
H H
PD PD
!
W
W
O
O
N
N
y
y
bu
bu
to
to
k
k
lic
lic
C
C
w
w
m
m
w w
w
w
o
o
.d o .c .d o .c
6 INTERFACES
6.1 INTERFACES AVEC D’AUTRES PRODUITS LOGICIEL
Aucune interface avec d’

autres produits logiciels n’
est prévue dans le cadre du développement de l’
outil
d’
6.2 INTERFACES AVEC DES FICHIERS
Aucune interface directe avec des fichiers n’

outil d’
analyse
structurelle.
Cependant, il est prévu de développer une passerelle entre l’ outil d’
analyse structurelle et les fichiers du
logiciel MS1. Cette passerelle permettra de transformer les fichiers MS1 décrivant les structures des
modèles en fichiers au format XML et lisibles par l’
outil d’
Le développement de cette passerelle sera réalisé sous réserve de l’
obtention d’
une description précise du
format des fichiers MS1.
6.3 INTERFACES HOMME-MACHINE
Aucune interface Homme-Machine n’

outil d’
analyse
structurelle.
F0164-1.2
H H
PD PD
!
W
W
O
O
N
N
y
y
bu
bu
to
to
k
k
lic
lic
C
C
w
w
m
m
w w
w
w
o
o
.d o .c .d o .c
7 EXIGENCES CONCERNANT LA QUALIFICATION DU

LOGICIEL
Des tests de qualification, basés sur le protocole de tests AMPERE – PSA (cf [R2]), seront réalisés sur
l’
outil d’
7.1 PROTOCOLE DE TESTS
Les tests se dérouleront de la manière suivante :

• Mise au format du modèle physique : soit avec la passerelle MS1 si celle-ci a pu être développée,
soit par écriture des données d’
entrée au format XML.
• Analyse du modèle avec l’
outil développé
• Comparaison des résultats avec les résultats de référence (cf [R2]). Les résultats à comparer
seront les suivants : inversibilité structurelle, nombre de lignes de puissance, nombre de chemins
causaux etc…
7.2 RAPPEL DES CAS DE VALIDATION
Les modèles ci-dessous seront analysés avec l’

outil d’
analyse structurelle :
Cas de validation Test Type de problème Particularités
N°1 : Système en boucle

N°11 Calcul direct, analyse ouverte, boucles
Charge en rotation
causales
actionnée par un
moteur à courant Système en boucle
N°13 Calcul direct, analyse
continu fermée
Problème multi-corps
non linéaire
N°2 :
Robot RR à 2 bras Problème multi-corps

N°22 Calcul direct, analyse non linéaire, boucles
algébriques pures
N°3 :
N°31a Problème non
Système bielle- Calcul direct, analyse
N°31b linéaire
manivelle
F0164-1.2
H H
PD PD
!
W
W
O
O
N
N
y
y
bu
bu
to
to
k
k
lic
lic
C
C
w
w
m
m
w w
w
w
o
o
.d o .c .d o .c
Cas de validation Test Type de problème Particularités
Modèle direct, conditions Problème non

N°41a d’
inversion pour la sélection du linéaire, extension de
N°4 :
moteur d’
assistance la méthodologie
Direction assistée
Modèle direct, conditions Problème non
électrique
N°42a d’
inversion pour la validation du linéaire, extension de
moteur d’
assistance choisi la méthodologie
Modèle direct, conditions

N°5 : Problème non
d’
inversion pour le
N°51 linéaire,
Quart de véhicule dimensionnement de la
méthodologie
suspension
Modèle sans élément

de stockage
d’
énergie en
N°6 :
causalité dérivée
Chaîne de traction
électrique Modèle avec un
élément de stockage
d’
énergie en
causalité dérivée
Analyse structurelle, conditions 2 entrées/ 2 sorties

N°71
N°7 : d’
inversibilité du modèle spécifiées
Chaîne de traction
thermique avec Analyse structurelle, conditions 2 entrées/ 3 sorties
N°72
réducteur continûment d’
inversibilité du modèle spécifiées
variable
Analyse structurelle, conditions 2 entrées/ 1 sortie
N°73
d’
inversibilité du modèle spécifiée
Analyse structurelle, conditions

N°8 : N°81 2 entrées/ 2 sorties
d’
inversibilité du modèle
Chaîne de traction
hybride avec
réducteur fixe puis Analyse structurelle, conditions
N°82a 3 entrées/ 3 sorties
continûment variable d’
inversibilité du modèle
7.3 PLATE FORME DE TEST
Les tests seront réalisés sous les environnements Windows et Linux de manière à éprouver complètement
la portabilité de l’
outil.
F0164-1.2
H H
PD PD
!
W
W
O
O
N
N
y
y
bu
bu
to
to
k
k
lic
lic
C
C
w
w
m
m
w w
w
w
o
o
.d o .c .d o .c
8 ORGANISATION DU PROJET
8.1 DESCRIPTION DE L’OUTIL
L’
outil à développer permettra de réaliser l’
analyse structurelle d’
un modèle au formalisme Bond Graph.
Les données d’entrée de cet outil seront rassemblées dans un fichier XML dont le format sera défini lors de
la phase de conception de l’ outil. Une passerelle permettant d’ importer des fichiers MS1 pourra être
développée, sous réserve de l’
obtention d’ une description du format des fichiers MS1.
L’
outil fournira un diagnostic sur l’ inversibilité structurelle du modèle : lignes de puissance, chemins
causaux, ordre de dérivabilité et contraintes d’orientation des équations.
8.2 PHASES DE REALISATION
8.2.1 PHASE 1 : PHASE DE SPECIFICATIONS GENERALES

Cette phase permettra de définir les fonctionnalités de l’outil d’
analyse structurelle, la nature des données
d’
entrée nécessaires et des résultats de sortie ainsi que les restrictions d’
utilisation.
Elle aboutira à la rédaction du document de spécifications générales.
8.2.2 PHASE 2 :PHASE DE CONCEPTION GENERALE ET DETAILLEE

Au cours de cette phase, l’ensemble des fonctions de l’ outil seront détaillées (description des algorithmes
nécessaires à l’
analyse structurelle ainsi que des formats des fichiers d’entrée et de sortie).
La passerelle avec le code MS1 sera également détaillée au cours de cette phase, le cas échéant.
En sortie il y aura rédaction du document de spécifications détaillées.
8.2.3 PHASE 3 : DEVELOPPEMENT LOGICIEL

Les algorithmes définis au cours de la phase précédente seront codés au cours du développement logiciel.
Le code généré sera commenté et testé unitairement.
A la fin de cette phase, l’ outil testé unitairement sera fonctionnel. Un document de programmation sera
rédigé en vue de faciliter les développements futurs de l’ outil.
Un manuel utilisateur détaillera les procédures d’
installation et les formats de données.
F0164-1.2
H H
PD PD
!
W
W
O
O
N
N
y
y
bu
bu
to
to
k
k
lic
lic
C
C
w
w
m
m
w w
w
w
o
o
.d o .c .d o .c
8.2.4 PHASE 4 : TESTS DE L’OUTIL

Des tests, basés sur le protocole de tests AMPERE-PSA, seront réalisés. A la fin de cette phase, il y aura
fourniture de l’
outil et du plan de test.
8.3 LISTE DES LIVRABLES
• Document de spécifications générales

• Document de conception générale et détaillée
• Document de programmation
• Manuel utilisateur
• Plan de tests
• Outil d’
analyse structurelle
• Passerelle avec le code MS1, le cas échéant
8.4 PLANNING PREVISIONNEL
Afin de respecter les délais impartis pour le projet SIMPA2 (fin du projet en février 2009), ALYOTECH
s’
efforcera de respecter le planning prévisionnel suivant :
Phase Livrable associé Date
Phase 1: Phase de spécifications générales Document de spécifications générales 15/07/2008
Phase 2 :Phase de conception générale et Document de conception générale et 15/09/2008

détaillée détaillée
Phase 3 : Développement logiciel Document de programmation 31/10/2008

Manuel utilisateur
Phase 4 : Tests de l’
outil Plan de tests 28/11/2008
Outil d’
analyse structurelle
Passerelle avec le code MS1, le cas
échéant
F0164-1.2
H H
PD PD
!
W
W
O
O
N
N
y
y
bu
bu
to
to
k
k
lic
lic
C
C
w
w
m
m
w w
w
w
o
o
.d o .c .d o .c
ANNEXE : DOCUMENT [R1]
F0164-1.2

R11886 STBL v1.0 PDF

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

R11886 STBL v1.0 PDF

Hochgeladen von

Copyright:

Verfügbare Formate

H H

SIMPA2 – Outil d’analyse

Imprimé le : 10/09/2008 Réf. : R11886-1.0

Personne Fonction Organisme Visa Date du visa

C. WARTELLE Chef de Projet CRIL TECHNOLOGY

Personne Fonction Organisme Visa Date du visa

C. WARTELLE Chef de Projet CRIL TECHNOLOGY

Personne Fonction Organisme Visa Date du visa

P. GOSSELIN Manager de CRIL TECHNOLOGY

Personne Fonction Organisme Action

Liste des versions et révisions

Version / Révision Date Objet

1.0 15/07/2008 Version initiale

2 DOCUMENTS DE REFERENCE ............................................................................................................... 6

3 TERMINOLOGIE ET SIGLES UTILISES ................................................................................................ 7

7 EXIGENCES CONCERNANT LA QUALIFICATION DU LOGICIEL..................................................18

La spécification technique de besoin permet de spécifier en détail les exigences fonctionnelles,

Ce document présente les spécifications de l’

[R1] Document support pour la spécification et le développement du module d’

3 TERMINOLOGIE ET SIGLES UTILISES

4.1 PRESENTATION DE LA MISSION DU PRODUIT LOGICIEL

Le but de ce logiciel est de :

4.2 EXIGENCES FONCTIONNELLES

4.2.1 CHARGER LA STRUCTURE DU MODELE

- les éléments modules. (éléments à détailler dans [R1])

Pour chaque élément passif :

• 1 égalité entre variables d’

• A détailler dans [R1]

4.2.2 VERIFIER QUE LE MODELE EST UN SYSTEME CARRE

4.2.3 RECHERCHER LES LIGNES DE PUISSANCES E/S

4.2.3.2.1 Constitution du graphe bi-partite

4.2.3.2.2 Suppression des P terminaux

4.2.3.2.3 Parcours du graphe pour déterminer les lignes de puissance E/S

4.2.3.2.4 Recherche des ensembles de lignes de puissance disjointes

• L’ensemble comportera autant de lignes de puissances que d’

4.2.4 RECHERCHER LES CHEMINS CAUSAUX E/S

4.2.4.2.1 Constitution du graphe bi-partite

4.2.4.2.2 Suppression des variables terminales

4.2.4.2.3 Prise en compte des contraintes sur la causalité intégrale

Cet algorithme est à détailler dans [R1].

4.2.4.2.4 Parcours du graphe pour déterminer les chemins causaux E/S

4.2.4.2.5 Recherche des ensembles de chemins causaux disjoints

• Les variables composant ces chemins ne seront impliquées qu’

4.2.5 RECHERCHER L’ORDRE DE DERIVATION DES SORTIES

4.2.5.2.2 Construction du graphe bi-partite

4.2.5.2.3 Orientation des relations

4.2.5.2.4 Ordre des chemins bicausaux et ordre de dérivation des sorties

4.2.6 EDITER LES RESULTATS D’ANALYSE

4.2.7 IMPORTER DES MODELES ISSUS DE MS1

DESCRIPTION DES LIENS :

DESCRIPTION DES ELEMENTS :

La représentation BG de ce modèle est la suivante :

5.1.1 ENVIRONNEMENT MATERIEL

5.1.2 ENVIRONNEMENT LOGICIEL

5.2 MISE EN Œ UVRE

5.3 EXIGENCES DE PROGRAMMATION

Le langage de programmation utilisé sera le C++

6.1 INTERFACES AVEC D’AUTRES PRODUITS LOGICIEL

Aucune interface avec d’

6.2 INTERFACES AVEC DES FICHIERS

Aucune interface directe avec des fichiers n’

6.3 INTERFACES HOMME-MACHINE

Aucune interface Homme-Machine n’