Kim Lavoie, Corentin Leplongeon, Simon Varvaressos, Sébastien Gaboury, Sylvain Hallé

Portable Runtime Verification with Smartphones and Optical Codes

Fonds de recherchesur la natureet les technologies

CRSNGNSERC

instruction;instruction;instruction;

instruction;instruction;

Program

Monitor

instruction;instruction;instruction;

instruction;instruction;

Program

Monitor

instruction;instruction;instruction;

instruction;instruction;

Program

Monitor

X

instruction;instruction;instruction;

instruction;instruction;

Program

Monitor

X

instruction;instruction;instruction;

instruction;instruction;

Program

Monitor

X

vs.

instruction;instruction;instruction;

instruction;instruction;

Program Monitor

instruction;instruction;instruction;

instruction;instruction;

Program Monitor

instruction;instruction;instruction;

instruction;instruction;

Program Monitor

?

instruction;instruction;instruction;

instruction;instruction;

Program Monitor

Nintendo's R.O.B.

PROTOTYPESvoid Mario.jump(int height);

<event> <method>jump</method> <x> {this.getX();} </x> <y> {this.getY();} </y> <height> {height} </height></event>

<event> <method> jump </method> <x>3</x> <y>109</y> <height> 221 </height></event>

<event> <method> haveShell </method></event>

<event> <method> crouch </method> <x>201</x> <y>56</y></event>

. . .

. . .

Code size (bytes)

Deco

din

g r

ate

Decoding time

0.1 sec./frameMonitoring time

0.005 sec./event