A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory Access. ... The first model gave us an overview of the protocol robustness. The second allowed us to test realistic properties. We also describe LTL properties that were checked with the SPIN model checker. ... INTRODUCTION In this paper we consider the problem of specifying the model of ZCSP protocol  in order to apply LTL verification with the SPIN model checker. ...doi:10.1109/csd.2003.1207704 dblp:conf/acsd/BeaudenonED03 fatcat:wpbo6vj4ajebrk4vmsdpproiy4
This verification and others presented herein were performed with the model checkers SPIN and RT-SPIN. ... This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. ... As a validation of the difficulty and complexity of verification of a communication protocol, a comparison to the work of  , which focuses on model checking of a zero-cost secured protocol (ZCSP) using ...doi:10.1109/icppw.2006.54 dblp:conf/icppw/CapeMT06 fatcat:bsffdwgsm5ejbe24xgrhzyride
shown the development of an innovation system through market mechanism with strong Triple Helix interactions in its industrial clusters. ... The analysis comparing the case with the USA, the world's most innovative economy, provides interesting insights regarding the innovative performance of China. ... Name of institutions Names and positions of interviewees ...doi:10.1186/s40604-014-0013-y fatcat:7evsbsrsmfhglps6i2xysrbxne