3 Hits in 2.0 sec

Design validation of ZCSP with SPIN

V. Beaudenon, E. Encrenaz, J.-L. Desbarbieux
Third International Conference on Application of Concurrency to System Design, 2003. Proceedings.  
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 [1] in order to apply LTL verification with the SPIN model checker.  ... 
doi:10.1109/csd.2003.1207704 dblp:conf/acsd/BeaudenonED03 fatcat:wpbo6vj4ajebrk4vmsdpproiy4

Model Checking Control Communication of a FACTS Device

D.A. Cape, B.M. McMillin, J.K. Townsend
2006 International Conference on Parallel Processing Workshops (ICPPW'06)  
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 [2] , 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

China's innovation financing system: Triple Helix policy perspectives

Jarunee Wonglimpiyarat, Pravit Khaemasunun
2015 Triple Helix  
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