Reliable Greenhouse Environment Monitor and Control System Architecture:Modeling and Reasoning

The greenhouse environment monitor and control system is composed of several concurrently interacting subsystems.In order to guarantee the efficient growth of crops in the greenhouse environment,we propose a reliable greenhouse environment monitor and control system architecture.The proposed architecture can provide a generic framework to guide the development of the greenhouse environment system.The PVS language is used to formally model the proposed architecture accurately.Furthermore,in order to verify that the proposed architecture can satisfy high reliability requirements,the PVS theorem prover is used to reason about the fault tolerant properties of the proposed architecture mechanically.