No Access

Timing Analysis of TTEthernet Traffic

Omar Kermia

Real-Time Embedded Systems Team, ASM Division, Centre de Développement des Technologies Avancées (CDTA), Algiers, Algeria

Search for more papers by this author

https://doi.org/10.1142/S0218126615501406Cited by:8 (Source: Crossref)

Abstract

Over time, more and more systems are becoming mixed-criticality systems. As the complexity and size of these systems grow, computation/communication resources should be more efficient than with traditional systems. Time-triggered (TT) Ethernet is a communication infrastructure that enables the use of a single physical communication infrastructure for distributed mixed-criticality applications while providing timely determinism. TTEthernet distinguishes between two traffic categories: The standard event-triggered (ET) traffic and the TT traffic. The latter, for which higher priority is granted, is subject to strong timing guarantees because of strict-periodicity constraint which fixes start-time cycles of TT messages. In addition, messages in an ET Ethernet traffic, which are of lower priority, have a minimum time interval between their transmission. The focus of this paper is on the timing analysis of a TTEthernet traffic by proposing: (i) A feasibility condition allowing to assess the timing requirements of TT messages. (ii) A schedulability condition allowing to check the schedulability of ET messages by taking into account of TT messages scheduling and idle times.

This paper was recommended by Regional Editor Tongquan Wei.

Keywords:

References

J. A. Stankovic and K. Ramamritham , Real-Time Syst. 2 , 247 ( 1990 ) . Crossref, Web of Science, Google Scholar
S. Vestal , Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance , Proc. 28th IEEE Int. Real-Time Systems Symposium, RTSS '07 ( 2007 ) . Google Scholar
R. John, Partitioning in avionics architectures: Requirements, mechanisms, and assurance, Technical report (1999) . Google Scholar
W. Steineret al., TTEthernet dataflow concept, Proc 2009 Eighth IEEE Int. Symp. Network Computing and Applications, NCA '09 (2009) pp. 319–322. Google Scholar
H. Kopetz , The rationale for time-triggered ethernet , Proc. 2008 Real-Time Systems Symposium, RTSS '08 ( 2008 ) . Google Scholar
M. Bekooij et al. , Predictable embedded multiprocessor system design , Proc. Int. Workshop on Software and Compilers for Embedded Systems (SCOPES) ( Springer , 2004 ) . Google Scholar
J. Korst, E. H. L. Aarts, J. K. Lenstra and J. Wessels, Periodic multiprocessor scheduling, PARLE (1991) . Google Scholar
O. Kermia and Y. Sorel, Schedulability analysis for non-preemptive tasks under strict periodicity constraints, RTCSA (2008) pp. 25–32. Google Scholar
C. L. Liu and J. W. Layland , J. ACM 46 ( 1973 ) . Crossref, Web of Science, Google Scholar
P. Balbastre , I. Ripoll and A. Crespo , IEEE Trans. Comput. 57 , 96 ( 2008 ) . Crossref, Web of Science, Google Scholar
P. Marti et al. , Jitter compensation for real-time control systems , Proc. 22Nd IEEE Real-Time Systems Symp. RTSS '01 ( 2001 ) . Google Scholar
M. Behnam and D. Isovic, Real-time control design for flexible scheduling using jitter margin (2007) . Google Scholar
B. Lincoln, Jitter compensation in digital control systems, American Control Conference Proceedings, Technical report (2002) . Google Scholar
ARINC, ARINC, Avionics Application Software Standard Interface: ARINC Specification 653-1 (2003) . Google Scholar
A. Al Sheikh et al. , Real-Time Syst. 48 , 359 ( 2012 ) . Crossref, Web of Science, Google Scholar
ARINC, ARINC Report 664P7-1 Aircraft Data Network, Part 7, Avionics Full-Duplex Switched Ethernet Network (2009) . Google Scholar
K. Jeffay, D. F. Stanat and C. U. Martel, On non-preemptive scheduling of periodic and sporadic tasks, Proc. 12th IEEE Symp. Real-Time Systems (1991) pp. 129–139. Google Scholar
C. E. Howard, Orion Avionics Employ COTS Technologies (2009) . Google Scholar
S. Baruah and G. Fohler , Certification-cognizant time-triggered scheduling of mixed criticality systems , 2011 IEEE 32nd Real-Time Systems Symposium (RTSS) ( 2011 ) . Google Scholar
S. K. Baruah , A. Burns and R. I. Davis , Response-time analysis for mixed criticality systems , Proc. 2011 IEEE 32Nd Real-Time Systems Symp. RTSS '11 ( 2011 ) . Google Scholar
S. Baruah and S. Vestal , Schedulability analysis of sporadic tasks with multiple criticality specifications , Proc. 2008 Euromicro Conf. Real-Time Systems ECRTS '08 ( 2008 ) . Google Scholar
G. Fohler, Joint scheduling of distributed complex periodic and hard aperiodic tasks in statically scheduled systems, Proc. 16th Real-Time Systems Symp. (1995) pp. 152–161. Google Scholar
D. Isović and G. Fohler , Efficient scheduling of sporadic, aperiodic, and periodic tasks with complex constraints , Proc. 21st IEEE Conf. Real-Time Systems Symposium RTSS '10 ( 2000 ) . Google Scholar
J. Theis , G. Fohler and S. Baruah , Schedule table generation for time-triggered mixed criticality systems , 1st Int. Workshop on Mixed Criticality Systems (WMC), IEEE Real-Time Systems Symposium RTSS '13 ( 2013 ) . Google Scholar
D. Socci et al. , Time-triggered mixed-critical scheduler , 1st Int. Workshop on Mixed Criticality Systems (WMC), IEEE Real-Time Systems Symposium RTSS '13 ( 2013 ) . Google Scholar
A. Burns and R. Davis, Mixed criticality systems — A review, Department of Computer Science, University of York, Tech. Rep. MCC- 1(b) (2013) . Google Scholar
J. Berwanger, C. Ebner, A. Schedl, R. Belschner, S. Fluhrer, P. Lohrmann, E. Fuchs, D. Millinger, M. Sprachmann, F. Bogenberger, G. Hay, A. Kruger, M. Rausch, W. O. Budde, P. Fuhrmann and R. Mores, Flexray — The communication system for advanced automotive control systems, Society of Automotive Engineers SAE (2001) . Google Scholar
J. Ferreira et al. , IEEE Micro 22 , 46 ( 2002 ) . Crossref, Web of Science, Google Scholar
L. Almeida and P. Pedreiras, Scheduling within temporal partitions: Response-time analysis and server design, Proce. 4th ACM International Conference on Embedded Software, EMSOFT '04 (2004) pp. 95–103. Google Scholar
W. Steiner and B. Dutertre , Automated formal verification of the TTEthernet synchronization quality , Proc. Third International Conference on NASA Formal Methods NFM '11 ( 2011 ) . Google Scholar
B. Dutertre et al. , Model-based analysis of timed-triggered ethernet , Digital Avionics Systems Conference (DASC), 2012 IEEE/AIAA 31st ( 2012 ) . Google Scholar
W. Steiner , An evaluation of SMT-based schedule synthesis for time-triggered multi-hop networks , Proceedings of the 2010 31st IEEE Real-Time Systems Symposium RTSS '10 ( 2010 ) . Google Scholar
W. Steiner, Synthesis of static communication schedules for mixed criticality systems, Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2011 14th IEEE International Symposium on (2011) . Google Scholar
D. Tamas-Selicean , P. Pop and W. Steiner , Synthesis of communication schedules for ttethernet-based mixed criticality systems , Proc. Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS '12 ( 2012 ) . Google Scholar
M. Marouf and Y. Sorel, Scheduling non-preemptive hard real-time tasks with strict periods, ETFA (2011) . Google Scholar
D. J. Bernstein, Fast multiplication and its applications, Buhler-Stevenhagen Algorithmic Number Theory book . Google Scholar
N. Heningeret al., Mining your ps and qs: Detection of widespread weak keys in network devices, Proc. 21st USENIX Conf. Security Symposium, Security'12 (2012) pp. 35–35. Google Scholar
R. R. Howell and M. K. Venkatrao , Inf. Comput. 117 , 50 ( 1995 ) . Crossref, Web of Science, Google Scholar
Y. Cai and M. C. Kong , Algorithmica 15 , 572 ( 1996 ) . Crossref, Web of Science, Google Scholar
L. George, P. Muhlethaler and N. Rivierre, Optimality and non-preemptive real-time scheduling revisited, Rapport de Recherche RR-2516, INRIA (1995) . Google Scholar
L. George, N. Rivierre and M. Spuri, Preemptive and non-preemptive uniprocessor real-time scheduling, Rapport de Recherche 2966, INRIA (1996) . Google Scholar
M. Spuri, Holistic analysis for deadline scheduled real-time distributed systems, Rapport de Recherche n2573, INRIA (1996) . Google Scholar