Synthesis of Safety-Critical Real-Time Systems.

Bibliographic Details
Main Author: Zhou, Yuanbin.
Format: eBook
Language:English
Published: Linköping : Linkopings Universitet, 2022.
Edition:1st ed.
Series:Linköping Studies in Science and Technology. Dissertations Series
Subjects:
Online Access:Click to View
LEADER 02154nam a22003853i 4500
001 EBC6940041
003 MiAaPQ
005 20240729202203.0
006 m o d |
007 cr cnu||||||||
008 240729s2022 xx o ||||0 eng d
020 |a 9789179292713  |q (electronic bk.) 
020 |z 9789179292713 
035 |a (MiAaPQ)EBC6940041 
035 |a (Au-PeEL)EBL6940041 
035 |a (OCoLC)1311325796 
040 |a MiAaPQ  |b eng  |e rda  |e pn  |c MiAaPQ  |d MiAaPQ 
100 1 |a Zhou, Yuanbin. 
245 1 0 |a Synthesis of Safety-Critical Real-Time Systems. 
250 |a 1st ed. 
264 1 |a Linköping :  |b Linkopings Universitet,  |c 2022. 
264 4 |c {copy}2022. 
300 |a 1 online resource (199 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Linköping Studies in Science and Technology. Dissertations Series ;  |v v.2220 
505 0 |a Intro -- POPULÄ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. 
588 |a Description based on publisher supplied metadata and other sources. 
590 |a Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.  
655 4 |a Electronic books. 
776 0 8 |i Print version:  |a Zhou, Yuanbin  |t Synthesis of Safety-Critical Real-Time Systems  |d Linköping : Linkopings Universitet,c2022  |z 9789179292713 
797 2 |a ProQuest (Firm) 
830 0 |a Linköping Studies in Science and Technology. Dissertations Series 
856 4 0 |u https://ebookcentral.proquest.com/lib/matrademy/detail.action?docID=6940041  |z Click to View