modelverse/models/environment_model.mvc

Environment_PW environment_model_PW {
    Boundary DriverBlockWindow {
        name = "DriverBlockWindow"

        Port p_lockOut {
            name = "lockOut"
        }
        Port p_windowCommands {
            name = "windowCommands"
        }
        Port p_stickHead {
            name = "stickHead"
        }

        Parallel {
            name = "s_"
            duration = 0

            {Contains} CommunicationSequence {
                name = "driver"
                actor = "driver"
                duration = 0

                {Contains} Event cmdUpD {
                    name = "cmdUpD"
                    duration = 3
                }
                {Contains} Event cmdStopD {
                    name = "cmdStopD"
                    duration = 4
                }
                {Contains} Event cmdDownP {
                    name = "cmdDown"
                    duration = 3
                }
                {Contains} Event lockOut {
                    name = "lockOut"
                    duration = 1
                }
            }

            {Contains} CommunicationSequence {
                name = "passenger"
                actor = "passenger"
                duration = 0

                {Contains} Event cmdUp1 {
                    name = "cmdUp"
                    duration = 3
                }
                {Contains} Event stickHead {
                    name = "stickHead"
                    duration = 3
                }
                {Contains} Event cmdUp2 {
                    name = "cmdUp"
                    duration = 2
                }
            }
        }
    }

    Next (cmdUpD, cmdStopD) {}
    Next (cmdStopD, cmdDownP) {}
    Next (cmdDownP, lockOut) {}

    Next (cmdUp1, stickHead) {}
    Next (stickHead, cmdUp2) {}

    PortEvent (p_stickHead, stickHead) {}
    PortEvent (p_windowCommands, cmdUpD) {}
    PortEvent (p_windowCommands, cmdDownP) {}
    PortEvent (p_windowCommands, cmdUp1) {}
    PortEvent (p_windowCommands, cmdUp2) {}
    PortEvent (p_lockOut, lockOut) {}
}