程式模型以迴圈方式進行輪詢。對事件、狀態變數、訊息和訊號進行輪詢，輪詢使用switch-case語句來完成。為迴圈中的每個事件、狀態、訊息和訊號呼叫函式。
順序程式設計模型按順序在乙個函式中執行多個函式呼叫。
模型中包含多個併發任務（程序或執行緒），並且每個任務都有無限迴圈的順序**。os控制執行的優先順序順序，或者控制分配給乙個任務的執行時間片。乙個任務向os傳送程序間訊息或訊號，os再傳送給接收到訊息或訊號的另乙個任務。從os接收到訊息或訊號的任務就會開始執行，其餘任務保持阻塞（等待）狀態。
描述物件的特徵有標識名（儲存了物件狀態和行為的物件的引用）、狀態（物件的資料、性質、域和屬性）和行為（操作、方法或操作物件狀態的方法）。物件從類的乙個例項建立。具體參照高階語言程式設計中類和物件。
資料流圖的縮寫為dfg，控制資料流圖的縮寫為cdfg。它們用於軟體資料路徑和程式流的建模。程式被建模為處理輸入資料流和建立輸出資料流。
對於當前的輸入，程式的輸出或者行動可能取決於前面的輸入和輸出條件。
狀態機是假定了一些狀態以及生成這些狀態的狀態轉換函式的一種模型。狀態轉換函式是將狀態轉換到下乙個狀態的函式。
通常，程式存在一些輸入，它們可以將系統的狀態轉變為新狀態，並生成輸出，而這些輸出也可以作為下乙個狀態的輸入。這時，假設在模型中，程式和程式流的執行可以被認為是生成狀態的機器的執行。程式流可以簡單地通過內部狀態轉換進行建模。內部狀態轉換可以來自下一狀態的轉換函式（moore model）或下一輸出的轉換函式（mealy model）。
當前狀態到下一狀態的轉換取決於輸入和狀態轉換函式。在摩爾模型中，輸出集合代表的事狀態；在公尺粒模型中，輸出集合代表的是狀態轉換。
fsm模型描述了乙個具有有限個可能狀態的系統，並且在任意時刻，該系統只能處於這些狀態中的一種狀態。
當要將某個過程建模為有限狀態機時，通常會為每個狀態進行以下的指定：
（a）有限數量的狀態中的乙個狀態。
（b）該狀態的輸入及值（狀態標識）的有限集合。
（c）該狀態的有限行為（如運算），有限集合的輸出與它們可能的數值（狀態標識），以及為該狀態給出輸出的輸出（行為）函式。
（d）使得每個狀態轉變為下乙個狀態的狀態轉換函式。
ARM學習筆記 嵌入式系統
嵌入式系統是 1 以應用為中心，以計算機技術為基礎 2 軟硬體可裁減，3 對功能 可靠性 成本 體積 功耗有嚴格要求的專用計算機系統。1 嵌入式應用領域 通訊 對講機 醫療 血壓儀 智慧型家居 遊戲機 軍事 頭盔 2 什麼樣的結構讓嵌入式系統具備軟硬體可裁減的特點 硬體 嵌入式處理器 arm x86...
嵌入式學習筆記
嵌入式系統定義 技術角度以應用為中心，以計算機技術為基礎，軟硬體可裁剪，應用系統對功能，可靠性，成本，體積，功耗，和應用環境有特殊要求的專用計算機系統系統角度 設計完成複雜功能的硬體和軟體並使其緊密契合在一起的計算機系統 實時在規定的時間內，完成規定的動作 紅帽linux 基本命令 ls 檢視當前目...
嵌入式學習筆記
1 3 買了兩本書鳥哥的 鳥哥的linux私房菜基礎學習篇 第三版 和偉山東的 嵌入式linux應用開發完全手 冊 暫時看不懂 4 看了王剛的 linux系統移植 第二版 實現了windows和linux虛擬機器的檔案的共享 2014 11 02 主機可以ping通虛擬機器，虛擬機器ping不通主機...