IAR Systems發(fā)布的visualState是基于UML狀態(tài)機(jī)的建模工具，允許開發(fā)人員在狀態(tài)機(jī)的層次上開發(fā)和調(diào)試，然后直接生成可用的C代碼，盡量減少人工編碼引進(jìn)錯(cuò)誤的可能。對(duì)于復(fù)雜的邏輯，如果不使用層次狀態(tài)機(jī)來剖析它的復(fù)雜性，而試圖靠大腦if…else…直接編碼，錯(cuò)誤是難免的。嵌入式系統(tǒng)很多用在涉及人身安全的領(lǐng)域，出現(xiàn)錯(cuò)誤后果相當(dāng)嚴(yán)重。 目前，visualState已經(jīng)用在各種設(shè)備的開發(fā)中，包括取款機(jī)、紅外夜視儀、阿帕奇直升機(jī)的部件等。IAR Systems還和SCIOPTA達(dá)成了合作協(xié)議，將IAR的工具和SCIOPTA RTOS結(jié)合起來，共同聚焦于安全苛求的應(yīng)用，提供通過國(guó)際電工委員會(huì)IEC 61508標(biāo)準(zhǔn)認(rèn)證的一站式的解決方案。 創(chuàng)業(yè)公司Axilica發(fā)布了EDA工具FalconML，幫助工程師從UML到SystemC，然后到FPGA或ASIC實(shí)現(xiàn)。SoC（芯片上系統(tǒng)）的復(fù)雜度越來越高，基于C++、加上硬件擴(kuò)展庫(kù)的SystemC(http://www.systemc.org)成為新一代的設(shè)計(jì)語(yǔ)言。2005年12月，SystemC通過IEEE標(biāo)準(zhǔn)協(xié)會(huì)的審查，取得IEEE 1666標(biāo)準(zhǔn)，更值得我們投入精力去研究它。 《基于狀態(tài)機(jī)的嵌入式系統(tǒng)開發(fā)》 （21世紀(jì)高等學(xué)校嵌入式系統(tǒng)專業(yè)規(guī)劃教材） 內(nèi)容簡(jiǎn)介 基于狀態(tài)機(jī)的嵌入式系統(tǒng)開發(fā)是當(dāng)前流行、前景廣闊的嵌入式系統(tǒng)開發(fā)方法。本書是基于狀態(tài)機(jī)的嵌入式系統(tǒng)開發(fā)的入門指導(dǎo)書，兼顧理論性與實(shí)踐性，介紹了嵌入式系統(tǒng)及狀態(tài)機(jī)的基礎(chǔ)知識(shí)，同時(shí)加入了生動(dòng)的實(shí)際案例程序。 　　本書內(nèi)容分為3篇。第1篇為引入篇，介紹狀態(tài)機(jī)建模平臺(tái)與入門實(shí)驗(yàn)；第2篇為理論與實(shí)踐篇，主要介紹了UML狀態(tài)機(jī)理論基礎(chǔ)、visualSTATE狀態(tài)機(jī)和丁具鏈、visualSTATE狀態(tài)機(jī)建模案例以及系統(tǒng)整合；第3篇為創(chuàng)新沒汁篇，具體講述廠將visualSTATE牛成的代碼集成到STM32的具體例廣ATM取款機(jī)設(shè)計(jì)，并在最后展示了實(shí)際中——款車燈系統(tǒng)應(yīng)用visualSTATE快速建模的過程。 　　本書由淺入深，循序漸進(jìn)，適合剛接觸基于狀態(tài)機(jī)的嵌入式系統(tǒng)開發(fā)的初學(xué)者學(xué)習(xí)，也可作為大中專院校嵌入式相關(guān)專業(yè)本科生、研究生的教材，同時(shí)還可以作為從事嵌入式系統(tǒng)應(yīng)用開發(fā)工程師的參考書。