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 113
- Downloads 0
The Scope of the Concept of Information and the Future of Information Science
The key concept of information science is the concept of information which is tied to a number of complications. The main problem is that there is no definition of this concept. The purpose of this article is an analysis...
A Guidance Based Approach for Enhancing the e-Government Interoperability
Developing e-Government interoperability in the government context is a complex task. As interoperability in government context is associated and hindered by many challenges and barriers connected to government nature of...
Estimation and Comparison of Underground Economy in Croatia and European Union Countries: Fuzzy Logic Approach
Underground economy (UE) is one of the undesired facts in every country. The size of the underground economy is an important parameter in determining the effectiveness of fiscal and monetary policy, the rate of economic...
Computer Games as Virtual Environments for Safety-Critical Software Validation
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...
Boosting Ensembles of Heavy Two-Layer Perceptrons for Increasing Classification Accuracy in Recognizing Shifted-Turned-Scaled Flat Images with Binary Features
A method of constructing boosting ensembles of heavy two-layer perceptrons is stated. The benchmark classification problem is recognition of shifted-turned-scaled flat images of a medium format with binary features. The...