[infoq.com] Using Models in Developing Software for Self-Driving Cars

July 28, 2017

Models play an important role in developing software for autonomous systems like self-driving cars; they are used to simulate and verify behavior, document the system, and generate code.

Jonathan Sprinkle, Associate Professor of Electrical and Computer Engineering at the University of Arizona, gave a keynote on developing software for self-driving cars at the GOTO Amsterdam 2016 conference. He explains how to model software used in autonomous systems, the benefits of modeling, using test data to validate the software that drives a car and techniques for writing reliable code.

Read the full article at: www.infoq.com