Computer Games as Virtual Environments for Safety-Critical Software Validation
Journal Title: Journal of Information and Organizational Sciences - Year 2017, Vol 41, Issue 2
Abstract
Computer games became an inseparable part of everyday life in modern society and the time people spend playing them every day is increasing. This trend caused a noticeable research activity focused on utilizing the time spent playing in a meaningful way, for example to help solving scientific problems or tasks related to computer systems development. In this paper we present one contribution to this activity, a software system consisting of a modified version of the Open Rails train simulator and an application called TS2JavaConn, which allows to use separately developed software controllers with the simulator. The system is intended for validation of controllers developed by formal methods. The paper describes the overall architecture of the system and operation of its components. It also compares the system with other approaches to purposeful utilization of computer games, specifies suitable formal methods and illustrates its intended use on an example.
Authors and Affiliations
Štefan Korečko, Branislav Sobota
Keywords
Related Articles
- EP ID EP381481
- DOI 10.31341/jios.41.2.5
- Views 126
- Downloads 0
The Classification of Types of Business-to-Business Electronic Commerce: A Framework Construction
Based on the degree of information sharing between buyers and suppliers as well as the level of supplier power, we suggested a framework that can be useful for classifying types of business to business (B2B) electronic c...
Merkle-Damgård Construction Method and Alternatives: A Review
Cryptographic hash function is an important cryptographic tool in the field of information security. Design of most widely used hash functions such as MD5 and SHA-1 is based on the iterations of compression function by M...
Comparison of DPSK and RZ-DPSK Modulations in Optical Channel with Speed of 10 Gbps
This article is devoted to the problematic of error rate and modulations in optical communication. Optic waveguide shows insufficiencies in high speed transfers manifested by corrupted transfer. Although modern technolog...
Beyond Knowledge Integration Barriers in ERP Implementations: An Institutional Approach
The objective of the article is to go beyond the knowledge integration barriers in ERP implementations by analyzing structural, technological, intellectual and socioemotional barriers that appear during an ERP implementa...
Performance Measurement of Complex Event Platforms
The aim of this paper is to find and compare existing solutions of complex event processing platforms (CEP). CEP platforms generally serve for processing and/or predicting of high frequency data. We intend to use CEP pla...