상세정보
학술대회
Verifying Software Streaming Systems
Cited 1 time in 
Download 1 time
Share 
Download 1 time
Share
- 발행일
- 200602
- 출처
- International Conference on Advanced Communication Technology (ICACT) 2006, pp.367-371
- 협약과제
- 05MH1300, 공개 소프트웨어 기반 온디맨드 사무환경 제공기술 개발, 최완
- 초록
- 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 제안 키워드
- Emerging technology, Formal Verification, Model checker, Network status, On-demand, Performance and Reliability, Streaming system, Systems software, design and implementation