A “short list” of embedded systems

CS269: HW/SW Engineering of Embedded Systems, Winter02

Execution Semantics

•Defined by set of actions

–Observable actions

•Call to communication media

–Other actions

•Statements

•Functions

•Assignment

•“top-level” expression

–E.g.

•7 statements: 3 compound (body of thread, minus while), while, return, 2 expressions (y=y=2+2; and x+=y+minus(y+1);).

•

Process dummy{

int x, y;

dummy(){}

int minus(int n) {return –n;}

void thread (){

x=y=2+2;

while(x<5){

x+=y+minus(y+1);

}}}