OS ass1 modeling
2016-03-25 22:18:56 0 举报
describing one senario of wireless sensor network
作者其他创作
大纲/内容
sensor7
fail : i=0
sensors[sensors] s
controller3
sensor10
count
sensor4
sensor5
sensor12
sensor13
WSN layer
fail : m=0
application layer
sensor6
controller layer
sensor3
no transient fault. so the time for [reboot] is 1000000 secs (large number)
sensor8
main processor[procm] m [0..2]=controller layer
transient fault: the delay time exceeds. the limitmain time for the delay is 1sec
actuator1
input processor[proci] i [0..2]=WSN layer
time_expire[time out]count+1
controller1
output processor[proco] o [0..1]= application layer
transient fault: tempotary abnormal. take 30secs to [reboot]
controller2
system fail : (m=0)&(i=0)&(countMAX_COUNT)
sensor1
sensor9
sensor15
sensor2
controller[controllers]
sensor14
sensor11
0 条评论
回复 删除
下一页
