This book uses automotive embedded systems as an example to introduce functional safety assurance and safety-aware cost optimization. The book explores functional safety assurance from the perspectives of verification, enhancement, and validation.The functional safety assurance methods implement a safe and efficient assurance system that integrates safety verification, enhancement, and validation. The assurance methods offered in this book could provide a reasonable and scientific ...

This book focuses on scheduling algorithms for parallel applications on heterogeneous distributed systems, and addresses key scheduling requirements – high performance, low energy consumption, real time, and high reliability – from the perspectives of both theory and engineering practice. Further, it examines two typical application cases in automotive cyber-physical systems and cloud systems in detail, and discusses scheduling challenges in connection with resource costs, reliability and ...