A company formed by two veteran Bosch engineers is seeking to make the open-source software that powers many experimental self-driving cars safe and reliable.