| Similar Articles |
|---|
 |
Military & Aerospace Electronics
May 2009 |
Seaweed Systems adopts LDRA tool Software testing solution provides automated tools to analyze and test high-performance OpenGL graphics drivers and devices for safety-critical military and aerospace applications.   |
Military & Aerospace Electronics
March 2010
Potter & Behr |
Model-Based Design Facilitates Compliance to Aerospace Standards While the need to integrate verification into the design cycle is recognized throughout the aerospace industry, it is perhaps most acutely felt in the design of mission-critical systems. |
Military & Aerospace Electronics
February 2006 |
Smiths Aerospace uses Green Hills software for Boeing 777 The GMART runtime system and AdaMULTI development environment development tools are being used to create software for the Boeing 777. |
Military & Aerospace Electronics
October 2005 |
F-35 Joint Strike Fighter software developer chooses Aonix Ada design tools Software engineers at Aversan in Scarborough, Ontario, needed software design and development tools for work they are doing on the Lockheed Martin F-35 Joint Strike Fighter. |
Military & Aerospace Electronics
April 2006
J.R. Wilson |
Real-Time Software Providers Zero-in on Safety-Critical Issues Creating operating systems and kernels that are blazingly fast simply does not make the grade today, as systems integrators increasingly demand software that not only runs quickly, but also will not crash, will not damage other programs, and is secure from hackers. |
Military & Aerospace Electronics
December 2005 |
Certification package for IDATA Quantum3D is offering IData 178, a DO-178B certification package for producing level-A safety-critical applications using the Quantum3D IData advanced Human Machine Interface (HMI) toolset. |
Military & Aerospace Electronics
September 2007 |
FAA Names Intertek as Certification Agency for Visual Guidance Lighting Equipment Approval The FAA selected Intertek Group to serve as certification agency for its Visual Guidance Lighting Equipment Approval program, helping to bolster safe airport operations. |
Military & Aerospace Electronics
February 2009 |
Aonix Brings Ada Kernel Certification Kit to Market Officials at Aonix have released a certification kit for the ObjectAda RAVEN software tool to provide the evidence and tools necessary to certify software solutions to DO-178B Level A as well as other standards. |
Military & Aerospace Electronics
April 2009 |
ENSCO Employs LDRA Tool Suite for Aerospace Applications LDRA will provide a tool suite that will assist in automating ENSCO's testing processes, aid in reducing development costs, and improve the quality and performance of their customers' products. |
Military & Aerospace Electronics
June 2006
John Keller |
Safety and Security Are Top Priorities for Providers of Embedded Operating Systems Now more than ever, software industry experts say, military and aerospace systems designers are looking for safety-critical embedded operating systems-and in nonmilitary applications in which safety-critical code historically has not been an issue. |
Military & Aerospace Electronics
September 2005
John McHale |
Ada Used for Key Systems on Military Aircraft The European Aeronautic Defence and Space Co. CASA Military Transport Aircraft Division's advanced refueling boom system (ARBS) uses Ada software from AdaCore for its critical systems. |
