• Aucun résultat trouvé

AEE : un projet pour la conception des logiciels embarqués dans l'automobile

N/A
N/A
Protected

Academic year: 2021

Partager "AEE : un projet pour la conception des logiciels embarqués dans l'automobile"

Copied!
53
0
0

Texte intégral

(1)

HAL Id: inria-00107543

https://hal.inria.fr/inria-00107543

Submitted on 19 Oct 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

AEE : un projet pour la conception des logiciels embarqués dans l’automobile

Françoise Simonot-Lion

To cite this version:

Françoise Simonot-Lion. AEE : un projet pour la conception des logiciels embarqués dans l’automobile.

Journées ASPROM - UIMM ” Logiciels et systèmes embarqués ” 2001, ASPROM - UIMM, 2001, Paris/France, 51 p. �inria-00107543�

(2)

)UDQoRLVH6LPRQRW/LRQ

,13/ /25,$805&156 1DQF\

VLPRQRW#ORULDIU

$63520

/RJLFLHOVHWV\VWqPHVHPEDUTXpV

3DULV HWGpFHPEUH

$((

$UFKLWHFWXUH(OHFWURQLTXH(PEDUTXpH

8QSURMHWSRXUODFRQFHSWLRQGHV

ORJLFLHOVHPEDUTXpVGDQVO¶DXWRPRELOH

(3)

2EMHWV

$FWLYLWpV

3ODQ

&RQWH[WHJpQpUDO

3UREOpPDWLTXHHWPRWLYDWLRQV

6WDQGDUGLVDWLRQGHVDUFKLWHFWXUHV

$,/WUDQVSRUW

1LYHDX[G¶DEVWUDFWLRQG¶XQV\VWqPH

3URMHWYpKLFXOH 1LYHDXIRQFWLRQQHO

(QWUHQLYHDXIRQFWLRQQHOHWQLYHDXG¶LPSODQWDWLRQ

1LYHDXPDWpULHO 1LYHDXORJLFLHO

1LYHDXRSpUDWLRQQHO

&RQFOXVLRQVHWSHUVSHFWLYHV

(4)

3ODQ

&RQWH[WHJpQpUDO

3UREOpPDWLTXHHWPRWLYDWLRQV

6WDQGDUGLVDWLRQGHVDUFKLWHFWXUHV

$,/WUDQVSRUW

1LYHDX[G¶DEVWUDFWLRQG¶XQV\VWqPH

3URMHWYpKLFXOH 1LYHDXIRQFWLRQQHO

(QWUHQLYHDXIRQFWLRQQHOHWQLYHDXG¶LPSODQWDWLRQ

1LYHDXPDWpULHO 1LYHDXORJLFLHO

1LYHDXRSpUDWLRQQHO

&RQFOXVLRQVHWSHUVSHFWLYHV

(5)

&RQWH[WHJpQpUDO

/HVV\VWqPHVpOHFWURQLTXHVHPEDUTXpVGDQVO¶DXWRPRELOH TXHOTXHVFKLIIUHV

• FR€W HOHFWURQLTXH FR€WYpKLFXOH

• PLOOLRQVGHYRLWXUHVSURGXLWHVGDQVOHPRQGH

• IDLEOHSURJUHVVLRQGHODSURGXFWLRQDXWRPRELOH

SURJUHVVLRQGHSDUDQ

•YDOHXUGHVV\VWqPHVpOHFWURQLTXHHQPLOOLDUGV

• YDOHXUGHVV\VWqPHVpOHFWURQLTXHHQPLOOLDUGV

(6)

&RQWH[WHJpQpUDO

/HVV\VWqPHVpOHFWURQLTXHVHPEDUTXpVGDQVO¶DXWRPRELOH

$UFKLWHFWXUHGH FRPPXQLFDWLRQ

&DOFXODWHXUV

'HVIRQFWLRQV

FULWLTXHV

(7)

&RQWH[WHJpQpUDO

$FWHXUVGXGpYHORSSHPHQW

• F\FOHGHGpYHORSSHPHQWSDUWDJpHQWUH

•pTXLSHPHQWLHUV

•FRQVWUXFWHXUV

• UHODWLRQVFRQVWUXFWHXUVpTXLSHPHQWLHUV

•SURSULpWpVLQWHOOHFWXHOOHV

•pFKDQJHGHGRFXPHQWVHWRXSURGXLWV

•ERvWHQRLUHERvWHJULVHERvWHEODQFKH

•FDKLHUGHVFKDUJHVH[LJHQFHVWHVW

(8)

3ODQ

&RQWH[WHJpQpUDO

3UREOpPDWLTXHHWPRWLYDWLRQV

6WDQGDUGLVDWLRQGHVDUFKLWHFWXUHV

$,/WUDQVSRUW

1LYHDX[G¶DEVWUDFWLRQG¶XQV\VWqPH

3URMHWYpKLFXOH 1LYHDXIRQFWLRQQHO

(QWUHQLYHDXIRQFWLRQQHOHWQLYHDXG¶LPSODQWDWLRQ

1LYHDXPDWpULHO 1LYHDXORJLFLHO

1LYHDXRSpUDWLRQQHO

&RQFOXVLRQVHWSHUVSHFWLYHV

(9)

3UREOpPDWLTXHHWPRWLYDWLRQV

*DUDQWLH V€UHWpGH

•3HUVRQQDOLVDWLRQGHVYpKLFXOHV

•'LYHUVLILFDWLRQGHO¶RIIUH

*DUDQWLH TXDOLWpGH

5pGXFWLRQGHVFR€WV

•5pDFWLYLWp FRPSpWLWLYLWp

•,QWURGXFWLRQUDSLGHGHQRXYHDX[VHUYLFHV

)OH[LELOLWp

DUFKLWHFWXUHV GHV

(10)

3UREOpPDWLTXHHWPRWLYDWLRQV

5pGXFWLRQ GHVFR€WV

2SWLPLVHU

• OHPDWpULHO HW

• ODGLVWULEXWLRQ

ORJLFLHOPDWpULHO

) ) )

(&8 (&8

FD F

D (&8 F (&8

D (&8 F

D

)

(&8

FD F (&8 D

)

FD (&8 (&8

F FDOFXODWHXU FDSWHXU

)

(&8 FD

(11)

3UREOpPDWLTXHHWPRWLYDWLRQV

)OH[LELOLWp GHV DUFKLWHFWXUHV

•&RQVWUXLUHXQHDUFKLWHFWXUHSDU FRPSRVLWLRQGHFRPSRVDQWV

© SOXJ DQG SOD\ ª

•5pXWLOLVHUGHVFRPSRVDQWV

FRPSRVDQWVVXUpWDJqUH © &276 ª

(12)

3UREOpPDWLTXHHWPRWLYDWLRQV

0DvWULVHUOHSURFHVVXV GH GpYHORSSHPHQW SDU XQHDSSURFKH

• FRPSRVDQWV

• FRPSRVLWLRQ GHFRPSRVDQWVV\VWqPH VRXVGHVFRQWUDLQWHVGHTXDOLWpHWGHV€UHWp

$VVXUHUO¶LQGpSHQGDQFH

PDWpULHO ORJLFLHO

ORJLFLHO ORJLFLHO

(13)

3UREOpPDWLTXHHWPRWLYDWLRQV

/DERUDWRLUHVGHUHFKHUFKH :

&RQVWUXFWHXUV :

(TXLSHPHQWLHUV :

($'6/DXQFK9HKLFOHV

)LQDQFpSDUOH0LQLVWqUH GHO¶,QGXVWULHVHSWHPEUH GpFHPEUH

KWWSDHHLQULDIU

(14)

3ODQ

&RQWH[WHJpQpUDO

3UREOpPDWLTXHHWPRWLYDWLRQV

6WDQGDUGLVDWLRQGHVDUFKLWHFWXUHV

$,/WUDQVSRUW

1LYHDX[G¶DEVWUDFWLRQG¶XQV\VWqPH

3URMHWYpKLFXOH 1LYHDXIRQFWLRQQHO

(QWUHQLYHDXIRQFWLRQQHOHWQLYHDXG¶LPSODQWDWLRQ

1LYHDXPDWpULHO 1LYHDXORJLFLHO

1LYHDXRSpUDWLRQQHO

&RQFOXVLRQVHWSHUVSHFWLYHV

(15)

$UFKLWHFWXUHORJLFLHOOHHPEDUTXpH VWDQGDUGLVDWLRQ

/LEUDU\6RIWZDUH&RPSRQHQWV /6&

&RPSRVDQWVORJLFLHOVDSSOLFDWLIV $6&

(&8

2SHUDWLQJ6\VWHP 26(.26 'ULYHUV'59%6&

2WKHUV (&8

*HVWLRQQDLUHGH FRPPXQLFDWLRQ

&206&

26(.&20

1HWZRUNV /RFDO'HYLFHV

$FWXDWRU6HQVRU

*HVWLRQQDLUHORFDOGH FDSWHXU DFWLRQQHXU /'06&

*HVWLRQQDLUH GHV pFKDQJHV LQWHUFRPSRVDQWV ,QWHU&RPSRQHQW([FKDQJH0DQDJHU,&(0

(16)

3ODQ

&RQWH[WHJpQpUDO

3UREOpPDWLTXHHWPRWLYDWLRQV

6WDQGDUGLVDWLRQGHVDUFKLWHFWXUHV

$,/WUDQVSRUW

1LYHDX[G¶DEVWUDFWLRQG¶XQV\VWqPH

3URMHWYpKLFXOH 1LYHDXIRQFWLRQQHO

(QWUHQLYHDXIRQFWLRQQHOHWQLYHDXG¶LPSODQWDWLRQ

1LYHDXPDWpULHO 1LYHDXORJLFLHO

1LYHDXRSpUDWLRQQHO

&RQFOXVLRQVHWSHUVSHFWLYHV

(17)

2XWLO 9DOLGDWLRQ 2XWLO *pQWHVW

2XWLO 6SpFLILFDWLRQ

développement

6SpFLILFDWLRQ V\VWqPH

&RQFHSWLRQ 6\VWqPH

9DOLGDWLRQ V\VWqPH ,QWpJUDWLRQ V\VWqPH

7HVWHXU

2XWLO FDOLEUDWLRQ

&RGH

$QDO\VHXUGH

*pQpUDWHXU FRGH GHFRGH

Architecture -

$,/B7UDQVSRUW

2XWLO 9DOLGDWLRQ

2XWLO SODFHPHQW 2XWLO (YDOXDWLRQGH

SHUIRUPDQFHV

(18)

$,/B7UDQSRUW

• 'pILQLW XQ UpIpUHQWLHO FRPPXQ SRXUPRGpOLVHUWRXWRX SDUWLHG¶XQHDUFKLWHFWXUHpOHFWURQLTXHHPEDUTXpH

• )DFLOLWHOHVpFKDQJHV HQWUHOHVDFWHXUV

• (VWXWLOLVpjWRXWHpWDSH GXSURFHVVXVGHGpYHORSSHPHQW

$UFKLWHFWXUH,PSOHPHQWDWLRQ/DQJXDJH

SRXUOHV DSSOLFDWLRQV GDQVOHGRPDLQH GXWUDQVSRUW

$,/B7UDQVSRUW

'LDJUDPPH GHFODVVHV80/

(19)

3ODQ

&RQWH[WHJpQpUDO

3UREOpPDWLTXHHWPRWLYDWLRQV

6WDQGDUGLVDWLRQGHVDUFKLWHFWXUHV

$,/WUDQVSRUW

1LYHDX[G¶DEVWUDFWLRQG¶XQV\VWqPH

3URMHWYpKLFXOH 1LYHDXIRQFWLRQQHO

(QWUHQLYHDXIRQFWLRQQHOHWQLYHDXG¶LPSODQWDWLRQ

1LYHDXPDWpULHO 1LYHDXORJLFLHO

1LYHDXRSpUDWLRQQHO

&RQFOXVLRQVHWSHUVSHFWLYHV

(20)

1LYHDX[G·DEVWUDFWLRQG·XQV\VWqPH

• 'pILQLVVHQWGHVSRLQWVGHYXHVXUWRXWRXSDUWLHG¶XQH DUFKLWHFWXUHpOHFWURQLTXHHPEDUTXpH

• 5HOqYHQWGHFDGUHVG¶XWLOLVDWLRQGLIIpUHQWV

•XQHYXHGHEDVQLYHDX GpFULYDQWOHV\VWqPHWHOTX¶LOHVW

•XQHYXHLQWHUPpGLDLUH GpFULYDQWOHV\VWqPHVRXVVRQDQJOH ORJLFLHOHWPDWpULHO

•XQHYXHGHKDXWQLYHDX VSpFLILFDWLRQGXSURGXLW VSpFLILFDWLRQ IRQFWLRQQHOOH

(21)

1LYHDX[G·DEVWUDFWLRQG·XQV\VWqPH

1LYHDXSURMHW

1LYHDXIRQFWLRQQHO

/RJLFLHO

DSSOLFDWLI 1LYHDX

ORJLFLHO 1LYHDXRSpUDWLRQQHO

$UFKLWHFWXUH PDWpULHOOH

1LYHDX PDWpULHO

/RJLFLHO VXSSRUW

$UFKLWHFWXUH G¶LQVWUXPHQWDWLRQ

(22)

3ODQ

&RQWH[WHJpQpUDO

3UREOpPDWLTXHHWPRWLYDWLRQV

6WDQGDUGLVDWLRQGHVDUFKLWHFWXUHV

$,/WUDQVSRUW

1LYHDX[G¶DEVWUDFWLRQG¶XQV\VWqPH

3URMHWYpKLFXOH 1LYHDXIRQFWLRQQHO

(QWUHQLYHDXIRQFWLRQQHOHWQLYHDXG¶LPSODQWDWLRQ

1LYHDXPDWpULHO 1LYHDXORJLFLHO

1LYHDXRSpUDWLRQQHO

&RQFOXVLRQVHWSHUVSHFWLYHV

(23)

$,/B7UDQVSRUW2EMHWVDX QLYHDXSURMHWYpKLFXOH

SHUPHWWHQW GH PRGpOLVHU OD YDULpWp GHVGLIIpUHQWV YpKLFXOHVG¶XQSURMHW JDPPH VXLYDQW

• OH W\SHOX[HVWDQGDUG«

• OHVFKRL[RIIHUWV DXFOLHQWDOWHUQDWLYHRXRSWLRQ

•Un YpKLFXOH est la réalisation d’un ensemble de SUHVWDWLRQV

•Suivant le W\SH du véhicule, des SUHVWDWLRQV sont fournies ou en options

•Une SUHVWDWLRQ peut se décliner en plusieurs YHUVLRQV

•Suivant le W\SH du véhicule, une SUHVWDWLRQ possible est fournie dans une YHUVLRQ imposée ou choisie par le client parmi des YHUVLRQV proposées

(24)

$,/B7UDQVSRUW2EMHWVDX QLYHDXSURMHWYpKLFXOH

SUHVWDWLRQ

YHUVLRQG¶XQHSUHVWDWLRQ

6HUYLFH 9DULDQW

SURMHWYpKLFXOH 3URMHFW

W\SHGH YpKLFXOH YpKLFXOH

6\VWHP7\SH 6\VWHP

VHGpFOLQH HQ

VHUDYHQGX VRXVSOXVLHXUV

(25)

FHTXHSHXW DFKHWHUXQ FOLHQW

$,/B7UDQVSRUW2EMHWVDX QLYHDXSURMHWYpKLFXOH

SUHVWDWLRQ

YHUVLRQG¶XQHSUHVWDWLRQ

6HUYLFH 9DULDQW

SURMHWYpKLFXOH 3URMHFW

W\SHGH YpKLFXOH 6\VWHP7\SH

YpKLFXOH 6\VWHP

HVWXQ

HQVHPEOH SRVVLEOH

GH

(26)

$,/B7UDQVSRUW$FWLYLWpV DX QLYHDXSURMHWYpKLFXOH

• YDOLGDWLRQGHFRKpUHQFH

H[HPSOHWRXWV\VWqPHpOHFWURQLTXHSRVVLEOHREMHW 6\VWHP HPEDUTXp GDQVXQYpKLFXOHG¶XQH JDPPH GRQQpH REMHW 3URMHFW

UpIqUHGHVSUHVWDWLRQV REMHW 6HUYLFHH[LVWDQWHV

GDQVXQH YHUVLRQREMHW 9DULDQW H[LVWDQWH HWSRVVLEOHSRXU OHW\SHGXYpKLFXOHREMHW 6\VWHP7\SHHWODSUHVWDWLRQ FKRLVLH

• GRFXPHQWDWLRQ

(27)

$,/B7UDQVSRUW2EMHWVDX QLYHDXIRQFWLRQQHO

SHUPHWWHQW GHPRGpOLVHUODVSpFLILFDWLRQIRQFWLRQQHOOH G¶XQYpKLFXOHGRQQpDEVWUDFWLRQIDLWHGHODGLVWULEXWLRQ HWGHO¶LPSODQWDWLRQ

• chaque YHUVLRQ d’une SUHVWDWLRQ est réalisée par une IRQFWLRQ

• il peut y avoir (lors des études) plusieurs solutions alternatives

• à chaque YpKLFXOH correspond plusieurs “RUJDQLVDWLRQV” d’un ensemble de fonctions

•il peut y avoir (lors des études) plusieurs solutions alternatives

(28)

$,/B7UDQVSRUW2EMHWVDX QLYHDXIRQFWLRQQHO

• WRXWHIRQFWLRQHVWpYHQWXHOOHPHQW

FRQVRPPDWULFH GH GRQQpHVIRQFWLRQQHOOHV HQ HQWUpHV

SURGXFWULFH GH GRQQpHVIRQFWLRQQHOOHV HQVRUWLHV

• OHPRGqOHVXSSRUWHXQHVSpFLILFDWLRQKLpUDUFKLTXH

• OHPRGqOHVXSSRUWHOHVHQWLWpVVRXUFHHWSXLWVGH GRQQpHVFDSWHXUVDFWLRQQHXUV

• O¶RUJDQLVDWLRQGHVIRQFWLRQVUHSRVHVXUOHVIOX[GH

GRQQpHVHQWUHFHVIRQFWLRQV

(29)

$,/B7UDQVSRUW2EMHWVDX QLYHDXIRQFWLRQQHO

IRQFWLRQ

GRQQpHVFRQVRPPpHV

)XQFWLRQ

GRQQpHVSURGXLWHV

)XQFWLRQDO,QSXW )XQFWLRQDO2XWSXW

FDSWHXU DFWLRQQHXU 'HYLFH

FRQVRPPH

SURGXLW VHGpFRPSRVH HQ

(30)

$,/B7UDQVSRUW2EMHWVDX QLYHDXIRQFWLRQQHO

&RQQH[LRQ IRQFWLRQ IRQFWLRQ IRQFWLRQ GHYLFH

IOX[GH GRQQpHV

)XQFWLRQDO)ORZ RUJDQLVDWLRQGHV

IRQFWLRQVYpKLFXOH )XQFWLRQDO$UFKLWHFWXUH

)XQFWLRQ

FRQWLHQWGHV

)XQFWLRQDO,QSXW )XQFWLRQDO2XWSXW

HVWUHOLpHjG¶DXWUHVIRQFWLRQV RXGHYLFHSDUVHV

YLDGHV

(31)

$,/B7UDQVSRUW$FWLYLWpV DX QLYHDXIRQFWLRQQHO

• YDOLGDWLRQGHFRKpUHQFH

H[HPSOHGDQVXQHV\VWqPHHPEDUTXpREMHW )XQFWLRQDO$UFKLWHFWXUH WRXWHGRQQpHFRQVRPPpHREMHW)XQFWLRQDO,QSXWSDUXQH IRQFWLRQ REMHW)XQFWLRQHVWSURGXLWHREMHW)XQFWLRQDO 2XWSXWSDUXQHIRQFWLRQRXXQGHYLFH

• YDOLGDWLRQGHVVSpFLILFDWLRQVIRQFWLRQQHOOHV

FRQQH[LRQ jXQRXWLOPDFKLQHjpWDWVSURXYHXU

• GRFXPHQWDWLRQ

(32)

3ODQ

&RQWH[WHJpQpUDO

3UREOpPDWLTXHHWPRWLYDWLRQV

6WDQGDUGLVDWLRQGHVDUFKLWHFWXUHV

$,/WUDQVSRUW

1LYHDX[G¶DEVWUDFWLRQG¶XQV\VWqPH

3URMHWYpKLFXOH 1LYHDXIRQFWLRQQHO

(QWUHQLYHDXIRQFWLRQQHOHWQLYHDXG¶LPSODQWDWLRQ

1LYHDXPDWpULHO 1LYHDXORJLFLHO

1LYHDXRSpUDWLRQQHO

&RQFOXVLRQVHWSHUVSHFWLYHV

(33)

$,/B7UDQVSRUWGXQLYHDXIRQFWLRQQHO DXQLYHDXGH O·LPSODQWDWLRQ

&RPSRVDQWV ORJLFLHOV

&RPSRVDQWV GLVWULEXDEOHV

'HYLFH 'HYLFH 'HYLFH

•&DSWHXUV $FWLRQQHXUV

&RPSRVDQWV PDWpULHOV

&RPSRVDQWV GpGLpV 'HYLFH

'HYLFH 'HYLFH

(34)

$,/B7UDQVSRUWGXQLYHDXIRQFWLRQQHO DXQLYHDXGH O·LPSODQWDWLRQ

&RPSRVDQWV ORJLFLHOV

&RPSRVDQWV

•&DOFXODWHXU

&RPSRVDQWV PDWpULHOV

&RPSRVDQWV 'HYLFH

'HYLFH(&8

'HYLFH 'HYLFH(&8 'HYLFH

'HYLFH 'HYLFH

(35)

$,/B7UDQVSRUWGXQLYHDXIRQFWLRQQHO DXQLYHDXGH O·LPSODQWDWLRQ

&RPSRVDQWV ORJLFLHOV

&RPSRVDQWV GLVWULEXDEOHV

•0R\HQVGHFRPPXQLFDWLRQ

&RPSRVDQWV PDWpULHOV

&RPSRVDQWV GpGLpV 'HYLFH

'HYLFH 1HWZRUN

'HYLFH 'HYLFH 1HWZRUN 'HYLFH

'HYLFH(&8 'HYLFH

'HYLFH 'HYLFH

(36)

$,/B7UDQVSRUWGXQLYHDXIRQFWLRQQHO DXQLYHDXGH O·LPSODQWDWLRQ

&RPSRVDQWV ORJLFLHOV

&RPSRVDQWV

•&RPSRVDQWVORJLFLHOVDSSOLFDWLIV

&RPSRVDQWV PDWpULHOV

&RPSRVDQWV 'HYLFH

'HYLFH$6&

'HYLFH 'HYLFH 1HWZRUN 'HYLFH

'HYLFH(&8

'HYLFH 'HYLFH$6&

'HYLFH 'HYLFH 'HYLFH

(37)

$,/B7UDQVSRUWGXQLYHDXIRQFWLRQQHO DXQLYHDXGH O·LPSODQWDWLRQ

&RPSRVDQWV ORJLFLHOV

&RPSRVDQWV GLVWULEXDEOHV

•*HVWLRQQDLUHORFDOGHVFDSWHXUVDFWLRQQHXUV

&RPSRVDQWV PDWpULHOV

&RPSRVDQWV GpGLpV 'HYLFH

'HYLFH/'0

'HYLFH 'HYLFH 1HWZRUN 'HYLFH

'HYLFH(&8

'HYLFH 'HYLFH$6&

'HYLFH 'HYLFH 'HYLFH

'HYLFH 'HYLFH/'0

(38)

$,/B7UDQVSRUWGXQLYHDXIRQFWLRQQHO DXQLYHDXGH O·LPSODQWDWLRQ

&RPSRVDQWV ORJLFLHOV

&RPSRVDQWV

•'LYHUVPpFDQLVPHVH[pFXWLIV

&RPSRVDQWV PDWpULHOV

&RPSRVDQWV 'HYLFH

'HYLFH 'ULYHU

'HYLFH 'HYLFH 1HWZRUN 'HYLFH

'HYLFH(&8

'HYLFH 'HYLFH$6&

'HYLFH 'HYLFH

&206&

'HYLFH 'HYLFH

,&(0 266&'HYLFH'HYLFH 'HYLFH

'HYLFH/'0 'HYLFH 'HYLFH 'HYLFH

'HYLFH 'HYLFH

'ULYHU &206&'HYLFH'HYLFH ,&(0'HYLFH'HYLFH 266&'HYLFH'HYLFH

(39)

3ODQ

&RQWH[WHJpQpUDO

3UREOpPDWLTXHHWPRWLYDWLRQV

6WDQGDUGLVDWLRQGHVDUFKLWHFWXUHV

$,/WUDQVSRUW

1LYHDX[G¶DEVWUDFWLRQG¶XQV\VWqPH

3URMHWYpKLFXOH 1LYHDXIRQFWLRQQHO

(QWUHQLYHDXIRQFWLRQQHOHWQLYHDXG¶LPSODQWDWLRQ

1LYHDXPDWpULHO 1LYHDXORJLFLHO

1LYHDXRSpUDWLRQQHO

&RQFOXVLRQVHWSHUVSHFWLYHV

(40)

$,/B7UDQVSRUW2EMHWVDX QLYHDXORJLFLHO

SHUPHWWHQW GHPRGpOLVHUODSDUWLHGXV\VWqPHUpDOLVpH VRXVIRUPHGHORJLFLHO

• le modèle doit permettre la distinction entre logiciel GLVWULEXDEOH et logiciel GpGLp

•la plus petite entité modélisée au niveau logiciel doit correspondre à une HQWLWp GH SURJUDPPDWLRQ (génération de code)

•les FRRSpUDWLRQV entre fonctions au niveau fonctionnel se retrouvent au niveau logiciel

(41)

$,/B7UDQVSRUW2EMHWVDX QLYHDXORJLFLHO

FRPSRVDQWORJLFLHO

GRQQpHVFRQVRPPpHV GRQQpHVSURGXLWHV

6RIWZDUH,QSXW 6RIWZDUH2XWSXW

6RIWZDUH&RPSRQHQW

FRQQH[LRQHQWUH FRPSRVDQWV

ORJLFLHOV

RUJDQLVDWLRQGHV

FRPSRVDQWV ORJLFLHOV $OORFDWDEOH&RPSRQHQWV

$UFKLWHFWXUH

6RIWZDUH)ORZ

(42)

$,/B7UDQVSRUW2EMHWVDX QLYHDXORJLFLHO

8QFRPSRVDQWORJLFLHO 6RIWZDUHFRPSRQHQW

FRPSRVDQWDSSOLFDWLI JHVWLRQQDLUH ORFDOGH FDSWHXUDFWLRQQHXU

$6&

«SHXWrWUHXQ

FRPSRVDQWGLVWULEXDEOH F¶HVWjGLUHXQ

/'0

)UHH6RIWZDUHFRPSRQHQW

(43)

$,/B7UDQVSRUW2EMHWVDX QLYHDXORJLFLHO

8QFRPSRVDQWORJLFLHO 6RIWZDUHFRPSRQHQW

FRPSRVDQWGX

JHVWLRQQDLUHG¶pFKDQJH GULYHUG¶(6

,&(0

«SHXWrWUHDXVVLXQFRPSRVDQWGpGLpjXQ FDOFXODWHXU

F¶HVWjGLUHXQ

'ULYHU &206&

FRPSRVDQW GXV\VWqPH

G¶H[SORLWDWLRQ 266&

(44)

$,/B7UDQVSRUW2EMHWVDX QLYHDXORJLFLHO

/RJLFDO7DVN

&DUDFWpULVpHSDU PRGHG¶DFWLYDWLRQ

:&(7W\SHGHSURFHVVHXU

SDUDPqWUHVG¶RUGRQQDQFHPHQW

8QFRPSRVDQWORJLFLHO 6RIWZDUHFRPSRQHQW

HQWLWpV GH

SURJUDPPDWLRQ

HVWFRQVWLWXpGH

(45)

$,/B7UDQVSRUW$FWLYLWpV DX QLYHDXORJLFLHO

• YDOLGDWLRQGHFRKpUHQFH

• JpQpUDWLRQ GHFRGH

• GRFXPHQWDWLRQ

(46)

$,/B7UDQVSRUW 2EMHWVDX QLYHDXPDWpULHO

SHUPHWWHQW GHPRGpOLVHUODSDUWLHGXV\VWqPHUpDOLVpH VRXVIRUPHGHPDWpULHO

• le modèle décrit les calculateurs (micro-contrôleurs) et les réseaux

•le modèle décrit la connexion des calculateurs sur les réseaux

(47)

$,/B7UDQVSRUW 2EMHWVDX QLYHDXPDWpULHO

FDOFXODWHXU UpVHDX

(&8

1HWZRUN

FRQQH[LRQGH FDOFXODWHXUVXU

UpVHDX 1HWZRUN&RQQHFWLRQ

(48)

$,/B7UDQVSRUW$FWLYLWpV DX QLYHDXPDWpULHO

• YDOLGDWLRQGHFRKpUHQFH

• FDOFXOGHFR€WV

• GpULYDWLRQGHVSODQVGHFkEODJH

• GRFXPHQWDWLRQ

(49)

3ODQ

&RQWH[WHJpQpUDO

3UREOpPDWLTXHHWPRWLYDWLRQV

6WDQGDUGLVDWLRQGHVDUFKLWHFWXUHV

$,/WUDQVSRUW

1LYHDX[G¶DEVWUDFWLRQG¶XQV\VWqPH

3URMHWYpKLFXOH 1LYHDXIRQFWLRQQHO

(QWUHQLYHDXIRQFWLRQQHOHWQLYHDXG¶LPSODQWDWLRQ

1LYHDXPDWpULHO 1LYHDXORJLFLHO

1LYHDXRSpUDWLRQQHO

&RQFOXVLRQVHWSHUVSHFWLYHV

(50)

$,/B7UDQVSRUW2EMHWVDX QLYHDXRSpUDWLRQQHO

SHUPHWWHQW GHPRGpOLVHUODSURMHFWLRQGHVWkFKHV ORJLTXHVVXUOHVFDOFXODWHXUV

• OHPRGqOHUHSUpVHQWHGRQFOHVWkFKHV DXVHQV G¶XQV\VWqPHH[pFXWLIFI26(.

• OHPRGqOHUHSUpVHQWH SDU FRQVpTXHQWOHVWUDPHV FLUFXODQWVXUOHVUpVHDX[SURMHFWLRQGHIOX[GH

GRQQpHVORJLFLHOOHVpFKDQJpHVSDUGHVWkFKHV

ORJLTXHVGLVWDQWHV

(51)

(&8 (&8

$,/B7UDQVSRUW2EMHWVDX QLYHDXRSpUDWLRQQHO

1LYHDXORJLFLHO1LYHDXPDWpULHO 1LYHDXRSpUDWLRQQHO 267DVN

267DVN

267DVN

267DVN

7kFKHV26

)UDPH

7UDPHV

$6& $6& $6&

$6&

&RPSRVDQWV ORJLFLHOV

IOX[ORJLFLHOV

7kFKHV

ORJLTXHV

(52)

$,/B7UDQVSRUW$FWLYLWpV DX QLYHDXRSpUDWLRQQHO

• YDOLGDWLRQGHFRKpUHQFH

• SODFHPHQWDXWRPDWLTXH

• YDOLGDWLRQGHSURSULpWpVWHPSVUpHOpYDOXDWLRQGH SHUIRUPDQFHV

• GRFXPHQWDWLRQ

(53)

&RQFOXVLRQVHWSHUVSHFWLYHV

• $,/B7UDQVSRUWXQODQJDJHGHUpIpUHQFH SRXUPRGpOLVHU OHVV\VWqPHVpOHFWURQLTXHVHPEDUTXpVGDQVO¶DXWRPRELOH

•PDvWULVHGHODGLYHUVLWpGHVV\VWqPHV

•IDFLOLWHOHVpFKDQJHVFRQVWUXFWHXUVpTXLSHPHQWLHUV

• YDOLGDWLRQVXUGHVSURWRW\SHVRXWLOVGHSODFHPHQW G¶pYDOXDWLRQGHSHUIRUPDQFHVGHGRFXPHQWDWLRQ GpPRQVWUDWHXUV

• VWDQGDUGLVDWLRQ80/3URILOH;0/$SSOLFDWLRQ

• SURMHWHXURSpHQ ,7($ ($67(($

Références

Documents relatifs

[r]

4) Déterminer les ensembles des expressions produites et supprimées pour chaque bloc 5) Déterminer l'ensemble des expressions disponibles au début et à la fin de chaque bloc 6)

On veut produire un analyseur syntaxique qui ne traite que les définitions et appels de fonctions et méthodes dans un programme C++. Pour simplifier, on

Question 1 : calculer en moyenne la durée d’un cycle CSMA/CA (sans backoff) pour la norme 802.11g pour un terminal qui utilise le service de téléchargement. Ce terminal est connecté

Question 2 : calculer en moyenne la durée d’un cycle CSMA/CA (sans backoff) pour la norme 802.11g pour un terminal sur un réseau dont la taille maximale des paquets est égale à

Pour le choix du modèle, quel gain minimum d’émission doit-on avoir pour obtenir un débit nominal de 1000 kbps à la réception de chaque antenne (en dB) en tenant

Par ailleurs, certains processeurs ne signalent pas toutes leurs exceptions logicielles en particulier lorsque celles-ci sont de type « auto-vectorisé », en général sur

Ainsi, grâce au TSC nous pouvons identifier les composants et interfaces à modéliser ainsi que les exigences et mécanismes à évaluer dans le cadre de