Real-Time Systems Scheduling, Analysis, and Verification
Real-Time Systems Scheduling, Analysis, and Verification by Albert M. K. Cheng, published by Wiley on August 12, 2002, is a comprehensive resource spanning 552 pages. This book provides an in-depth overview of the critical role of testing and validation in real-time systems, emphasizing the importance of reliable specifications for customers. It serves both professionals and students, offering a detailed examination of various existing approaches in the field.
Readers will find a thorough discussion of the advantages and disadvantages of each method, which aids in practical decision-making. The content is designed to enhance understanding of key concepts in computers, data science, and technology and engineering. This edition is presented in English and is structured to facilitate learning and application in real-world scenarios.
Official synopsis Publisher
Test und Validierung spielen bei Echtzeitsystemen eine zentrale Rolle: Auf die Spezifikationen, die der Hersteller angibt, muss sich der Kunde hier in besonders hohem Maße verlassen können.
Bisher sind zu diesem Thema nur Artikelsammlungen erschienen.
Jetzt liegt endlich ein Buch vor, das sich für Fachleute und Studenten gleichermaßen eignet und dem Leser einen umfassenden Überblick über die verschiedenen existierenden Ansätze verschafft.
Vor- und Nachteile jedes Verfahrens werden ausführlich beschrieben – das erleichtert die Methodenwahl in der Praxis!
Der Autor ist nicht nur ein anerkannter Experte auf seinem Gebiet, sondern genießt auch einen hervorragenden pädagogischen Ruf.
Publisher
Topics
FAQ
What is “Real-Time Systems Scheduling, Analysis, and Verification” about?
Who is the author of “Real-Time Systems Scheduling, Analysis, and Verification”?
When was “Real-Time Systems Scheduling, Analysis, and Verification” published?
What is the ISBN for “Real-Time Systems Scheduling, Analysis, and Verification”?
What are the book details (language, pages, edition)?
