ABSTRACT
Upcoming high-bandwidth protocols like Ethernet TSN feature mechanisms for redundant and deterministic (scheduled) message delivery to integrate safety- and real-time--critical applications and, thus, realize mixed-criticality systems. In existing design approaches, the message routing and system scheduling are generated in two entirely separated design steps, ignoring and/or not exploiting the distinct interrelations between routing and scheduling decisions. In this paper, we first introduce an exact approach to generate an implementation with a valid routing and a valid schedule in a single step by solving a 0-1 ILP. Second, we show that the 0-1 ILP formulation can be utilized in a design space exploration to optimize the routing and schedule with respect to, e.g., interference imposed on non-scheduled traffic or the number of configured port slots. We demonstrate the optimization potential of the proposed approach using a mixed-criticality system from the automotive domain.
- T. Blickle, J. Teich, et al. System-level synthesis using evolutionary algorithms. Design Automation for Embedded Systems, pp. 23--58, 1998. Google ScholarDigital Library
- F. Boniol, P.-E. Hladik, et al. A framework for distributing real-time functions. In International Conference on Formal Modeling and Analysis of Timed Systems, pp. 155--169. 2008. Google ScholarDigital Library
- K. Deb, A. Pratap, et al. A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE transactions on evolutionary computation, pp. 182--197, 2002. Google ScholarDigital Library
- D. Le Berre and A. Parrain. The SAT4J library, release 2.2, system description. Journal on Satisfiability, Boolean Modeling and Computation, pp. 59--64, 2010.Google Scholar
- M. Lukasiewycz, M. Glaß, et al. Flexray schedule optimization of the static segment. In Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis, pp. 363--372. 2009. Google ScholarDigital Library
- M. Lukasiewycz, M. Glaß. Opt4J - A Modular Framework for Meta-heuristic Optimization. In Proceedings of the Genetic and Evolutionary Computing Conference (GECCO 2011), pp. 1723--1730. 2011. Google ScholarDigital Library
- M. Lukasiewycz, S. Shreejith, et al. System simulation and optimization using reconfigurable hardware. In International Symposium on Integrated Circuits (ISIC), pp. 468--471. 2014.Google ScholarCross Ref
- M. Lukasiewycz, M. Streubühr, et al. Combined system synthesis and communication architecture exploration for MPSoCs. In Proceedings of the Conference on Design, Automation and Test in Europe, pp. 472--477. 2009. Google ScholarDigital Library
- A. Metzner, M. Franzle, et al. Scheduling distributed real-time systems by satisfiability checking. In 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pp. 409--415. 2005. Google ScholarDigital Library
- OpenDSE. "Open design space exploration framework". http://opendse.sf.net/.Google Scholar
- Time Sensitive Networking Task Group of IEEE 802.1. IEEE P802.1Qbv/Standard for Local and Metropolitan Area Networks Bridges and Bridged Networks Amendment: Enhancements for Scheduled Traffic, Draft 3.1. 2016.Google Scholar
- F. Sagstetter, M. Lukasiewycz, et al. Schedule integration for time-triggered systems. In Design Automation Conference (ASP-DAC), Asia and South Pacific, pp. 53--58. 2013.Google ScholarCross Ref
- F. Smirnov, M. Glaß, et al. Formal timing analysis of non-scheduled traffic in automotive scheduled tsn networks. In Design, Automation and Test in Europe (DATE). 2017.Google Scholar
- W. Steiner. An evaluation of smt-based schedule synthesis for time-triggered multi-hop networks. In Real-Time Systems Symposium (RTSS), pp. 375--384. 2010. Google ScholarDigital Library
Index Terms
Optimizing Message Routing and Scheduling in Automotive Mixed-Criticality Time-Triggered Networks
Recommendations
ILP-based joint routing and scheduling for time-triggered networks
RTNS '17: Proceedings of the 25th International Conference on Real-Time Networks and SystemsNetworks in the automotive and aerospace area as well as in production facilities have to support time-critical (i.e., hard real-time) communication. For such applications, time-triggered Ethernet-based networking solutions provide the required ...
Time-Triggered Scheduling of Mixed-Criticality Systems
Real-time and embedded systems are moving from the traditional design paradigm to integration of multiple functionalities onto a single computing platform. Some of the functionalities are safety critical and subject to certification. The rest of the ...
Time-triggered implementations of mixed-criticality automotive software
DATE '12: Proceedings of the Conference on Design, Automation and Test in EuropeWe present an automatic schedule synthesis framework for applications that are mapped onto distributed time-triggered automotive platforms where multiple Electronic Control Units (ECUs) are synchronized over a FlexRay bus. We classify applications into ...
Comments