Ensuring Software Safety in the Automotive Industry

AdaCore, a pioneer of th e Open Source movement, has been associated with the Ada programming language from the beginning. In this edition of Expert Insights, AdaCore’s chief product and revenue officer, Quentin Ochem, talks about ways to ensure software safety in the automotive industry and how the Spark programming language, which evolved from Ada, is well-suited to meet international standards. He talks about the value of international standards like ISO 26262 in preventing recalls and the differences between static analysis and formal methods in finding possible software errors. For best practices, software needs to have been designed with this idea of safety, of reliability, of formalism in mind.