portable runtime verification with smartphones and optical codes

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