The Time-Triggered Ethernet (TTE) Design

Authors:
Hermann Kopetz;Astrit Ademaj;Petr Grillinger;Klaus Steinhammer
Affiliations:
Vienna University of Technology, Austria;Vienna University of Technology, Austria;Vienna University of Technology, Austria;Vienna University of Technology, Austria
Venue:
ISORC '05 Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Year:
2005

Citing 0
Cited 17

A time-triggered ethernet (TTE) switch

Proceedings of the conference on Design, automation and test in Europe: Proceedings
Combination of clock-state and clock-rate correction in fault-tolerant distributed systems

Real-Time Systems
An architecture for flexible scheduling in Profibus networks

Computer Standards & Interfaces
An integrated architecture for future car generations

Real-Time Systems
Dependability assessment of by-wire control systems using fault injection

Journal of Systems Architecture: the EUROMICRO Journal
Providing dependable services with unreliable SoCs: the DECOS approach

Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Advancements in dependable time-triggered communication

SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
A review on system architectures for sensor fusion applications

SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Integrating automotive applications using overlay networks on top of a time-triggered protocol

Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
WDM optical backbone networks in aircraft applications: networking challenges and standards progress

MILCOM'09 Proceedings of the 28th IEEE conference on Military communications
SMT-based formal verification of a TTEthernet synchronization function

FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
Modular software architecture for flexible reservation mechanisms on heterogeneous resources

Journal of Systems Architecture: the EUROMICRO Journal
An FSM-based monitoring technique to differentiate between follow-up and original errors in safety-critical distributed embedded systems

Microelectronics Journal
The case for ethernet in automotive communications

ACM SIGBED Review - Special Issue on the 10th International Workshop on Real-time Networks (RTN 2011)
Practical TDMA for datacenter ethernet

Proceedings of the 7th ACM european conference on Computer Systems
Synchronous interface theories and time triggered scheduling

FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Improved formal worst-case timing analysis of weighted round robin scheduling for ethernet

Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper defines a precise conceptual model of a software platform and the relationship that exists between platforms and software applications that use them. One of the key features of this model is that it allows formal verification of deployment ...