COURSE: Formal Methods in Software Engineering

Q: 2 System Description [5] A software personal assistant system, such as Siri, Cortana, Alexa, Google Assistant, interacts with the user through a device, which contains, among other things, a speaker and a microphone. The speaker has six volume positions that can only be switched sequentially, from 1st to 6th and vice versa. From any volume position the sound can be paused and therefore no sound can be emitted from the speaker. Activating the microphone can only be done when the speaker is not emitting sound, and emitting sound requires the microphone to be turned off. - Draw a state transition diagram of the upstream software