開發可靠的軟件，航空電子，軍事和空間應用

　　當有故障的軟件可能導致致命的事故，大型團隊的工程師竭盡全力去驗證代碼，并確保它是可靠的，因為他們可以使它。專業工程師開發軟件，航空，軍事和空間應用與工具供應商超過20年的密切合作，與他們共同開發更好的工具和技術，消除缺陷，確保關鍵任務系統會進行可靠和完美的一切。

　　本文將探討軟件開發工具和開發高品質的AMS軟件工程師的常用技術，包括工具如Keil MDK。本文還將研究如何在工程師開發的AMS應用軟件使用的安全功能內置到現代的Cortex-M4微控制器如Atmel SAM4系列，以及飛思卡爾的Kinetis家族。本文將探討如何開發非常大和復雜的軟件工程師能夠保持軟件錯誤進入他們的應用程序。

　　Is it really worth paying for professional ARM? Cortex?-M development tools when there are so many free-of-charge alternatives available？ What can these tools offer to make them worth thousands of dollars per developer？ The answer depends on how much an undetected bug could end up costing you.

　　If you develop embedded software for a living， you are no doubt familiar with that uncomfortable feeling of knowing that your code contains a few hidden bugs. Even the most professionally designed product， subject to thousands of hours of rigorous testing， can end up on the market with bugs undetected. Customers have mostly learned to accept this， possibly because the vast majority of embedded system failures are merely annoying. The user experiences a hiccup， tries again， shrugs， and carries on. A little data got lost， and nobody got hurt.