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