<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Paolo Masci</style></author><author><style face="normal" font="default" size="100%">Zhang, Yi</style></author><author><style face="normal" font="default" size="100%">Jones, Paul</style></author><author><style face="normal" font="default" size="100%">Patrick Oladimeji</style></author><author><style face="normal" font="default" size="100%">Enrico D'Urso</style></author><author><style face="normal" font="default" size="100%">Cinzia Bernardeschi</style></author><author><style face="normal" font="default" size="100%">Paul Curzon</style></author><author><style face="normal" font="default" size="100%">Harold Thimbleby</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Combining PVSio with Stateflow</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the 6th NASA Formal Methods Symposium (NFM2014)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year><pub-dates><date><style  face="normal" font="default" size="100%">April-May</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/masci/files/pvsioweb-stateflow-nfm2014.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">Springer-Verlag</style></publisher><pub-location><style face="normal" font="default" size="100%">Berlin, Heidelberg</style></pub-location><volume><style face="normal" font="default" size="100%">Lecture Notes in Computer Science book series (LNCS, volume 8430)</style></volume><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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.&lt;/p&gt;
</style></abstract></record></records></xml>