Testing Automotive Reactive Systems using Timed Automata

Model oriented testing methods are known relatively long time, but the right time for viable deployment is coming up now with the continuously growing amount of vehicle electronic systems. Paper proposes a new Model-Based Testing approach to testing of automotive electronics systems. The key concept is the utilization of Timed Automata for online testing of automotive electronic control units. System modeling, the new tool, a bit of necessary technology and preliminary results intended to identify future research goal are presented.