environment_model.mvc 1.3 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455
  1. Environment_PW environment_model_PW {
  2. Parallel {
  3. name = "s_"
  4. duration = 0
  5. {Contains} CommunicationSequence {
  6. name = "driver"
  7. actor = "driver"
  8. duration = 0
  9. {Contains} Event cmdUpD {
  10. name = "cmdUpD"
  11. duration = 3
  12. }
  13. {Contains} Event cmdStopD {
  14. name = "cmdStopD"
  15. duration = 4
  16. }
  17. {Contains} Event cmdDownP {
  18. name = "cmdDown"
  19. duration = 3
  20. }
  21. {Contains} Event lockOut {
  22. name = "lockOut"
  23. duration = 1
  24. }
  25. }
  26. {Contains} CommunicationSequence {
  27. name = "passenger"
  28. duration = 0
  29. {Contains} Event cmdUp1 {
  30. name = "cmdUp"
  31. duration = 3
  32. }
  33. {Contains} Event stickHead {
  34. name = "stickHead"
  35. duration = 3
  36. }
  37. {Contains} Event cmdUp2 {
  38. name = "cmdUp"
  39. duration = 2
  40. }
  41. }
  42. }
  43. Next (cmdUpD, cmdStopD) {}
  44. Next (cmdStopD, cmdDownP) {}
  45. Next (cmdDownP, lockOut) {}
  46. Next (cmdUp1, stickHead) {}
  47. Next (stickHead, cmdUp2) {}
  48. }