Safety software of speed and position determination system based on SCADE and QNX platform
LI Ya · Jisuanji yingyong yanjiu · 2013
To ensure the safety of software of speed and position determination system,this paper studied its principle and established a new speed and position determination model;on this basis,it introduced SCADE development method and created the system software model.Additionally,it used the SCADE formal verification technology to validate the safety of the model.Finally,the software was introduced into QNX platform to test.Through the analysis and practice of QNX technology,the result shows that the software completely satisfies the requirement of the technology and safety of speed and position determination system.