Dissertation > Excellent graduate degree dissertation topics show

Component Based Modeling Method for PLC Control Softwares

Author: WangRui
Tutor: SunJiaGuang
School: Tsinghua University
Course: Computer Science and Technology
Keywords: Component based modelling programmable logic controllers code synthe-sis domain knowledge
CLC: TP273
Type: PhD thesis
Year: 2012
Downloads: 123
Quote: 0
Read: Download Dissertation

Abstract


Embedded systems are widely used in many safety critical fields. The correctnessand reliability of embedded systems have significant influence on human safety, socialdevelopment and society steady. It is also an important research topic in computer scienceand automatic control. Formal method is an important way to ensure the correctness andreliability of embedded systems. However, formal method is based on mathematicaltheory and hard to learn. This hinders the applications of formal method in industry.This dissertation investigates the component-based modeling method for PLC soft-ware. Considering the characteristics and practical problems of PLC software, the methodcontains three levels: modeling language, consistency checking and implementation. Themain contributions are summarized as follows:1. The modeling language level provides a domain specific modeling language PLC-BIP. PLC-BIP extends BIP with two aspects. One is domain knowledge expression,and the other is concept annotation. The PLC features, such as cyclic executionmechanism, timer, function call and interruption scheduling are studied and mod-eled as component. It suggests top down general decomposition principles, andbottom up components mapping architecture for PLC systems. It defines the op-erational semantics for IL language, and provides a modeling method for exitingprograms using translation.2. The checking level provides a static checking framework based on domain knowl-edge for the problem that models may violate the potential domain constraints.It provides a formal expression for domain constraints. The constraints checkingproblem is converted to the concept lattice constraints solving problem. The check-ing is automatically executed whiling modeling, and can find errors more earlier.3. The implementation level presents a method for PLC code synthesis based on for-mal models. The method considers the realistic feature of hardware and the real-time and resource constraints. This makes the synthesis method more practical. Itprovides an algorithm of the method and show the synthesis steps by a two-doorcontrol case.4. A modeling prototype for the domain knowledge and component-based modeling method is implemented. It provides a graphic editor, a library for device controldomain and a compiler with the functions of syntax and semantic checking. Italso supports the domain concept annotation and domain constraints checking. Acase study about the modeling methodology for gate control system of LingShanBuddhist Palace in Wuxi is presented. It illustrates the PLC-BIP language providesan easier way for the modeling process by component types and domain operators.The automatic checking method of domain constraints is applied and shows itsefciency.

Related Dissertations

  1. Modeling and retrieval of multimedia personalization,TP391.3
  2. Human motion sequence data semantic analysis method,TP391.1
  3. The Research on Optimum Methods of Monitoring Incident Detection Using Bayesian Model,TP18
  4. Study on Data Annotation of Deep Web Data Integration System,TP393.09
  5. Domain knowledge base construction method and its application,TP391.1
  6. Research on Subject and Predicate Relation Identification and Theme Relevance Computation Technology,TP391.1
  7. Research on Missing Value Imputation for Microarray Gene Expression Data,Q78
  8. Mathematics domain knowledge to learn the knowledge characterization,O1-4
  9. Researches on Information Extraction Mechanism of Physics Disciplinary Domain Knowledge Study,G633.7
  10. The Application of Support Vector Machine on RF Power Device Modeling,TN626
  11. Research on Teaching-Domain Knowledge Repository Based on Ontology,TP391.1
  12. Domain knowledge uncertainty reasoning,TP391.1
  13. Research on the Extension and Ontology Model of ADL/SCORM Content Aggregation Mode,TP399-C1
  14. A Personalized Recommendation Algorithm Based on Knowledge Category Tree,TP182
  15. Research Knowledge Manage and Construction Based on Ontology,TP182
  16. Question Paraphrase Based on Relevant Phrase Mining,TP391.3
  17. Studies on the Control over Coal-Conveyance of Power Plants,TM621.7
  18. MAS-based distance education system in the field of knowledge,TP399-C1
  19. Research on Framework of Ontology Based Knowledge Discovery System,TP311.52
  20. Research on Domain-Oriented Ir System Architechture and Related Techniques,TP391.3
  21. Course Knowledge Based on the Test and Counseling System Research and Application,TP391.6

CLC: > Industrial Technology > Automation technology,computer technology > Automation technology and equipment > Automation systems > Automatic control,automatic control system
© 2012 www.DissertationTopic.Net  Mobile