0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R2,500 - R5,000 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Real-Time Systems - Scheduling, Analysis and Verification (Hardcover, Reissue): AMK Cheng Real-Time Systems - Scheduling, Analysis and Verification (Hardcover, Reissue)
AMK Cheng
R4,720 Discovery Miles 47 200 Ships in 10 - 15 working days

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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Walsh Equiconvergence of Complex…
Amnon Jakimovski, Ambikeshwar Sharma, … Hardcover R1,699 Discovery Miles 16 990
Essential Linear Algebra with…
Titu Andreescu Hardcover R3,060 Discovery Miles 30 600
Fixed-Time Cooperative Control of…
Zongyu Zuo, Qinglong Han, … Hardcover R3,365 Discovery Miles 33 650
Numbers, Hypotheses & Conclusions - A…
Colin Tredoux, Kevin Durrheim Paperback R969 R856 Discovery Miles 8 560
Recent Advances in Model Predictive…
Timm Faulwasser, Matthias A. Muller, … Hardcover R3,384 Discovery Miles 33 840
Polling and Survey Research Methods…
Graham R. Walden Hardcover R2,550 Discovery Miles 25 500
A Generalized Framework of Linear…
Liansheng Tan Paperback R2,474 R2,339 Discovery Miles 23 390
Preventing Eating Disorders - A Handbook…
Niva Piran, Michael Levine, … Hardcover R5,167 R3,902 Discovery Miles 39 020
Linear Operators and Matrices - The…
Israel Gohberg, Heinz Langer Hardcover R2,604 Discovery Miles 26 040
The Schur Complement and Its…
Fuzhen Zhang Hardcover R4,590 Discovery Miles 45 900

 

Partners