Professional Documents
Culture Documents
AFDX Networks: By: J. Javier Gutiérrez
AFDX Networks: By: J. Javier Gutiérrez
DE CANTABRIA
AFDX networks
By: J. Javier Gutirrez (gutierjj@unican.es)
Computers and Real-Time Group, University of Cantabria
ArtistDesign Workshop on Real-Time System Models for
Schedulability Analysis
Santander, 7-8 February 2011
GRUPO DE COMPUTADORES Y TIEMPO REAL
UNIVERSIDAD DE CANTABRIA
UNIVERSIDAD
DE CANTABRIA
UNIVERSIDAD
DE CANTABRIA
Each virtual link has a FIFO queue for all the fragmented packets:
the same VL can be shared by several ports, tasks or partitions
- It can cause a poor schedulability of the system
Maximum jitter
UNIVERSIDAD
DE CANTABRIA
( ( 20 + Lmax i ) 8 )
i { set of VLs }
Ethernet frame
UNIVERSIDAD
DE CANTABRIA
64 bytes
7 bytes
1 byte
6 bytes
Start
Destination
Preamble Frame
Delimiter Address
6 bytes
Source
Address
46 bytes
2 bytes
Type
(0x800
IP V4)
IP
Structure
20 bytes
UDP
Structure
4 bytes
AFDX Payload
1 to 17 bytes
Padding
0 to 16
SN
1
Frame
Check
Seq
12 bytes
Inter Frame Gap
8 bytes
1518 bytes
6 bytes
1 byte
Start
Destination
Preamble Frame
Delimiter Address
7 bytes
6 bytes
Source
Address
2 bytes
Type
(0x800
IP V4)
1500 bytes
IP
Structure
20 bytes
UDP
Structure
AFDX Payload
1471 bytes
4 bytes
Frame
SN
Check
1
Seq
12 bytes
Inter Frame Gap
8 bytes
Sub-Virtual Links
UNIVERSIDAD
DE CANTABRIA
UNIVERSIDAD
DE CANTABRIA
AFDX switch
UNIVERSIDAD
DE CANTABRIA
UNIVERSIDAD
DE CANTABRIA
Modelling
UNIVERSIDAD
DE CANTABRIA
10
Modelling (contd)
UNIVERSIDAD
DE CANTABRIA
hardware parameters
11
Latency Model
UNIVERSIDAD
DE CANTABRIA
CSend
LVL
AFDX API
Ethernet
Hardware
LTr
LSW
LTr
LRec
CReceive
Ethernet
Hardware
AFDX API
Physical Links
12
AFDX in MAST-2
UNIVERSIDAD
DE CANTABRIA
Processing Resources
- Network: AFDX_Link
- Network_Switch: AFDX_Switch
Scheduling Policy
- AFDX_Policy
Scheduling Parameter
- AFDX_Virtual_Link
Schedulable Resource
- Communication_Channel
Event Handler
- Message_Event_Handler: Message_Delivery, Message_Fork
13
UNIVERSIDAD
DE CANTABRIA
14
UNIVERSIDAD
DE CANTABRIA
15
UNIVERSIDAD
DE CANTABRIA
AFDX_Policy:
messages are scheduled through virtual links
messages are scheduled in FIFO order when they are originated
at an AFDX switch
This policy may only be assigned to a scheduler that has an
AFDX_Link as its host
16
UNIVERSIDAD
DE CANTABRIA
17
UNIVERSIDAD
DE CANTABRIA
18
UNIVERSIDAD
DE CANTABRIA
DEFAULT_COMMUNICATION_CHANNEL:
used for communications through AFDX links when the
message is originated at an AFDX switch
the implicit scheduling policy is FIFO ordering for the messages
19
UNIVERSIDAD
DE CANTABRIA
20
UNIVERSIDAD
DE CANTABRIA
21
AFDX in MAST-2:
Message_Event_Handler
UNIVERSIDAD
DE CANTABRIA
22
Message
Task1
Task1
Step:
Regular_P
Thread
Fixed_P_P
SWITCH
M1
Step:
AFDX Link
Comm_Chan
AFDX Policy
MD1
Message_E_H:
Switch
UNIVERSIDAD
DE CANTABRIA
CPU2
Task2
M2
Step:
AFDX Link
Default_C_C
FIFO
Task2
Step:
Regular_P
Thread
Fixed_P_P
23