论文部分内容阅读
引言本文关注的是使用 C语言对安全功能有高度要求的安全关键系统(Safety Critical System)进行开发的过程中涉及到的一些问题。尽管这种语言充满不确定行为、依赖硬件以及其他陷阱,但它仍然是在安全关键开发领域使用的最为广泛和流行的语言。而我们可以通过事先考虑和规划,把这些潜在的问题变成了优势。