Author's Latest Posts


Three Tools Help Put Safe Vehicles On The Road


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