开发可靠的软件，航空电子，军事和空间应用

　　开发可靠的软件，航空电子，军事和空间应用

　　当有故障的软件可能导致致命的事故，大型团队的工程师竭尽全力去验证代码，并确保它是可靠的，因为他们可以使它。专业工程师开发软件，航空，军事和空间应用与工具供应商超过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.