How to Write Essentially Defect-free Code:A Preliminary Study

This paper presents the findings of a study on the helpful approaches to write essentially defectfree code among senior students majored in software engineering.In the first phase of the lab study,we prepared 9 coding projects for students which will help them to find their own best practices or principles to write essentially defect-free code before unit test.These students were interviewed regarding the use of their own best practices,their principles,and problems arising from the coding projects.We present qualitative and quantitative findings as well as our plans for second study phase including an industry field study.

A novel satellite-equipped receiver for autonomous monitoring of GNSS navigation signal quality

Global navigation satellite system(GNSS) comes with potential unavoidable application risks such as the sudden distortion or failure of navigation signals because its satellites are generally operated until failure. In order to solve the problems associated with these risks, receiver autonomous integrity monitoring(RAIM) and ground-based signal quality monitoring stations are widely used. Although these technologies can protect the user from the risks, they are expensive and have limited region coverage. Autonomous monitoring of satellite signal quality is an effective method to eliminate these shortcomings of the RAIM and ground-based signal quality monitoring stations; thus, a new navigation signal quality monitoring receiver which can be equipped on the satellite platform of GNSS is proposed in this paper. Because this satellite-equipped receiver is tightly coupled with navigation payload, the system architecture and its preliminary design procedure are first introduced. In theory, code-tracking loop is able to provide accurate time delay estimation of received signals. However, because of the nonlinear characteristics of the navigation payload, the traditional code-tracking loop introduces errors. To eliminate these errors, the dummy massive parallel correlators(DMPC) technique is proposed. This technique can reconstruct the cross correlation function of a navigation signal with a high code phase resolution. Combining the DMPC and direct radio frequency(RF) sampling technology, the satellite-equipped receiver can calibrate the differential code bias(DCB) accurately. In the meantime, the abnormities and failures of navigation signal can also be monitored. Finally, the accuracy of DCB calibration and the performance of fault monitoring have been verified by practical test data and numerical simulation data, respectively. The results show that the accuracy of DCB calibration is less than 0.1 ns and the novel satellite-equipped receiver can monitor the signal quality effectively.