Verifying software streaming systems

Ki Hyuk Nam, Jun Kil Park, Jin Young Choi, Jeong Joon Lee, Wan Choi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

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.

Original languageEnglish
Title of host publication8th International Conference Advanced Communication Technology, ICACT 2006 - Proceedings
Pages367-371
Number of pages5
Publication statusPublished - 2006
Event8th International Conference Advanced Communication Technology, ICACT 2006 - Phoenix Park, Korea, Republic of
Duration: 2006 Feb 202006 Feb 22

Publication series

Name8th International Conference Advanced Communication Technology, ICACT 2006 - Proceedings
Volume1

Other

Other8th International Conference Advanced Communication Technology, ICACT 2006
CountryKorea, Republic of
CityPhoenix Park
Period06/2/2006/2/22

Keywords

  • Feaver
  • Formal verification
  • MODEX
  • Model checking
  • SPIN
  • Software streaming

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Verifying software streaming systems'. Together they form a unique fingerprint.

  • Cite this

    Nam, K. H., Park, J. K., Choi, J. Y., Lee, J. J., & Choi, W. (2006). Verifying software streaming systems. In 8th International Conference Advanced Communication Technology, ICACT 2006 - Proceedings (pp. 367-371). [1625592] (8th International Conference Advanced Communication Technology, ICACT 2006 - Proceedings; Vol. 1).