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_"
            order = 0

            CommunicationSequence {
                name = "Driver"
                order = 0
                actor = "Driver"

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

                NextEvent (cmdUp1, stickHead1) {}
                NextEvent (stickHead1, cmdDown1) {}
            }
            CommunicationSequence {
                name = "s_"
                actor = "Driver"
                order = 0

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

                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) {}
    }
}