|
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. |
|
|
Triumph Forsaken: The Vietnam War, 1954-1965 (v. 1)Drawing on a wealth of new evidence from all sides, Triumph Forsaken overturns most of the historical orthodoxy on the Vietnam War. Through the analysis of international perceptions and power, it shows that South Vietnam was a vital interest of the United States. The book provides many new insights into the overthrow of Ngo Dinh Diem in 1963 and... | | Fixing and Flipping Real Estate: Strategies for the Post-Boom Era
Let’s face it—fixing and flipping houses is sexy. Who doesn’t love the idea of buying a rundown, mold-infested shack and transforming it into someone’s dream home for massive profits? Reality TV shows make it look so easy. A little paint here, some new kitchen cabinets there, and presto! The house is sold for big bucks... | | Manual of Travel Agency Practice
Now in its third edition, this successful must-have manual is thoroughly updated with new chapters and material, covering issues including:
* Technology development - the different types of travel agency systems available, what they do, how they do it and how to use them
* The Internet -... |
|