RoadFighter Android
(a formally developed game)
Welcome to the RoadFighter Android site, in here you can find specs, screenshots, details and download links of this project.
–About–
RoadFighter is a remake of the old NES (nintendo entertainment system) game, it was programmed for the Android platform using the Rodin plugin on the Eclipse IDE. Its logic module (rules and behavior) was entirely developed in a formal fashion as to provide a bug-free software.
It used the EventB2Jml tool to translate from EventB code to JML and onto Java code.
You can read the article detailing the SW design pattern used, technologies employed, specifications of the game as well as details on its implementation and results.
–Screenshots–
 |
 |
–Links and Instructions–
Download the eclipse code and export it as a project in Eclipse, right-click in its project entry to the left and select Run as Android Application. The project was compiled against Android API version 16 and 17 using OpenGL headers (they must be installed).
You can also download the logic module of the game and translate it to JML (not necessary to run the game from eclipse) using Rodin and the EventB2Jml tool. Just export it as a project in Rodin, install the EventB2Jml in Rodin, select the project entry to the left and click the menu bar entry called EventB2Jml and select translate!
In case you don’t want to deal with code, we provide an APK file for direct installation into the Android Device (with OS v2.3 or later).
–Controls–
All possible interactions with the application are touch screen events, the image below details their position:
| L: | Lean the car to the left | (Hold) | |
| R: | Lean the car to the right | (Hold) | |
| H: | High acceleration | (Touch) | |
| A: | Low acceleration | (Touch) | |
| B: | Break | (Touch) |
–Authors–
Salim Perchy: email yamil-salim dot perchy at inria dot fr
Néstor Cataño: email nestor dot catano at gmail dot com