modelverse/models/environment_model.mvc

Environment_PW environment_model_PW {
    Boundary DriverBlockWindow {
        name = "DriverBlockWindow"

        Port p_cmdUp {
            name = "cmdUp"
        }
        Port p_cmdDown {
            name = "cmdDown"
        }
        Port p_stickHead {
            name = "stickHead"
        }

        Alternative {
            name = "s_"

            {HasActivity} CommunicationSequence {
                name = "Driver"
                actor = "Driver"

                Output cmdUp1 {
                    name = "cmdUp"
                    duration = 1
                }
                Output stickHead1 {
                    name = "stickHead"
                    duration = 1
                }
                Output cmdDown1 {
                    name = "cmdDown"
                    duration = 1
                }

            }

            {HasActivity} CommunicationSequence {
                name = "s_"
                actor = "Driver"

                Output cmdUp2 {
                    name = "cmdUp"
                    duration = 1
                }
                Output stickHead2 {
                    name = "stickHead"
                    duration = 1
                }
                Output cmdUp3 {
                    name = "cmdUp"
                    duration = 1
                }
            }
        }
    }

    NextEvent (cmdUp1, stickHead1) {}
    NextEvent (stickHead1, cmdDown1) {}

    NextEvent (cmdUp2, stickHead2) {}
    NextEvent (stickHead2, cmdUp3) {}

    PortEvent (p_stickHead, stickHead1) {}
    PortEvent (p_stickHead, stickHead2) {}
    PortEvent (p_cmdUp, cmdUp1) {}
    PortEvent (p_cmdUp, cmdUp2) {}
    PortEvent (p_cmdDown, cmdDown1) {}
}