Real-Time Systems: Scheduling, Analysis, and Verification

By Albert M. K. Cheng

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.

• Format: Hardcover
• Language: English
• ISBN: 0471184063
• ISBN13: 9780471184065
• Release Date: August 2002
• Publisher: Wiley-Interscience
• Length: 552 Pages
• Weight: 2.15 lbs.
• Dimensions: 1.2" x 6.4" x 9.4"