Dissertation > Excellent graduate degree dissertation topics show

Event Driven Monitoring of Cyber-physical Systems Based on Hybrid Automata

Author: MaoJianHui
Tutor: WangZuo
School: National University of Defense Science and Technology
Course: Computer Science and Technology
Keywords: Information physical fusion system Run - time monitoring Hybrid automata Nature of security To collaborative adaptive cruise control
CLC: TP311.52
Type: Master's thesis
Year: 2011
Downloads: 54
Quote: 0
Read: Download Dissertation

Abstract


Information the physical fusion system ( CPS systems) are considered the next generation of embedded systems , has a broad application prospects . Information , physical and other aspects of CPS system involves itself of high complexity and the CPS system often run in the uncertain physical environment , which makes the application of traditional formal verification techniques to verify the behavior of the system becomes completely not practical . Thus , the run-time monitoring as a lightweight authentication technology for monitoring and verification system runtime dynamic behavior provides a practical method . Monitoring theory and technology on the basis of in -depth study and research CPS systems and software to run this article for the CPS system monitoring carried out the following work : 1 , the theoretical basis of the CPS system and existing research , as well as software to run when monitoring technology and methods to conduct in-depth study and research , and analysis of the main difficulties of the the CPS system monitoring problem . 2 , based on the hybrid automata model , the paper presents an event-driven nature of the CPS system monitoring the theoretical framework , the framework combined with model-based design and form analysis in one , effective monitoring of safety properties expressed by the temporal logic MEDL . 3 , widely used for the industrial sector of the CPS system the modeling platform --Simulink/Stateflow, papers subsequently submitted by method the PEDL / MEDL Statute of the generated monitor model , designed by the rules the PEDL / MEDL to the conversion Stateflow state diagram , and PEDL / MEDL - Stateflow state diagram automatic conversion tool . 4 papers to field of traffic CPS system typical application cases - CACC system application background shows how to use the system model into the framework of monitoring capabilities , its dynamic behavior during system operation , monitoring , confirmed that the proposed the design of monitoring the effectiveness of the framework .

Related Dissertations

  1. Aspect-Oriented Fault-Tolerant Scheduling Model for Real-Time System in Cyber Physical Systems,TP302.8
  2. Legal Analysis and System Construction on the Childbirth Right,D913
  3. Model transformation and reachability analysis of hybrid systems,TP13
  4. The Formal Analysis and Verification of Hybrid System Based on Hierarchical Analysis,N94
  5. High credibility adaptive fault-tolerant software development methodology based on the target,TP311.52
  6. THE STUDY OF ANALYSIS AND SYNTHESIS FOR HYBRID SYSTEMS,TP13
  7. Research on Modeling Methodologies and Implementation Techniques for Functional-Behavioral Virtual Prototypes of Spacecrafts,V57
  8. Design and Development of Application Programme for Fault Analyzer Based on Wince Platform,TP311.52
  9. Service Model Driven Architecture (SMDA) Oriented Modeling Techniques and Tool Implemention,TP311.52
  10. The Technologies for Interoperability of Heterogeneous Enterprise Applications and Their Application in Material SCM,TP311.52
  11. The Software Component Modeling Method Based on Feature and Its Application in VMI Management System,TP311.52
  12. Development of Software Platform for Electro-Optical Test System,TP311.52
  13. The Design and Realization of NS2-based PeerCast Simulation Platform,TP311.52
  14. The Research and Design of Middle-Small Enterprises Purchase-Sales-Inventory Management System,TP311.52
  15. Research and Implementation for Method of AUTOSAR System Modeling,TP311.52
  16. Design and Implementation of the weapons and equipment information management system,TP311.52
  17. Design and Implementation of the HL7 Message Parsing and Store in the Medical Information Integration Platform,TP311.52
  18. The Design and Implementation of Medical Image Remote Access and Sharing Based on WADO,TP311.52
  19. Design and Implementation of the teaching file management system,TP311.52
  20. Force Online Examination System Design and Implementation,TP311.52
  21. The Application of Virtual Reality Geographical Information System to Urban Design,TP311.52

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