面向安全关键系统的实时数据处理软件设计

• Design of real-time data process software for safety critical systems