AdaCore’s Fourth Annual Make with Ada Programming Competition Launches Today!
Summary
Project submissions will be evaluated by a judging panel consisting of Bill Wong, Senior Technology Editor at Electronic Design, and Fabien Chouteau, AdaCore software engineer, and author of the Make with Ada blog post series. “As contestants of this annual programming competition demonstrate, developing embedded software with Ada is a lot easier than you think, and the benefits (cost savings, quality code, fewer bugs, etc. ) are many.” “One of the main goals of our annual competition is to give more exposure to the benefits of Ada, SPARK and related technologies, so this year we have decided to improve the criteria,” said Fabien Chouteau. Ada is a modern, internationally standardized programming language with a long and successful track record in the development of high-reliability embedded systems. In critical systems where testing alone might not provide sufficient confidence, the SPARK subset of Ada supports mathematics-based assurance that relevant program properties are met (for example, the absence of run-time errors such as buffer overflow).
