Component Technology Application Research On Software Design In A Kind Of Cyber-physical Systems

The Cyber-Physical Systems(CPS)is the product of the combination of the computer information world and the physical world.It will change the interactive mode between human and physical world.Although there is a great difference between CPS and Embedded system,the core of CPS can't leave the embedded system.We can treat the CPS as the perfection and improvement of the recent embedded system.In a sense,the CPS is the new embedded system.The software engineering which based on component refers to using component technology to achieve system development.The use of components for system development can improve the development efficiency.Software engineering based on Component is successfully used in many different software development projects,but the main field is in the PC machine,seldom used in CPS environment,which is because that the CPS has the limitations of resource constraints and real-time requirements.But with the complexity of CPS system gradually increased putting forward higher requirements on the performance of the system,which promoted the advanced software engineering ideas changing into the field of CPS.Recently,there have been a lot of research work began to focus on the component technology of CPS,especially in the configuration of the system which is small and static.SaveCCM(SaveComp Component Model)is a CPS software component model for SAVE(component based design of vehicle safety identification system)engineering,which is studied in the Embedded System Laboratory of Swedish University Malardalen.This thesis designs a small CPS based on the principle of SaveCMM component model: automatic packaging systemFirstly,according to the function of the automatic packaging system and the design principle of SaveCCM,this thesis presents the overall architecture of the auto packaging system model as well as the design of each component and each component ports.This method based on the SaveCMM component model which can greatly improve both the development efficiency of the system and the reusability of code.Secondly,the model of the automatic packaging system is completed on the SaveCMM component model's exclusive design platform—SaveIDE.According to SaveIDE's development process,the communication rules and the interconnection between the components and the components are given.Then,the internal behavior of each component is described by Time Automata.And the mapping relationshipbetween the parameters and the component ports is given.Since SaveIDE has a series of automation processes so in the design of automatic packaging system,to some extent,we can ignore the actual hardware environment and realize the relative separation between software and hardware.Finally,using UPPAAL PORT simulation tools to simulate the operation of automatic packing model.According to the UPPAAL PORT syntax rules,the verification tool is used to verify the basic logic of the packaging model and the Simulation and verification results are given out.The simulation and verification method can find out the errors so as to avoid the fatal errors with less cost in the early development of system,which means save the development cost.