1、本文研究了一種核反應堆保護系統(tǒng)（RPS）嵌入式保護軟件設計方法，即利用高安全性應用程序的開發(fā)環(huán)境SCADE(Safety-CriticalApplicationDevelopmentEnvironment)開發(fā)RPS的嵌入式保護軟件的方法。
　　本文按照SCADE開發(fā)嵌入式軟件的設計流程，依據(jù)HAD102/16規(guī)定的軟件生命周期，通過軟件需求階段的工藝需求分析、保護軟件需求分析和邏輯處理模塊需求分析，軟件設計階段的邏輯處理模塊設計

2、和保護軟件設計，軟件實現(xiàn)階段的邏輯處理模塊實現(xiàn)和保護軟件實現(xiàn)，通過SCADE自動生成可直接面向工程的高安全性嵌入式保護軟件。同時，在SCADE開發(fā)環(huán)境中，對邏輯處理模塊完成了MC/DC覆蓋率分析、安全性驗證，在PC機平臺中，對邏輯處理模塊SCADE生成代碼在MatlabSimulink中進行了功能驗證測試，提出了不受硬件限制的嵌入式軟件功能測試的新方法，并有效地驗證了該方法的可行性。
　　本文說明在SCADE下實現(xiàn)了RPS保護軟件