Sep 21 '10
New platforms and features benefit Ada developers on Wind River Workbench
Sep 9 '10
in VME Critical Systems
With the geometric growth in software size and complexity, avionics manufacturers are losing control of project schedules and budgets. Consequently, the Radio Technical Commission for Aeronautics (RTCA) hopes to address software development challenges through DO-178C – a new standard that embraces contemporary technologies and methodologies necessary to achieve these aims.
Sep 5 '10
In a NASA sponsered program, Vermont Technical College has constructed remote sensing buoys for deployment on the Arctic sea ice north of Alaska. The buoys gather environmental data and transmit that data back to home base via the Iridium satellite network. This data will then be used to refine models of ice movement.
Sep 1 '10
in Avionics Intelligence
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.
Aug 25 '10
Ada Web Server brings web-based connectivity and control to embedded applications
Aug 24 '10
A thread on the SoftTalk blog discusses Ada and multicore programming along with other Ada topics in the comments section.
Aug 23 '10
With each new model year, cars are becoming more dependent on microprocessors and complex software, challenging the auto industry to ensure that these systems are secure, safe, and reliable. According to AdaCore, this challenge is not being met: security and safety issues are not being properly considered at the start of the automotive system design cycle, but are instead being addressed as an afterthought.
Aug 17 '10
Zero Defect Software Development (ZDSD) is a results-oriented process that emphasizes the analysis, testing and reporting of the causality of defects. This process, which has evolved from the commitment to providing “five-nines” (99.999%) reliability for mission-critical applications, supplants the traditional approach of reacting to undesirable effects and treating symptoms while attempting to manage verification processes using “trend analyses” or simply tracking the occurrences of defects.
Jun 30 '10
Tucker Taft presents at Ada Europe 2010: An Introduction to ParaSail: Parallel Specification and Implementation Language