TTEthernet is a deterministic network technology that makes enhancements to Layer 2 Quality-of-Service (QoS) for Ethernet. The components that implement its services enrich the Ethernet functionality with distributed fault-tolerant synchronization, robust temporal partitioning bandwidth and synchronous communication with fixed latency and low jitter.
TTEthernet services can facilitate the design of scalable, robust, less complex distributed systems and architectures tolerant to faults.
Simulation is nowadays an essential step in critical systems design process and represents a valuable support for validation and performance evaluation.
CoRE4INET is a project bringing together all TTEthernet simulation models currently available. It is based on the extension of models of OMNeT ++ INET framework.
Our objective is to study and simulate the TTEthernet protocol on a flight management subsystem (FMS).
The idea is to use CoRE4INET to design the simulation model of the target system.
The problem is that CoRE4INET does not offer a task scheduling tool for TTEthernet network.
To overcome this problem we propose an adaptation for simulation purposes of a task scheduling approach based on formal specification of network constraints.
The use of Yices solver allowed the translation of the formal specification into an executable program to generate the desired transmission plan.
A case study allowed us at the end to assess the impact of the arrangement of Time-Triggered frames offsets on the performance of each type of the system traffic.
| Date | 20 May 2015 |
|---|
| Original language | French |
|---|
| Awarding Institution | - École de technologie supérieure
|
|---|
| Supervisor | Abdelouahed Gherbi (Supervisor) |
|---|
Abidi, D. (Author),
Gherbi (Supervisor),
20 May 2015Student thesis: Master's thesis › Master in Engineering: Engineering