Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Online model checking is a lightight verification technique to ensure at runtime the safety of the current execution trace of the system application under test. Doing model checking online suffers from the limited execution time allocated to each checking cycle. ,  focus on accelerating online model checking so that as large the model space as possible can be explored in time. For this purpose,  introduce offline backward exploration so as to reduce the workload of online forward exploration. As a result, online model checking becomes online reach ability checking. SAT solver is used as verification engine for online model checking.  improve the performance of the SAT solver zChaff by optimizing and customizing zChaff with respect to the online model checking specific features. Moreover,  take advantage of the parallel feature and the multi-port memory available on FPGA chips.  present a new underlying architecture using 2 SAT solvers as verification engine for online model checking.  implement a quick prototype of the new underlying architecture for online model checking. Several experiments are done to test the performance of our online model checking.
['Mona Qanadilo', 'Sufyan Samara', 'Yuhong Zhao']
I am writing a research paper on a idea Accelerating Online Model Checking
[{"from": "human", "value": "I am writing a research paper on a idea Accelerating Online Model Checking"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Online model checking is a lightight verification technique to ensure at runtime the safety of the current execution trace of the system application under test. Doing model checking online suffers from the limited execution time allocated to each checking cycle. ,  focus on accelerating online model checking so that as large the model space as possible can be explored in time. For this purpose,  introduce offline backward exploration so as to reduce the workload of online forward exploration. As a result, online model checking becomes online reach ability checking. SAT solver is used as verification engine for online model checking.  improve the performance of the SAT solver zChaff by optimizing and customizing zChaff with respect to the online model checking specific features. Moreover,  take advantage of the parallel feature and the multi-port memory available on FPGA chips.  present a new underlying architecture using 2 SAT solvers as verification engine for online model checking.  implement a quick prototype of the new underlying architecture for online model checking. Several experiments are done to test the performance of our online model checking."}]