rent-now

Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

9781420013641

Modeling Software with Finite State Machines

by ; ; ;
  • ISBN13:

    9781420013641

  • ISBN10:

    1420013645

  • Format: Nonspecific Binding
  • Copyright: 2006-05-15
  • Publisher: Taylor & Francis

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

Purchase Benefits

  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
  • Write a Review Icon Write a Review
List Price: $150.00 Save up to $98.52
  • Rent Book $106.88
    Add to Cart Free Shipping Icon Free Shipping

    TERM
    PRICE
    DUE
    USUALLY SHIPS IN 3-5 BUSINESS DAYS
    *This item is part of an exclusive publisher rental program and requires an additional convenience fee. This fee will be reflected in the shopping cart.

How To: Textbook Rental

Looking to rent a book? Rent Modeling Software with Finite State Machines [ISBN: 9781420013641] for the semester, quarter, and short term or search our site for other textbooks by Ferdinand Wagner; Ruedi Schmuki; Thomas Wagner; Peter Wolstenholme. Renting a textbook can save you up to 90% from the cost of buying.

Summary

Modeling Software with Finite State Machines: A Practical Approach explains how to apply finite state machines to software development. It provides a critical analysis of using finite state machines as a foundation for executable specifications to reduce software development effort and improve quality. This book discusses the design of a state machine and of a system of state machines. It also presents a detailed analysis of development issues relating to behavior modeling with design examples and design rules for using finite state machines. This volume describes a coherent and well-tested framework for generating reliable software for even the most complex tasks. The authors demonstrate that the established practice of using a specification as a basis for coding is wrong. Divided into three parts, this book opens by delivering the authors' expert opinions on software, covering the evolution of development as well as costs, methods, programmers, and the development cycle. The remaining two parts encourage the use of state machines: promoting the virtual finite state machine (Vfsm) method and the StateWORKS development tools.

Table of Contents

The Problems of Software
Evolution of Software Development
The Price of Weakness
Software as Engineering?
Finite State Machines
Introduction, Definitions, and Notation
Hardware Applications
Software Specific
Misunderstandings about FSM
Designing a State Machine
Systems of State Machines
StateWORKS: Principles and Practice
StateWORKS
Digital Input and Output
Other Inputs
Other Outputs
Counters
VFSM and Its Interfaces
Debugging Vfsm
What Is StateWORKS?
Appendices
Case Studies
Microwave Oven Control - Use of StateWORKS Development Tools
Gas Control - Hierarchical System of State Machines
Dining Philosophers Problem
Going Beyond the Limitations of IEC 61131-3
Traffic Light Control - Design of the Hardware Solution
Coding Finite State Machine - Vending Machine Counter Example
IOD File of the StandardUnit
StateWORKS Projects
Vending Machine Counter Project
Pedestrian Traffic Light Project
Pumps Supervision Project
Output Function CalcLimits( )
Traffic Light Project
DI_DO Project
Other_Inputs Project
Other_Outputs Project
Counters Project
Attributes of RTDB Objects
StateWORKS Tools and Components
Table of Contents provided by Publisher. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program