Dissertation > Excellent graduate degree dissertation topics show

Research on Modeling and Analysis Techniques for Software Temporal Fault Tree

Author: LiuLei
Tutor: QiZhiChang;DongWei
School: National University of Defense Science and Technology
Course: Computer Science and Technology
Keywords: FTA Timing Fault Tree GEF Nature extract Automated analysis
CLC: TP311.52
Type: Master's thesis
Year: 2011
Downloads: 31
Quote: 0
Read: Download Dissertation

Abstract


FTA (Fault Tree Analysis) system reliability and safety analysis of a simple, effective way. It was originally proposed by the U.S. Bell Labs in the the research telephone dialing machine automatic control system reliability, has been a history of 50 years, in the field of safety critical play a significant role. In the 1980s, the reliability and security of the software began to become the subject of concern of the scientific community, in order to meet the needs of the software security analysis, traditionally used for hardware reliability, security analysis, fault tree analysis software ported to this The new field, and has been further expanded. As software applications in various types of systems, the description of the system failure is also more and more complex, it is difficult to describe the existing fault tree, so people needed to introduce some new logic gate, dynamic fault tree and timing failure tree. The existing timing fault tree semantics of formal logic concise, easy to understand and grasp, but limited ability to express, and the lack of tool support. At the same time, the advantages of the existing model checking technology of its maturity and degree of automation favored popular people, but its existence be verified nature of the problem is difficult to extract. Semantic description of how to find a suitable timing fault tree, and off-the-shelf tools to support the logical language of formal the timing fault tree semantics, the focus is the the timing fault tree analysis and model testing methods combined. Fault tree construction and analysis is quite tedious and time-consuming, very easy to make mistakes, how to easily use the system fault tree construction and analysis, and the construction of the correctness of the fault tree for effective detection, fault tree applications need to be solved. Above the problems and needs of the existing timing fault tree based TCTL expansion, so to be able to express more complex fault system Statute. Using the The TCTL the timing fault tree semantics formalization, through fault tree analysis technique to extract formal specification of the top-level events, said TCTL form of easy UPPAAL validation of existing model checking tools. According to the characteristics of the software system, a test the correctness of the fault tree detection method, this method can effectively detect the fault tree to build the pitfalls many errors. The same time, based on the Eclipse Graphical Editing Framework GEF and rich client platform RCP JAVA language developed a the timing fault tree analysis software, the the timing fault tree Auxiliary generate and automated analysis capabilities and is able to extract a formal specification of the target event.

Related Dissertations

  1. A Comparative Study on Politeness Strategies in Chinese and American Sales Promotion Ads of Consumer Goods,H313
  2. Hydro Electrical Equipment Maintenance Management Model,TH17
  3. Airborne voice communication system Security of airworthiness,TN919.8
  4. Application Research on FMEA and FTA in Electrocoat Project Quality Management,F426.6
  5. Study of the Maintenance Strategy about Safety Relay,TM58
  6. Study of Livelihood Structure of Rural Household in the Community Co-management Areas of Participatory with the Example of GEF Project Area of Animal Husbandry Development in Gansu Province,C924.21
  7. The Economic Effect Analysis of China-GCC Free Trade Area,F752.7
  8. The Research of Information Engineering Risk Assessment,F49
  9. Study on Hazard Analysis by FTA and Comprehensive Assessment Index System in Construction Work Field,TU714
  10. Risk Analysis of the First Line of Shenyang Subway during Construction,U231.3
  11. ECFTA Global Business Data Information Acquisition System Design and Implementation,TP274.2
  12. Korea FTA to establish economic and trade impact study,F752.7
  13. Research on Setting Up the "Greater China FTA",D996.1
  14. Study on China-Japan-Korea Agri-product Trade under the FTA Framework,F752.7
  15. The Research on the Economic Effects of China-Norway Free Trade Area,F752.7
  16. Study on the Economic Effects of Building FTA between China and Australia,F752
  17. Establishment of Safety Evaluation Index System of Reciprocating Compressor Based on HAZOP,TE974
  18. Research of Automatically Generating GEF Graphical Editor,TP391.41
  19. The foundation of Sino-US free trade and Obstacles,F752.7
  20. An Analysis of Pragmatic Functions of Hedges from the Perspective of Contextual Adaptation,H030

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Program design,software engineering > Software Engineering > Software Development
© 2012 www.DissertationTopic.Net  Mobile