search

GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.
Other
5 stars 2 forks source link

Play infotainment music only in manual mode #1262

Closed podhrmic closed 2 years ago

podhrmic commented 3 years ago

self._volume in infotainment.py should be updated only if the simulator is not in self-drive mode.

@EthanJamesLew not sure what is the best way to propagate this information to the infotainment?

dmzimmerman commented 3 years ago

I think we also need to explicitly set it to 0 when entering self-drive mode, right?

podhrmic commented 3 years ago

I think we also need to explicitly set it to 0 when entering self-drive mode, right?

Good point. So we need to add a handler that is executed when we enter self-drive and set the volume to 0.

EthanJamesLew commented 3 years ago

I think we also need to explicitly set it to 0 when entering self-drive mode, right?

Yes, the state machine director has all the necessary context and flow to handle this correctly.