有限狀態機是根據當前狀態以及觸發條件進行狀態轉換的一種機制，包含一組狀態集（state）、一個起始狀態（start state）、一組輸入符號集（alphabet）、一個映射輸入符號和當前狀態到下一狀態的 ...
對嵌入式軟件的驗證一般依賴于形式化的方法。
形式化的方法可以對嵌入式軟件系統進行嚴格的規約，并可以對系統進行不同視角的驗證。驗證主要是分析系統是否具有期望的性質。常見的驗證技術主 ...
引言
現在V型開發模式已成為使用最廣的汽車軟件開發流程標準。這一標準流程得到許多工具的支撐，有來自Mathworks的工具，如用于功能開發和仿真的 Matlab／Simulink／Stateflow，用于自動代碼 ...
概覽
使用Multisim，可以使學生融入學習氛圍，通過動手實踐鞏固理論知識，還可以提供易于使用的交互式電路教學和學習環境。為教學目的而開發的Multisim包含多種特性，能協助教師授課，能為學 ...
概覽
SPICE (針對集成電路的仿真程序)是加利福尼亞大學伯克萊分校開發的模擬電路仿真器，是作為CANCER (除射頻電路外的非線性電路計算分析)程序的一部分進行開發的。
過去的50年中，眾多 ...
由于嵌入式技術的發展，嵌入式Web服務器軟件越來越大，對硬件的要求也相應地提高，但在工業現場的底層控制中，一般嵌入式系統的硬件配置都不是很高，導致了軟件和硬件的沖突。本文就是對實際應 ...
引言
計算機編程語言的關鍵字就好比是它的靈魂，只有深入理解了它們的含義才能編寫出優秀的代碼。C語言以其簡潔、高效和強大等特性成為嵌入式軟件編程的首選語言，但是某些關鍵字，例如const ...
云計算大潮下的暗流----一個徹底的分布式網絡
問題1：我的數字足跡遍布網絡，沒有一個整體解決方案能記錄和管理。
博客搬家，不同即時交流工具上的聊天記錄，不同網站的留言和回復提醒， ...
多態性是C++的一個重要特征。從廣義上說，多態性是指一段程序能夠處理多種類型對象的能力；具體地講，多態性就是對不同對象發出同樣的指令時，不同對象會有不同的行為。
如果程序員充分利用C ...
1 從過程到對象——類概念的引入
真實世界是由“對象”組成的，無論是動物、植物、工廠還是機器等，都是根據它們的特征，細分出來的對象類別。盡管在軟件設計時，更多時候我們面對的是經過高 ...
引言
對于各種各樣應用日益廣泛的嵌入式系統而言，除了應用功能強大外，人機界面的美觀也是吸引用戶的重要方面。因此，越來越多的嵌入式系統開發人員希望：LCD上除了顯示圖案固定的菜單以 ...
1 概述
VxWorks是WindRiver公司開發的高性能實時嵌入式操作系統內核。在應用軟件開發過程中經常會用到定時器。 VxWorks下要實現定時功能有2個途徑：一，借助taskDelay函數實現；二，使用VxWo ...
