The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliab...The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.展开更多
In this paper, we compare the performance between channel estimation based on compressed sensing (CS) and time-domain least square (LS) for single-carrier (SC) communication system. Unlike the conventional channel est...In this paper, we compare the performance between channel estimation based on compressed sensing (CS) and time-domain least square (LS) for single-carrier (SC) communication system. Unlike the conventional channel estimation techniques such as frequency domain LS which is used in the condition that the length of pilot sequence is equal to data sequence, the estimation scheme based on CS requires smaller length of pilot sequence. In this paper, the corresponding system structure is presented. Zadoff-Chu sequence is used to generate the pilot sequence, which is shown to perform better in forming measurement matrix of CS than pseudo random sequence. Simulation results demonstrate that channel estimation based on CS achieves a better bit error rate (BER) performance than time domain LS with a smaller pilot sequence and thus raising data rate of the SC communication system.展开更多
In this paper, we investigate the pseudo almost periodicity of the unique bounded solution for a nonlinear hyperbolic equation with piecewise constant argument. The equation under consideration is a mathematical model...In this paper, we investigate the pseudo almost periodicity of the unique bounded solution for a nonlinear hyperbolic equation with piecewise constant argument. The equation under consideration is a mathematical model for the dynamics of gas absorption,展开更多
基金supported by the Aviation Science Foundation of China
文摘The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.
文摘In this paper, we compare the performance between channel estimation based on compressed sensing (CS) and time-domain least square (LS) for single-carrier (SC) communication system. Unlike the conventional channel estimation techniques such as frequency domain LS which is used in the condition that the length of pilot sequence is equal to data sequence, the estimation scheme based on CS requires smaller length of pilot sequence. In this paper, the corresponding system structure is presented. Zadoff-Chu sequence is used to generate the pilot sequence, which is shown to perform better in forming measurement matrix of CS than pseudo random sequence. Simulation results demonstrate that channel estimation based on CS achieves a better bit error rate (BER) performance than time domain LS with a smaller pilot sequence and thus raising data rate of the SC communication system.
基金The NSF(001084)of Liaoning Provincethe Science Foundation of OUC and the NSF(10371010)of China
文摘In this paper, we investigate the pseudo almost periodicity of the unique bounded solution for a nonlinear hyperbolic equation with piecewise constant argument. The equation under consideration is a mathematical model for the dynamics of gas absorption,
