安全关键软件开发过程中，复用已有软件（pre-existing software）是一个必然面对的问题，很少有安全系统的软件是从零做起的。典型的已有软件有RTOS操作系统、BSP板级支持包、通信协议栈...