Title: A trustable software with a dynamic loop control mechanism

Authors: Nalinrat Srirajun; Pattarasinee Bhattarakosol; Panjai Tantasanawong; Sunyoung Han

Addresses: Department of Mathematics, Faculty of Science, Chulalongkorn University, Bangkok, 10330, Thailand. ' Department of Mathematics, Faculty of Science, Chulalongkorn University, Bangkok, 10330, Thailand. ' Department of Computing, Faculty of Science, Silpakorn University, Sanam Chandra Palace Campus, Rajamunka-nai Rd., Muang District, Nakhon Pathom, 73000, Thailand. ' Department of Computer Science and Engineering, Konkuk University, 1 Hwayang-dong, Gwangjin-gu, Seoul 143-701, Korea

Abstract: Unexpected infinite loop during software deployment period is an undesirable for every organisation since it can cause critical damages in various aspects. Most of the current protection methods will perform during the software development process using verification and validation processes. However, these methods will not cover the dynamic loop control mechanism where the termination of the loop is relied on the value obtained during runtime process. Thus, many possible error values cannot be protected based on human's limitation. Therefore, this paper proposes architecture for checking and terminating infinite loop situation during the runtime process. Additionally, the proposed mechanism can completely prevent the unlimited loop for these dynamic situations. The testing results have shown that the proposed solution provides the trustable system for every organisation.

Keywords: execution time; mean time interval; verification; validation; run-time systems; monitoring; detecting; result checking; dynamic loop control; communications; trust; trustworthiness; trustable software; software development; infinite loop.

DOI: 10.1504/IJITCC.2012.045805

International Journal of Information Technology, Communications and Convergence, 2012 Vol.2 No.1, pp.54 - 70

Published online: 16 Aug 2014 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article