Print version: Zhou, Yuanbin Synthesis of Safety-Critical Real-Time Systems Linkoping : Linkopings Universitet,c2022
Intro -- POPULARVETENSKAPLIG SAMMANFATTNING -- ABSTRACT -- Acknowledgments -- Contents -- List of Figures -- List of Tables -- 1 Introduction -- 2 Background and Preliminaries -- 3 Reliability-Aware Scheduling and Routing for Time-Sensitive Networking -- 4 ASIL Decomposition based Routing and Scheduling for Time-Sensitive Networking -- 5 Preemptive Scheduling for Time-Sensitive Networking -- 6 Scheduling with Partitioning for Mixed-Criticality Systems -- 7 Conclusions and Future Work -- Bibliography -- Appendix A: Notations.