Book123

    Free register and download UseNet downloader, then you can FREE Download from UseNet.

    Download without Limit " Technical Real-Time Systems : Scheduling, Analysis, and Verification " from UseNet for FREE!

.

A complete guide to testing, analyzing, verifying, and monitoring real-time systems .

More and more of our modern-day systems and devices–from toasters and climate-control systems to airplanes and space shuttles–contain embedded systems to control their functions and ensure that their responses are both timely and correct. With safety a requisite factor, performance validation is a critical aspect of real-time systems. Answering the needs of professionals and students alike, Real-Time Systems: Scheduling, Analysis, and Verification provides a substantial, up-to-date overview of the verification and validation process. It describes several approaches to the problem, and examines the advantages and disadvantages of each approach. .

Designed to be both an introductory text and a handy reference for the practitioner, the book discusses: .

Symbolic logic, automata, and languages in non-real-time systems

Real-time scheduling and schedulability analysis

Verification using timed automata and timed petri nets

Process algebra

The design and analysis of propositional-logic rule-based systems

Timing analysis of predicate-logic rule-based systems

Optimization of rule-based systems

Model checking, real-time logic, and statecharts

With ample illustrations and examples of a variety of industrial and toy applications, Real-Time Systems: Scheduling, Analysis, and Verification serves as a key resource for every professional who works with real-time systems.

About the Author .

Albert M. K. Cheng, PhD, received his doctorate in computer science from the University of Texas at Austin, where he held a GTE Foundation Doctoral Fellowship. He is currently an associate professor in the department of computer science at the University of Houston, where he is the founding director of the Real-Time Systems Laboratory. He is the author and coauthor of over sixty refereed publications, and has received numerous awards, including the NSF Career award. He has served as a technical consultant for several organizations, including IBM, and has served on the program committees of many conferences. .

Buy Book at Lowest Price on Amazon

.

Rating:
2.5 out of 5 by Book123