Tingdi Zhao

Learn More
Satellites now form a core component for space based systems such as GPS and GLONAS which provide location and timing information for a variety of uses. Such satellites are designed to operate in-orbit and have lifetimes of 10 years or more. Reliability, availability and maintainability (RAM) analysis of these systems has been indispensable in the design(More)
Satellites now form a core component for space based systems such as GPS and GLONASS which provide location and timing information for a variety of uses. Such satellites are designed for operating on orbit to perform tasks and have lifetimes of 10 years or more. Reliability, availability and maintainability (RAM) analysis of systems has been indispensable(More)
Safety is an essential requirement for railway transportation. There are many methods that have been developed to predict, prevent and mitigate accidents in this context. All of these methods have their own purpose and limitations. This paper presents a new useful analysis technique: timed fault tree analysis. This method extends traditional fault tree(More)
This paper highlights a promising application of the analysis technique of probabilistic verification. We prove that it is able and suitable to analyse GNSS based positioning in aviation sectors for aircraft guidance. In particular, the focus is a widely used formal method called probabilistic model checking, and its generalisation to the analysis of(More)
This paper highlights an application of probabilistic model checking to satellite positioning systems for aircraft guidance. After introducing our formal approach based on using the PRISM model checker, we built a model of a global navigation satellite system (GNSS) based positioning system for a specific flight in the probabilistic π-calculus, a(More)
With the aid of the Finite State Machine (FSM) and formal verification, a framework of updated Functional Resonance Analysis Method (FRAM) is proposed to refine operation guidelines as such and hence improves manufacturing processes by reducing risks of unqualified products during manufacturing operations. Firstly, the FRAM is used to model a manufacturing(More)
Zonal safety analysis (ZSA) is important to system safety analysis, and is especially required during the development of aircrafts. As the ZSA method in present specifications and standards is not well-enough designed to implement, an improved ZSA scheme was put forward here. In the new scheme, the connotation of ZSA method was clarified, and the method was(More)
Safety is an essential requirement for railway transportation. There are many methods that have been developed to predict, prevent and mitigate accidents in this context. All of these methods have their own purpose and limitations. This paper presents a new useful analysis technique: timed fault tree analysis. This method extends traditional fault tree(More)