Explorer les Livres électroniques
Catégories
Explorer les Livres audio
Catégories
Explorer les Magazines
Catégories
Explorer les Documents
Catégories
Equipementiers :
+ EADS Launch Vehicles
Coût de l’électronique
• = 20%
Coût du véhicule
Des fonctions
critiques
Architecture de
communication
Complexité architecturale
• Nombre et hétérogénéité des calculateurs et réseaux
• Diversité des contraintes comportementales et temporelles
Complexité inter-systèmes
Accroissement de la criticité
Acteurs du développement
… du produit Flexibilité
des
• Qualité architectures
• Sûreté
ECU : calculateur
c : capteur c ECU c ECU c ECU c
a a a ECU a
a : actionneur
GDR ARP – STRQDS / 16 janvier 2003 8
Françoise Simonot-Lion - LORIA
Jean-Pierre Elloy – Yvon Trinquet - IRCCyN
2.2 - Le processus
… d’intégration
… d’échange
• Délimitation de sous-architectures
• Négociation de compatibilité d’exigences
• Modélisation externe de prestations
• Fourniture de boîtes blanches, grises ou noires
Outil - Validation
Outil - Gén. test Spécification Validation
Outil système système Testeur
Spécification
Conception Intégration
Outil - Validation Système système
Outil - placement Outil - calibration
Outil - développement
Evaluation de
performances
Code
Analyseur de
Générateur
code
de code
Description de
GDR ARP – STRQDS / 16 janvier 2003
Françoise Simonot-Lion - LORIA
l’architecture 10
Jean-Pierre Elloy – Yvon Trinquet - IRCCyN
3.2 - Le dénominateur commun
Description de
l’architecture
AIL_Transport :
AIL Architecture Implementation Language
pour les applications dans le domaine du transport
Couche projet
Couche fonctionnelle
Logiciel
support Architecture
matérielle
Logiciel Couche
applicatif
Architecture Couche
logicielle d’instrumentation matérielle
Couche opérationnelle
se décline
prestation Service en ...
sera vendu
sous
plusieurs ...
projet véhicule Project
véhicule System
est un
prestation Service ensemble
possible
de ...
version d’une prestation Variant
ce que peut
véhicule System acheter un
client
GDR ARP – STRQDS / 16 janvier 2003 16
Françoise Simonot-Lion - LORIA
Jean-Pierre Elloy – Yvon Trinquet - IRCCyN
AIL Classes de la couche « Projet »
v 2.5
• Vérification de cohérence
exemple: tout système électronique possible (objet System) embarqué
dans un véhicule d’une gamme donnée (objet Project)
réfère des prestations (objet Service) existantes
dans une version (objet Variant) existante et possible pour
le type du véhicule (objet SystemType) et la prestation
choisie
• Documentation
se décompose
en ...
fonction Function
consomme
Function
est reliée à d’autres fonctions
ou à l’instrumentation par ses ...
Ports d’entrées-sorties
Flots de données
(types des données échangées)
Compatibilité applicative
GDR ARP – STRQDS / 16 janvier 2003 (entre données de types 22
Françoise Simonot-Lion - LORIA
Jean-Pierre Elloy – Yvon Trinquet - IRCCyN
AIL Classes de la couche « Fonctionnelle »
v 2.5
Diagramme de contexte
Environnement
du diagramme
GDR ARP – STRQDS / 16 janvier 2003 23
Françoise Simonot-Lion - LORIA
Jean-Pierre Elloy – Yvon Trinquet - IRCCyN
Activités sur la couche
« Fonctionnelle »
• Vérification de cohérence
exemple: dans une système embarqué (objet FunctionalArchitecture)
toute donnée consommée (objet Functional Input) par une
fonction (objet Function) est produite (objet Functional
Output) par une fonction ou par un capteur (objet Device)
• Documentation
Device
Device Device
Device Device
Device Device
Device
Driver COM-SC ICEM OS-SC
Composants
matériels Device
Device Device
Device Device
Device
Device ECU Network
Device
Device Device
Device
Composants Device Device Driver COM-SC
Device Device
logiciels ASC LDM Device
Device Device
Device
ICEM OS-SC
Composants Composants
distribuables dédiés
GDR ARP – STRQDS / 16 janvier 2003 25
Françoise Simonot-Lion - LORIA
Jean-Pierre Elloy – Yvon Trinquet - IRCCyN
AIL Classes de la couche « Logicielle »
c’est-à-dire un :
• composant applicatif ASC
• gestionnaire local de
capteur ou actionneur LDM
Architecture des
composants
allouables
Ensemble des
composants
logiciels
Ensemble des
composants logiciels
GDR ARP – STRQDS / 16 janvier 2003allouables 29
Françoise Simonot-Lion - LORIA
Jean-Pierre Elloy – Yvon Trinquet - IRCCyN
AIL Classes de la couche « Logicielle »
composant du ICEM
gestionnaire d’échange
composant du système OS SC
d’exploitation
GDR ARP – STRQDS / 16 janvier 2003 30
Françoise Simonot-Lion - LORIA
Jean-Pierre Elloy – Yvon Trinquet - IRCCyN
Classes de la
AIL couche « Logicielle »
v 2.5
Couche « Matérielle »
Architecture des
composants du
support d’exécution
Ensemble des
composants
logiciels
Utilitaires du
support d’exécution
GDR ARP – STRQDS / 16 janvier 2003 31
Françoise Simonot-Lion - LORIA
Jean-Pierre Elloy – Yvon Trinquet - IRCCyN
AIL Classes de la couche « Logicielle »
Tâche
logique
… déclenchée
… déclenchée sur condition
sur condition temporelle
GDR ARP – STRQDS / 16 janvier 2003 33
Françoise Simonot-Lion - LORIA événementielle
Jean-Pierre Elloy – Yvon Trinquet - IRCCyN
Activités sur la couche
« Logicielle »
• Vérification de cohérence
exemple: chaque donnée produite par une fonction (objet Function) de
la couche fonctionnelle est produite par une tâche logique
(objet Logical Task) dérivée de cette fonction.
• Documentation
calculateur ECU
réseau Network
connexion de
calculateur sur Network Connection
réseau
capteur et Device
actionneur
Equipment
Composants matériels
du support d’exécution
Réseaux
Calculateurs
Dépendance
technologique Composants logiciels
Nom
Capteurs et logique
actionneurs
établi après
placement Connexion
à l’ECU
Matériel du support
GDR ARP – STRQDS / 16 janvier 2003 38
Françoise Simonot-Lion - LORIA
d’exécution
Jean-Pierre Elloy – Yvon Trinquet - IRCCyN
Activités sur la couche
« Matérielle »
• Vérification de cohérence
• Documentation
1
Couche logicielle
Composants
logiciels ASC#2 2 1
ASC#2 ASC#3 ASC#4
• flots logiciels
1
1 1 1 1
• tâches 2
logiques 2 2 2
3
Couche opérationnelle
OS-Task
#1 #2 #3 #4
1 2 1 2
Tâches OS 1 2 1
3 ECU#1 2 ECU#2
Trames Frame#1 1 2
GDR ARP – STRQDS / 16 janvier 2003 41
Françoise Simonot-Lion - LORIA
Jean-Pierre Elloy – Yvon Trinquet - IRCCyN
AIL Architecture « Opérationnelle » d’un site
Operating System
Gestionnaire des échanges inter composants
Inter Component Exchange Manager (ICEM)
OSEK-OS
L-SC
Gestionnaire local de
capteur / actionneur (LDM-SC) Gestionnaire de
communication
(COM-SC)
Drivers (DRV-BSC) OSEK-COM
ECU
Others
Local Devices
ECU
(Actuator/Sensor)
Networks
Tâche OS
(temps réel)
Trame réseau
Donnée répartie
• Vérification de cohérence
• Documentation
ij \[
k
EF BAC
GG
H D
um qrr
no st
q
lm
Points durs
yu lvw npo
zz
{ x
!
49
®²¯ ÉȨ̀
° Ê
»
±»°¼ ¸¹
²½ º
®¯ recouvrement
²Â ³ ±°²
®²¯ ²²µ½ À¿¿
° ¶ ³Á ¯
·
]\_^ ZY ¦ª©«
ü ¬
·Ä
º̧
²ÅÅ Ȩ̀
¾² ǢÇ ÊÉ
»» ¸¹ RQS
· º T
}~| RVUW ²ÅÅ ³¿¿
X Ǣ ÀÁ
} ³ 76854
¾²
ÅÅ
ǢÇ 9:
#$
%'&
h »» ¸¹
jilk fg tuv · º $(" !
wyx *)
zw{
KL
MJI
£¤ ¡¢ NO
¢ £ PH
¡
¢
à
cbd
e
>=?
@< ;
AB ..-
? /0,+
¢ 213
m
onp EFDC
rsq HG
50
Points durs …
• Cohérence fonctionnelle, comportementale et temporelle entre la
spécification qui est décrite dans la couche fonctionnelle et la
conception décrite dans la couche opérationnelle.
•…
GDR ARP – STRQDS / 16 janvier 2003 51
Françoise Simonot-Lion - LORIA
Jean-Pierre Elloy – Yvon Trinquet - IRCCyN
… la suite