本文关注的是使用C语言对安全功能有高度要求的安全关键系统(SafetyCritical System)进行开发的过程中涉及到的一些问题。