Combining Pvsio With Stateflow
Proceedings of the 6th International Symposium on NASA Formal Methods - Volume 8430(2014)
摘要
An approach to integrating PVS executable specifications and Stateflow models is presented that uses web services to enable a seamless exchange of simulation events and data between PVS and Stateflow. Thus, it allows the wide range of applications developed in Stateflow to benefit from the rigor of PVS verification. The effectiveness of the approach is demonstrated on a medical device prototype, which consists of a user interface developed in PVS and a software controller implemented in Stateflow. Simulation on the prototype shows that simulation data produced is exchanged smoothly between in PVSio and Stateflow.
更多查看译文
关键词
Simulation,PVSio,Stateflow
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络