This text is based on two rich sources: (1) materials in lecture notes I taught to senior
and graduate-level computer science and electrical engineering students at Rice University
and at the University of Houston, and (2) my research in the area of timing
analysis and verification of real-time systems since the late 1980s, especially in the
emerging area of embedded rule-based systems. Condensed forms of key concepts
appearing in this text have been presented in my tutorials and seminars at many major
international conferences. The focus is on the formal analysis and verification of
real-time systems. The text is self-contained in that it includes a presentation of basic
real-time scheduling algorithms and schedulability analysis as well as a description
of the necessary background in logic and automata theory for understanding the more
advanced materials. It provides a clear presentation of the concepts underlying the
formal methods for real-time systems design.
Many of the systems and devices used in our modern society must provide a response
that is both correct and timely. More and more computer systems are built as
integral parts of many of these systems to monitor and control their functions and
operations. These embedded systems often operate in environments where safety
is a major concern. Examples range from simple systems such as climate-control
systems, toasters, and rice cookers to highly complex systems such as airplanes and
space shuttles. Other examples include hospital patient-monitoring devices and braking
controllers in automobiles. Toward the goal of ensuring that these safety-critical
systems operate as specified by the design and safety requirements, we have to develop
sound methodologies and apply the corresponding tools to analyze and verify
that these systems meet their specifications.
Frommer's Portable Bahamas
At a luxurious resort spa or on a pristine beach, our expert authors guide you to your best Bahamas experience.
- Detailed maps throughout
Exact prices, directions, opening hours,and other practical information
Candid reviews of hotels and restaurants,plus sights, shopping,...
Develop on Yammer: Social Integration for Modern Business Applications
Develop on Yammer is your guide to integrating the Yammer social network with your company’s application ecosystem. By developing custom apps and features on the Yammer platform, you can make your workplace more productive, encourage communication and feedback, and get your colleagues collaborating across a range of platforms,...
Trigonometry (Cliffs Quick Review)
CliffsQuickReview Trigonometry mirrors the curriculum for a typical trigonometry course, which includes trigonometric functions, trigonometry of triangles, trigonometric identities, vectors, polar coordinates, and complex numbers. And, like all CliffsQuickReview books, it includes concise, focused review on introductory-level courses,...
Photoshop CS5 Trickery & FX
As a digital artist, you have the advantage of being able to combine all of the creative art forms using your medium--the computer. Photoshop CS5 Trickery & FX shows you how to take your creativity and your art to a new level by blending your traditional artistic skills and vision with the powerful tools of Adobe Photoshop CS5. Photoshop...