Article
Apr 9 '13
Published
in Embedded.com by Jack Ganssle
Jack Ganssle describes and discusses the McCormick, Singhoff, and Hugues book on embedded programming in Ada, suggesting that embedded programmers should read it, regardless of which language they currently use. (He calls it “new”, but it’s been around a while, having an April 2011 publication date and it’s been posted here for a while.)
Article
Dec 3 '10
Published
in Aerospace Engineering and Manufacturing
Professors and students at Vermont Technical College are using AdaCore’s GNAT Ada development environment and Altran Praxis’ SPARK tools to implement two NASA-sponsored programs, including a CubeSat.
Article
Nov 10 '10
Published
in Electronic Design by Mike Hennell and William Wong
Static and dynamic code analysis can improve application performance, safety and reliability by identifying problems early in the development cycle if the proper tools and procedures are used from the start. Dr. Mike Hennell, founder of LDRA, spoke with me about the various aspects of these types of tools.
Article
Sep 1 '10
Published
in Avionics Intelligence by Charlotte Adams
After five years, RTCA and EUROCAE, the U.S. and European avionics standards organizations, are nearing the finish line in updating DO-178B, the bible for developers of safety-critical software. A cast of 1,000-plus people have observed or participated in the process and about 100 people show up at every meeting, according to one member of RTCA Special Committee 205 (SC-205). The industry expects the final package — DO-178C — to be released in the first quarter of 2011 and be mandated six to nine months after ratification.
Article
Apr 7 '10
Published
in Embedded.com by Yannick Moy
The ease with which code is analyzable depends of the language type you use.
Static analysis is becoming mainstream, with mature bug-finding tools for C and Java, including products such as Coverity Prevent, Grammatech CodeSonar, and Fortify SCA. These products limit the level of “noise” (false warnings) inherent to such tools to a minimum. However, by carefully selecting those cases for which they report a problem, these bug-finders hide the fact that they are largely uncertain about the overall correctness of the program.
Article
Feb 16 '10
Published
in Embedded Computing Design by Tucker Taft
Static analysis tools are becoming more integrated into the software development process. Saving data from the compiler, change history, and error information during the process instead of as a post-code step can make static analysis more productive.
Article
Feb 15 '10
Published
in Embedded.com by Jack Ganssle
Jack Ganssle at Embedded.com discusses the Sofcheck and AdaCore CodePeer tool in Executing software contracts; in particular he examines the tool’s ability to create contracts for subprograms.
Article
Dec 7 '09
Published
in Electronic Design by William Wong
William Wong looks at the Dasher project being developed by Mälardalen University in Sweden.
Article
Feb 4 '09
Published
in Embedded.com by Jack Ganssle
Jack Ganssle at Embedded.com wonders Why aren’t developers more interested in Ada?