Software implementation of a time-triggered ethernet controller

Grillinger, P.; Ademaj, A.; Steinhammer, Klaus; Kopetz, Hermann

doi:10.1109/wfcs.2006.1704143

Cited by 11 publications

(3 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Due to the overhead of such systems realistic scenarios for automotive applications cannot be achieved. [12] gives an overview of software based implementations of the timetriggered Ethernet variant [13] developed at TU-Wien. The commercial TTEthernet applied in this prototype builds on these concepts.…”

Section: Previous and Related Workmentioning

confidence: 99%

A real-time Ethernet prototype platform for automotive applications

Müller

Steinbach

Korf

et al. 2011

2011 IEEE International Conference on Consumer Electronics -Berlin (ICCE-Berlin)

View full text Add to dashboard Cite

The increasing number of driver assistance, infotainment and entertainment systems in automobiles results in higher requirements for bandwidth, fault tolerance and timing behaviour concerning the in-vehicle communication structure. In future, in-vehicle networks based on current technologies will reach their limits due to insufficient scalability and complexity. Real-time (RT) Ethernet is a new, scalable approach to reduce the complexity of these networks significantly.This paper demonstrates the architecture of a RT Ethernet prototype platform based on an ARM centred system-on-chip, which achieves timing and bandwidth characteristics of a typical future automotive application. It is based on an advanced interrupt driven architecture.

show abstract

Section: Previous and Related Workmentioning

confidence: 99%

A real-time Ethernet prototype platform for automotive applications

Müller

Steinbach

Korf

et al. 2011

2011 IEEE International Conference on Consumer Electronics -Berlin (ICCE-Berlin)

View full text Add to dashboard Cite

show abstract

“…In [6] the research team develops a software implementation of a TTE controller for real-time applications, built on top of a 100Mbit Ethernet controller. Their work covers important topics about TTE, like its architecture and functionality and it presents the controller's structure for TTE, giving results in form of performance analysis and evaluation of test cases.…”

Section: Thesis Contributions and Related Workmentioning

confidence: 99%

“…The first objective is to model a state-driven closed-world scenario encompassing all the elements of a network, making use of the TTE standard, and then formally verify it using PRISM Model Checker. Our design is largely based on the descriptions available in [2,3,6,7,15] and we take [4] into account for modeling our clock synchronization function.…”

Section: Thesis Contributions and Related Workmentioning

confidence: 99%

Formal verification of Time-Triggered Ethernet protocol using PRISM model checker

Ammar

Mohamed

2011

ICM 2011 Proceeding

View full text Add to dashboard Cite

Formal Verification of Time-Triggered Ethernet Protocol using PRISM Model Checker Marwan AmmarThe increase in number of computer systems in almost every aspect of our lives dictates how important it is that they perform their functions properly. Traditionally, there are two ways used to check the correctness of a software system: Testing and Formal Verification. Software Testing is the process of executing a program or system with the intent of finding errors. This is done by feeding input to a software system and checking that the output is the expected one, thus checking the correctness of the system. In

show abstract