hrcak mascot   Srce   HID

Izvorni znanstveni članak
https://doi.org/10.31341/jios.41.2.5

Computer Games as Virtual Environments for Safety-Critical Software Validation

Štefan Korečko ; Faculty of Electrical Engineering and Informatics, Technical University of Košice, Košice, Slovakia
Branislav Sobota ; Faculty of Electrical Engineering and Informatics, Technical University of Košice, Košice, Slovakia

Puni tekst: engleski, pdf (1 MB) str. 197-212 preuzimanja: 120* citiraj
APA 6th Edition
Korečko, Š. i Sobota, B. (2017). Computer Games as Virtual Environments for Safety-Critical Software Validation. Journal of Information and Organizational Sciences, 41 (2), 197-212. https://doi.org/10.31341/jios.41.2.5
MLA 8th Edition
Korečko, Štefan i Branislav Sobota. "Computer Games as Virtual Environments for Safety-Critical Software Validation." Journal of Information and Organizational Sciences, vol. 41, br. 2, 2017, str. 197-212. https://doi.org/10.31341/jios.41.2.5. Citirano 21.09.2019.
Chicago 17th Edition
Korečko, Štefan i Branislav Sobota. "Computer Games as Virtual Environments for Safety-Critical Software Validation." Journal of Information and Organizational Sciences 41, br. 2 (2017): 197-212. https://doi.org/10.31341/jios.41.2.5
Harvard
Korečko, Š., i Sobota, B. (2017). 'Computer Games as Virtual Environments for Safety-Critical Software Validation', Journal of Information and Organizational Sciences, 41(2), str. 197-212. https://doi.org/10.31341/jios.41.2.5
Vancouver
Korečko Š, Sobota B. Computer Games as Virtual Environments for Safety-Critical Software Validation. Journal of Information and Organizational Sciences [Internet]. 2017 [pristupljeno 21.09.2019.];41(2):197-212. https://doi.org/10.31341/jios.41.2.5
IEEE
Š. Korečko i B. Sobota, "Computer Games as Virtual Environments for Safety-Critical Software Validation", Journal of Information and Organizational Sciences, vol.41, br. 2, str. 197-212, 2017. [Online]. https://doi.org/10.31341/jios.41.2.5

Sažetak
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.

Ključne riječi
formal methods; computer games; games with purpose; validation; verification

Hrčak ID: 190738

URI
https://hrcak.srce.hr/190738

Posjeta: 220 *