Military Embedded Systems

Avionics - Safety Certification - Page 16

Story
Symbolic execution techniques identify vulnerabilities in safety-critical code

March 07, 2012

Story
Trusting the tools: An agile approach to tool qualification for DO-178C

March 07, 2012

Story
DO-178C brings modern technology to safety-critical software development

March 07, 2012

Story
Automated performance measurement and timing analysis help military embedded systems avoid early obsolescence

March 07, 2012

Story
New aircraft platforms get cut back, opening the door for avionics retrofits that leverage COTS hardware and software

March 07, 2012

News
Requirements traceability tasks automated with test management extension from Visure

February 29, 2012

Story
The impetus for the Quantum3D product lines acquisition, in one word: "Synergy" - Q&A with Ray Niacaris, Director of Operations and Sales at IData Visual Systems Inc., a subsidiary of ENSCO Inc.

October 12, 2011

Story
Solving the processor challenges for safety-critical software

October 12, 2011

Story
Static analysis is going deeper with deep-flow data flow - Interview with Jill Britton, Consultancy Services Group Manager at PRQA

June 22, 2011

Story
Justifiably taboo: Avoiding malloc-free APIs in military/aerospace embedded code

February 17, 2011

Product
Legacy x86 code reaches modern standards

February 04, 2011

Story
Software warranties -- A new era?

September 23, 2009

Story
DO-178B and DO-254: A unified aerospace-field theory?

February 10, 2009

News
New avionics-focused business unit formed by Curtiss-Wright Controls

March 13, 2012

Story
Certifiable avionics takes off as UAV fleet operates in commercial airspace

March 07, 2012

News
Fixed price avionics certification solution offered by LDRA

March 01, 2012

News
MC-130J avionics to use DO-178B tool from Presagis

February 14, 2012

News
DO-178 objectives for source code webcast happening Feb. 14

February 09, 2012

Story
Migrating safety-critical software in military and aerospace systems

June 20, 2011

Story
When code is born of old: Architectural obsolescence within the development life cycle

April 11, 2011

Story
When code is born of old: Architectural obsolescence within the development life cycle

April 11, 2011

Story
Requirements tracing tools can manage legacy systems, too

July 14, 2010

Story
Static analysis improves efficiency, reduces downstream integration costs

April 26, 2010

Story
Safety or security? An embedded wake-up call from Toyota's misfortunes

April 26, 2010

Story
Foresight beats out hindsight ... but only in the case of model-based design: Interview with Dr. Jon Friedman, The MathWorks

February 11, 2010

Story
Protecting embedded systems from unauthorized software modifications

January 04, 2010

Story
'EAL 6+' says it all - or does it? Q&A with Marc Brown, Vice President, VxWorks Product Strategy and Marketing for Wind River Systems

October 27, 2009

Story
Extending military software life expectancy through safe and secure virtualization

June 17, 2009

Story
Top 5 technologies for the warfighter

May 16, 2009

Story
DO-254: The other safety-critical specification

May 16, 2009

Avionics
(From left:) Dan McClung, Fran Cazorla, Mateo Valero ,and Raju Dandu
News
Rapita Systems enhances multicore expertise with Maspatechnologies acquisition

November 23, 2022
More Avionics
Radar/EW
Image courtesy Lockheed Martin.
News
Digital-battlefield market to grow substantially in next eight years, report predicts

November 21, 2022
More Radar/EW
A.I.
U.S. Air Force photo by Senior Airman Yosselin Campos.
News
AI software deal will enhance U.S. Air Force mission readiness and availability

November 15, 2022
More A.I.
Comms
Photo: U.S. Naval Research Laboratory
News
Satellite launch by Naval Research Lab readied with U.K. defense agency

November 18, 2022
More Comms