By Richard Pugh and Gabriele Pulini
As the ultimate systems-of-systems, automated vehicles present an enormous verification task, requiring verification of complex sensing, computing, and actuating functions. This can be accomplished only by virtualizing the entire system: the vehicle and the environment it moves through.
It also requires a combination of realistic scenario modeling, hard...
» read more
