Integrated, Widely
Implemented Techniques for System and Software Developers
About the Book
Here is a casebook, a practical reference, and an indispensable guide for creating
a systematic, formal methodology for large, real-time, software-based systems.
The
book introduces the widely implemented Hatley/Pirbhai methods, a major extension
of the DeMarco analysis method describing how external events control the system's
operating behavior. The techniques are used in major avionics and electronics
companies worldwide, and are automated by most major CASE tools, including TurboCASE/Sys
by StructSoft, Inc.
Large software-based systems, especially those for
real-time applications, require multi-mode operation, direct interaction with
a rapidly changing physical environment, and fast response times. In the past,
the development of such systems was prone to massive cost and schedule overruns,
and to inadequate performance and reliability. Strategies for Real-Time System
Specification addresses these problems by integrating a finite-state machine
structure into classical analysis methods.
The book contains nearly 200
diagrams, many of which illustrate the requirements specification of a flight
management system for a major avionics developer.
Reviews
"a marvel of clarity and organization. . . . What
sets this book apart is its readability. . . . Flip the book open to any page
and you'll find a paragraph that, standing on its own, tells you something new
in words you can understand about the topic of the chapter at hand. The book holds
its focus. . . . if you can afford time to read only one book on real-time systems
design, read this one. . . . Highly recommended."
—P.J.
Plauger, Embedded Systems Programming
"It
gives serious practitioners a method to tackle their most challenging real-time
projects."
—CASE Outlook
". . . a great step toward formalizing real-time
system design. . . . will serve equally well as
a tutorial introduction to these methods or as a
reference. . . . The writing is clear and precise."
—IEEE Software
". . . easily accessible to readers with some
experience of developing large systems, explaining
where the methods come from and what they aim to
achieve. It provides detailed descriptions of each
activity's end-product . . . followed by a good
explanation of how to carry it out. Highly recommended."
To
order this book by credit card directly from Dorset House in New York,
please call (800) 342-6657 or (212) 620-4053, weekdays, 9am to 6pm. Alternatively,
print out our Faxable Order Form
and fax to (212) 727-1044.
To order this book from
an online bookstore, please see above.
To
purchase at a bookstore, contact our Recommended
Booksellers to verify availability.
Any store can order from Dorset House using the book's title and ISBN number.
Also, bookstores can order our books through Baker & Taylor.
We'd
like to make it easy for you to order, so please contact
us at any time for help!
DORSET HOUSE PUBLISHING CO., INC.
353 West 12th Street New York, New York 10014 USA
1-800-DH-BOOKSor 212-620-4053, fax 212-727-1044
