意法半導體(STMicroelectronics，簡稱ST)最新的硬件抽象層(HAL, Hardware Abstraction Layer)固件正式加入STM32 ARM® Cortex®-M內核32位微控制器設計生態系統。新HAL固件是按照MISRA[1] C軟件開發指引及嚴格的ISO/TS16949汽車質量系統管理標準設計開發。

　　這意味著嵌入式系統開發人員可以期待將意法半導體的低層驅動程序和抽象應用程序接口(API, Application Program Interfaces)導入到自己開發的固件發行版，使之集中精力在開發應用，無需再花費時間調試或重新驗證直至底層驅動的各種代碼。

　　HAL固件棧隨將與STMCube™開發平臺一起免費提供給客戶，覆蓋STM32微控制器九大系列的全部產品。意法半導體的HAL開發過程完全依照CMM[2]模式，獲得外部認證機構審核認定，HAL開發團隊符合國際公認的ISO/TS16949標準。

　　STM32 HAL固件經過單元驗證(unitary validation)和功能驗證(functional validation)，兩項驗證都是固件模塊級和系統級測試，采用為STM32微控制器專門訂制的驗證方法，以確保認證范圍比僅符合C標準的測試更為廣泛：

　　· 所有功能測試均使用了現有的所有參數;

　　· 所有外設功能都在測試范圍;

　　· 固件模塊之間的系統級互動(如關鍵時序)都進行了功能測試。

　　驗證過程包括硅前(pre-silicon)驗證和硅后(post-silicon)驗證兩個階段，首先在微控制器原型開發階段使用FPGA平臺研發、驗證HAL，然后在實際晶片上進行第二次驗證。意法半導體還用了不同的工具鏈(IAR, Keil, GCC)測試HAL固件棧。新固件棧還被引入意法半導體的STM32CubeMX代碼生成工具，為功能測試又增加了一個級別。

　　因此，STM32Cube HAL固件棧讓嵌入式系統設計人員能夠更快地開發、更便捷地維護最終產品，確保公司在STM32 10年使用壽命承諾期內擁有通過行業認證、安全可靠、并提供全面維護的固件工具包。

　　[1] 電機工業軟件可靠性協會(MISRA, Motor Industry Software Reliability Association)開發的一套C編程語言軟件開發指引，以促進嵌入式系統代碼的安全性、移植性和可靠性。

　　[2] 軟件能力成熟度模型(CMM, Capability Maturity Model)描述一個組織的軟件工程方法是如何升級發展的。