Table of Contents: Synthesis of Safety-Critical Real-Time Systems.

Cover Image

QR Code

Synthesis of Safety-Critical Real-Time Systems.

Bibliographic Details
Main Author:	Zhou, Yuanbin.
Format:	eBook
Language:	English
Published:	Linköping : Linkopings Universitet, 2022.
Edition:	1st ed.
Series:	Linköping Studies in Science and Technology. Dissertations Series
Subjects:	Electronic books.
Online Access:	Click to View

Table of Contents:

Intro
POPULÄRVETENSKAPLIG 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.