Assignment IX (Based on Lectures 31, 32, 33, 34 and 35) 

1. Desirable properties of modelling of Embedded Systems includes

a) hierarchy
b) making concurrency explicit
c) communications
d) All of the above

2. Which of the following statements are true regarding an Embedded System?

A. Asynchronous message passing may leads to buffer overflow 
B. Use of shared memory may results in race condition 

a) Only A
b) Only B
c) Both A and B
d) None of the above

3. In the following FSM representation what does z stands for?

  x[y] / z 
 S0   S1  

a) event
b) guard condition
c) action
d) none of the above
4. In the following state chart, what does    H    represent?

S 

i
  H 
h

  A       B     C 

g  h 

j 
k 
 Z 
Z
a) History node
b) Sub state of S when event j occurred
c) Super state
d) Both a and b

5. Which of the following are disadvantages of state charts?

a) No programming constructs
b) Non‐functional behavior
c) Both a and b
d) None of the above

6. in state chart, data dependent synchronization is achieved through

a) Shared memory
b) Message passing
c) Both a and b
d) None of the above

7. Which of the following statements are true?

A. Message sequence charts show no distinction between accidental overlap and 
synchronization 
B. State chart always give deterministic result 
C. State chart uses broadcast mode of communication 

a) Only C
 b) Both A and C
c) Both B and C
d) All of the above

8. Consider the following state chart.

  S 

  e3 [c3] / a2   e2 [c2] / a2   

  S1    S2   S3   S4 

  e1 [c1] / a1 

e1 [c1] / a3 

  S5   

Assume the following 

A. System is in initial status 
B. Action a1 enables e2 
C. Condition c2 is always true 
D. Event e1 occurred and condition c1 is true 

What is the next status of the system? 

a) System is in state S2
b) System is in state S2 and S4
c) System is in state S2 and S5
d) System is in state S4