SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive.
Karen Godary, Isabelle Augé-Blum, Anne Mignotte · 2004
The emergence of new technologies in the automotive domain implies new characteristics and new constraints. The X-by-wire technology tends to replace mechanical components by electronic parts, implying distributed real-time broadcast architecture. These systems support safety-critical applications, as for example the steering control function. Thus they require hard constraints, both in the temporal and the