BROWSE
Detail
Conference Paper
Verifying Software Streaming Systems
Cited 1 time in 
Download 2 time
Share 
Download 2 time
Share
- Authors
- Ki Hyuk Nam, Jun Kil Park, Jin Young Choi, Jeong Joon Lee, Wan Choi
- Issue Date
- 2006-02
- Citation
- International Conference on Advanced Communication Technology (ICACT) 2006, pp.367-371
- Language
- English
- Type
- Conference Paper
- Project Code
- 05MH1300, A Development of Open Software Based On-Demand Officeware Deployment Technologies, Choi Wan
- Abstract
- Software streaming is an emerging technology that enables S/W applications to be executed on-demand without download and installation, so that the applications are available virtually everywhere in the network. In developing software streaming systems, the engine and protocols must be carefully designed since the performance and reliability of the streamed software are directly affected by that of streaming engine and network status. In this paper, we present the application of formal verification in the design and implementation of the software streaming systems to take precautions against any potential defects. To achieve this goal, we use the model checker SPIN to model and verify the base architecture and protocol of the system. The effects of the use of formal verification is much more satisfactory than we expected.
- KSP Keywords
- Emerging technology, Formal Verification, Model checker, Network status, On-demand, Performance and Reliability, Streaming system, Systems software, design and implementation