Synthesis of communication schedules for TTEthernet-based mixed-criticality systems

CODES+ISSS'12 - Proceedings of the 10th ACM International Conference on Hardware/Software-Codesign and System Synthesis, Co-located with ESWEEK

Volumn , Issue , 2012, Pages 473-482

  Tǎmaş Selicean, Domiţian ^a   Pop, Paul ^a   Steiner, Wilfried ^b  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

^b TTTech North America   (Austria)

Author keywords

Mixed criticality; Network protocol; Optimization of communication configuration; Partitioned architectures; Real time systems; TTEthernet

Indexed keywords

BEST-EFFORT; DISTRIBUTED SYSTEMS; END TO END DELAY; EVENT-TRIGGERED; HARD REAL-TIME; HETEROGENEOUS PROCESSING; IF THERE ARE; MIXED-CRITICALITY; MIXED-CRITICALITY SYSTEMS; OFFLINE; OPTIMIZATION PROBLEMS; SAFETY-CRITICAL; SEARCH-BASED; SPATIAL SEPARATION; TEMPORAL SEPARATION; TIME TRIGGERED; TTETHERNET; VIRTUAL LINK;

COMMUNICATION; HARDWARE; NETWORK PROTOCOLS; REAL TIME SYSTEMS; SAFETY ENGINEERING; SEPARATION; TABU SEARCH;

CRITICALITY (NUCLEAR FISSION);

EID: 84869068136     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2380445.2380518     Document Type: Conference Paper

References (39)

1. SAE Technical Report J2056/1. Technical report, SAE International.
2. ISO 11898: Road Vehicles - Controller Area Network (CAN). International Organization for Standardization (ISO), Geneva, Switzerland, 2003.
3. ARINC 664P7: Aircraft Data Network, Part 7, Avionics Full-Duplex Switched Ethernet Network. ARINC (Aeronautical Radio, Inc), 2009.
4. ISO 10681: Road vehicles - Communication on FlexRay. International Organization for Standardization (ISO), Geneva, Switzerland, 2010.
5. AS6802: Time-Triggered Ethernet. SAE International, 2011.
6. M. Adnan, J.-L. Scharbarg, J. Ermont, and C. Fraboul. Model for worst case delay analysis of an AFDX network using timed automata. In Proceedings of the Conference on Emerging Technologies and Factory Automation, pages 1-4, 2010.
7. N. Audsley, K. Tindell, and A. Burns. The end of the line for static cyclic scheduling. In Proceedings of Euromicro Workshop on Real-Time Systems, pages 36-41, 1993.
8. S. Baruah and G. Fohler. Certification-Cognizant Time-Triggered Scheduling of Mixed-Criticality Systems. Proceedings of the Real-Time Systems Symposium, pages 3-12, 2011.
9. S. Baruah, H. Li, and L. Stougie. Towards the design of certifiable mixed-criticality systems. In Proceedings of the Real-Time and Embedded Technology and Applications Symposium, 2010.
10. S. K. Baruah, A. Burns, and R. I. Davis. Response-Time Analysis for Mixed Criticality Systems. Proceedings of the Real-Time Systems Symposium, pages 34-43, 2011.
11. H. Bauer, J.-L. Scharbarg, and C. Fraboul. Applying and optimizing trajectory approach for performance evaluation of AFDX avionics network. In Proceedings of the Conference on Emerging Technologies Factory Automation, pages 1-8, 2009.
12. H. Bauer, J.-L. Scharbarg, and C. Fraboul. Worst-case end-to-end delay analysis of an avionics AFDX network. In Proceedings of the Conference on Design, Automation and Test in Europe, pages 1220-1224, 2010.
13. A. Bouillard, L. Jouhet, and E. Thierry. Tight Performance Bounds in the Worst-Case Analysis of Feed-Forward Networks. In Proceedings of INFOCOM, pages 1-9, 2010.
14. M. Boyer and C. Fraboul. Tightening end to end delay upper bound for AFDX network calculus with rate latency FIFO servers using network calculus. In Proceedings of the International Workshop on Factory Communication Systems, pages 11-20, 2008.
15. R. Ernst. Certification of Trusted MPSoC Platforms. 10th International Forum on Embedded MPSoC and Multicore, 2010.
16. R. N. et al. Steiner tree based distributed multicast routing in networks. In X. Cheng and D.-Z. Du, editors, Steiner Trees in Industry. Springer, 2002.
17. E. N. Gilbert and H. O. Pollak. Steiner minimal trees. SIAM Journal on Applied Mathematics, 16(1):1-29, 1968.
18. F. Glover and M. Laguna. Tabu Search. Kluwer Academic Publishers, Norwell, MA, USA, 1997.
19. K. Hoyme and K. Driscoll. SAFEbus. IEEE Aerospace Electronic Systems Magazine, 8:34-39, 1993.
20. V. Izosimov, P. Pop, P. Eles, and Z. Peng. Scheduling of fault-tolerant embedded systems with soft and hard timing constraints. In Proceedings of the Conference on Design, Automation and Test in Europe, pages 915-920, 2008.
21. H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Springer, 2011.
22. B. Leiner, M. Schlager, R. Obermaisser, and B. Huber. A Comparison of Partitioning Operating Systems for Integrated Systems. Computer Safety, Reliability, and Security, pages 342-355, 2007.
23. H. Lonn and J. Axelsson. A comparison of fixed-priority and static cyclic scheduling for distributed automotive control applications. In Proceedings of the Euromicro Conference on Real-Time Systems, pages 142-149. IEEE, 1999.
24. U. Mohammad, N. Al-holou, and P. D. Development of an automotive communication benchmark. Canadian Journal on Electrical and Electronics Engineering, 1(5):99-115, 2010.
25. R. Obermaisser. Time-Triggered Communication. CRC Press, Inc., 2011.
26. P. Pop, P. Eles, and Z. Peng. Scheduling with optimized communication for time-triggered embedded systems. In Proceedings of the International Workshop on Hardware/Software Codesign, pages 178-182, 1999.
27. P. Pop, P. Eles, and Z. Peng. Analysis and Synthesis of Communication-Intensive Heterogenous Real-Time Systems. Kluwer Academic Publishers, 2004.
28. P. Pop, P. Eles, and Z. Peng. Schedulability-driven frame packing for multicluster distributed embedded systems. ACM Transactions on Embedded Computing Systems (TECS), 4(1):112-140, 2005.
29. T. Pop, P. Pop, P. Eles, and Z. Peng. Analysis and Optimisation of Hierarchically Scheduled Multiprocessor Embedded Systems. International Journal of Parallel Programming, 36(1):37-67, feb 2008.
30. T. Pop, P. Pop, P. Eles, Z. Peng, and A. Andrei. Timing analysis of the FlexRay communication protocol. In Proceedings of the Euromicro Conference on Real-Time Systems, pages 11 pp.-216, 2006.
31. J. Rushby. Partitioning for Avionics Architectures: Requirements, Mechanisms, and Assurance. NASA Contractor Report CR-1999-209347, NASA Langley Research Center, 1999.
32. I. Saha and S. Roy. A Finite State Modeling of AFDX Frame Management Using Spin. In L. Brim, B. Haverkort, M. Leucker, and J. van de Pol, editors, Formal Methods: Applications and Technology, volume 4346 of Lecture Notes in Computer Science, pages 227-243. Springer, 2007.
33. P. K. Saraswat, P. Pop, and J. Madsen. Task Mapping and Bandwidth Reservation for Mixed Hard/Soft Fault-Tolerant Embedded Systems. Proceedings of the Real-Time and Embedded Technology and Applications Symposium, pages 89-98, 2010.
34. W. Steiner. An Evaluation of SMT-based Schedule Synthesis For Time-Triggered Multi-Hop Networks. In Proceedings of the Real-Time Systems Symposium, pages 375-384, 2010.
35. W. Steiner. Synthesis of Static Communication Schedules for Mixed-Criticality Systems. In Proceedings of the International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, pages 11-18, 2011.
36. W. Steiner, G. Bauer, B. Hall, M. Paulitsch, and S. Varadarajan. TTEthernet Dataflow Concept. In Proceedings of the International Symposium on Network Computing and Applications, pages 319-322, 2009.
37. D. Tǎmaş-Selicean and P. Pop. Design Optimization of Mixed-Criticality Real-Time Applications on Cost-Constrained Partitioned Architectures. In Proceedings of the Real-Time Systems Symposium, pages 24-33, 2011.
38. J. D. Ullman. NP-complete scheduling problems. J. Comput. Syst. Sci., 10(3):384-393, 1975.
39. J. Xu and D. L. Parnas. On Satisfying Timing Constraints in Hard-Real-Time Systems. IEEE Transactions on Software Engineer, 19(1):70-84, 1993.