Defining a Formal Semantics for Real-Time Test Specification with TTCN-31
Real-time software is usually used in circumstances where safety is important and the margin for errors is narrow. These kinds of systems have applicability in a broad band of domains as: automotive, avionics, air traffic control, nuclear power stations, industrial control, etc. As the name denotes, the main feature of "Real-Time" applications is the criticality of their timeliness. Guaranteeing certain timeliness requires appropriate testing. As manual testing is burdensome and error prone, automated testing techniques are required.