Practical Statecharts in C/C++: Quantum Programming for Embedded Systems

Miro Samek

買這商品的人也買了...

商品描述

  • Model reactive systems with UML statecharts
  • Efficiently code statecharts directly in C/C++
  • Rapidly build embedded software with statechart-based frameworks

Model your reactive systems without heavyweight, expensive CASE tools. The author's Quantum Programming is a new paradigm that treats statecharts as a way of design rather than the use of a particular tool. It includes a complete software infrastructure for executing statecharts tailored for multithreaded embedded applications. Flexible, efficient, portable, scalable, and maintainable, this lightweight Quantum Framework permits you to quickly hand-code working real-time systems in C or C++ directly from UML statecharts.

The Quantum Framework is a complete implementation environment ? an active-object framework carefully designed to work with nearly any RTOS. It supports rapid prototyping, easy modification of states and transitions at any stage of development, and the choice of implementation language (C or C++) to match the resource constraints of the target system. Best of all, it is compact, with complete QF code typically requiring less than 5KB of code and data.

In Part I of this book, you get a clear, articulate description of the relevant concepts including traditional finite state machines, statecharts, and several statechart-based design patterns in the form of executable code examples. Learn how state nesting leads to behavioral inheritance and how it enables reuse through programming-by-difference. Part II fully describes the implementation of the Quantum Framework and explains how you can use it in your applications and port it to an RTOS of your choice.

The CD-ROM includes complete source code for the author's Quantum Framework, answers to all exercises scattered throughout the book, and an evaluation version of RTOS-32 ?a 32-bit real-time operating system for x86 processors.

Table of Contents

Section I: Statecharts

Chapter 1 Whirlwind Tour of Quantum Programming

Chapter 2 Crash Course in Statecharts

Chapter 3 Standard State Machine Implementations

Chapter 4 Implementing Behavioral Inheritance

Chapter 5 State Patterns

Chapter 6 Inheriting State Models

Section II: Quantum Framework

Chapter 7 Introducing Quantum Framework

Chapter 8 Design of QF

Chapter 9 Implementations of Quantum Framework

Chapter 10 Sample Quantum Framework Application

Chapter 11 Conclusion

商品描述(中文翻譯)

使用 UML 狀態圖建模反應式系統
直接在 C/C++ 中高效編寫狀態圖
使用基於狀態圖的框架快速構建嵌入式軟件

無需使用笨重昂貴的 CASE 工具來建模反應式系統。作者的量子編程是一種將狀態圖視為設計方式而不是特定工具使用的新範式。它包括一個完整的軟件基礎設施,用於執行針對多線程嵌入式應用程序定制的狀態圖。靈活、高效、可移植、可擴展和易於維護,這個輕量級的量子框架允許您直接從 UML 狀態圖中手工編寫 C 或 C++ 的實時系統。

量子框架是一個完整的實現環境,是一個與幾乎任何實時操作系統(RTOS)配合使用的主動對象框架。它支持快速原型開發,在開發的任何階段輕鬆修改狀態和轉換,並且可以選擇實現語言(C 或 C++)以匹配目標系統的資源限制。最重要的是,它體積小巧,完整的 QF 代碼通常只需要不到 5KB 的代碼和數據。

在本書的第一部分,您將清晰明確地了解相關概念,包括傳統有限狀態機、狀態圖以及幾種以狀態圖為基礎的設計模式,並提供可執行的代碼示例。學習狀態嵌套如何實現行為繼承以及如何通過差異編程實現重用。第二部分完整描述了量子框架的實現,並解釋如何在應用程序中使用它並將其移植到您選擇的RTOS。

光盤中包含作者的量子框架的完整源代碼,散布在全書各處的所有練習答案,以及 RTOS-32 的評估版本,這是一個針對 x86 處理器的 32 位實時操作系統。

目錄
第一部分:狀態圖
第1章:量子編程快速導覽
第2章:狀態圖速成
第3章:標準狀態機實現

第4章:行為繼承的實現
第5章:狀態模式
第6章:繼承狀態模型
第二部分:量子框架

第7章:介紹量子框架
第8章:QF 的設計
第9章:量子框架的實現
第10章:樣本量子框架應用
第11章:結論