CASCO公司的VPI系统在程序里包含两个逻辑系统：“基本逻辑”和“数字集成安全保证逻辑”。