Avionics systems are implemented using a space and time partitioning scheme. Applications running in separate partitions can use their own reserved memory space and a time-slice of the processor. This guarantees freedom of interference in case of overload situations. The drawback is that response times get longer and the jitter increases due to phase offsets between partitions and I/O.
The INCHRON Tool-Suite supports the simulation and analysis of time partitioning as well as AFDX Ethernet Networks.
A fixed partition scheduler (also known as TDMA scheduler) can be modelled at any point in the scheduling hierarchy of a processor. It schedules a sequential list of entries which can be processes as well as nested schedulers (e.g. priority schedulers which manage further processes). Each entry can have its individual slot length and can also be used more than once. If no process is active in a time slot the processor is idle in this time.
By adding an AFDX Ethernet Controller to a processor it can become part of an AFDX network. This peripheral has two distinct ethernet ports which can be connected to different ethernet switches for redundancy. As part of the AFDX configuration Virtual Links, Connections and Ports can be defined with their specific attributes.
The fixed scheduling of processor load and network capacity makes the design and the static analysis of avionic systems comparably easy. But in addition to existing tools the INCHRON Tool-Suite shows you: