| 1. Background of software reliability and safety | 第1-18页 |
| ·Why we consider about software reliability and safety | 第10-12页 |
| ·Definition of software reliability and safety | 第12-14页 |
| ·Definition of software reliability | 第12-13页 |
| ·Definition of software safety | 第13页 |
| ·More about software reliability and safety (standards and basic thoughts) | 第13-14页 |
| ·The differences between software safety, reliability and security | 第14-18页 |
| 2. Introduction of basic knowledge | 第18-25页 |
| ·The types of existing models | 第18-20页 |
| ·Deterministic models | 第18-19页 |
| ·Probabilistic models | 第19-20页 |
| ·Notation | 第20-25页 |
| 3. Theory of Poisson Processes | 第25-37页 |
| ·Definitions of Homogeneous Poisson Processes (HPP) and Nonhomogeneous Poisson Process (NHPP) | 第25-33页 |
| ·Mean value function and intensity function | 第28-30页 |
| ·Distribution theory of NHPPs | 第30-33页 |
| ·Characterization and some theories of Poisson processes | 第33-35页 |
| ·The maximum likelihood method | 第35-37页 |
| 4. Model building | 第37-54页 |
| ·Introduction | 第37-38页 |
| ·The model of software reliability | 第38-42页 |
| ·Modeling | 第38-39页 |
| ·Example 1: | 第39-42页 |
| ·The model of software safety | 第42-54页 |
| ·Basic idea | 第42-45页 |
| ·Notations and Modeling | 第45-54页 |
| 5. Conclusion and further work | 第54-57页 |
| 6. Acknowledgement | 第57-58页 |
| 7. Reference | 第58-62页 |
| 原创性声明 | 第62页 |
| 使用授权的声明 | 第62页 |
