Font Size: a A A

Modeling And Verifying Of CPS Component Service Composition Based On Hybrid Automata

Posted on:2015-11-02Degree:MasterType:Thesis
Country:ChinaCandidate:J N ZhangFull Text:PDF
GTID:2298330467469416Subject:Computer application technology
Abstract/Summary:PDF Full Text Request
The Cyber-Physical System (CPS) is a kind of networked embedded system whichconsists of embedded technology, control technology, communication technology and bigdata analysis technology. It’s considered that the CPS and Internet of Things (IoT) willbe future directions of the information industry. CPS is widely used in safety criticalfields, and these fields have high requirements of system reliability. Therefore, it’s ahotspot in CPS research that how to ensure the reliability of CPS.Formal method is an important method to improve system reliability, and it mainlycontains formal modeling and verifying. Since CPS is so complex that it’s hardly to bemodeled and analyzed, so we use the compositional verification method to cope with thisproblem. First, we divide the CPS into atom components, and then model the services ofatom components as component-service. Second, we verify the properties of thecomponent-service models. At last, we model the compositional service based oncomponent-service models and verify the properties of the compositional service model.Based-on the idea of above, the major works of this paper are as follows:(1)through analyzing the properties of CPS, we present a CPS component service modelbased on hybrid automata,and analysis the properties and behaviors of the model;(2) Wepresent a compositional service model based on the component service models, and thendiscuss the communication problem and deadlock problem which are two commonproblems seriously affect reliability of a system;(3) we verify thesynchronized/asynchronous communication and deadlock checking, where thecommunication and deadlock are important factors of system reliability. At last, we showthe effective of the CPS component-service model by an example.
Keywords/Search Tags:hybrid automata, Cyber-physical System, component-service composition, formal model, formal verification
PDF Full Text Request
Related items