Services and Modeling for Embedded Software Development
6.2.3.
UART Model Interrupts
All interrupts are modeled, although there is no way to cause a
receiver line status interrupt. The modem status interrupt can only
be generated when modem loopback is in operation.