?>

IRAN: Doing Well At Warmongering

March 31, 2014 by · Comment
Filed under: Syndicated Industry News 

COUNTER-TERRORISM: Acceptable Islamic Terrorism

March 31, 2014 by · Comment
Filed under: Syndicated Industry News 

MURPHY’S LAW: Chinese Mysteries

March 31, 2014 by · Comment
Filed under: Syndicated Industry News 

ATTRITION: Kinder And Gentler UAV Attacks

March 31, 2014 by · Comment
Filed under: Syndicated Industry News 

ARMOR: The End Of The American Tank Battalion

March 31, 2014 by · Comment
Filed under: Syndicated Industry News 

LDRA Verifies the Little Bits of Safety-Critical and Security-Critical Applications — Press Release

ldra image

Screenshot 1: LDRA and MPLAB X with a PIC18F target, where the serial port is used to pull the data from the target Screenshot 2: C8051 microcontroller running on a Keil uVision simulator to produce the unit test coverage using LDRA

San Jose, CA. March 31, 2014―LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, has yet again taken a leadership role in providing verification for highly constrained applications. By optimizing its analysis and testing technology, LDRA has enhanced the ability of the LDRA tool suite to scale down to meet the increasing number of highly constrained, minimal-footprint architectures used in today’s safety-critical and security-critical applications. With many systems now being connected, companies must enforce high-quality code, fully test and verify systems, and proactively prevent application vulnerabilities.
Achieving indepth analysis on a highly constrained microcontroller is not easy. Verification tools often exceed the bandwidth and memory resources of such microcontrollers, causing the analysis to crash or overload the system such that the target no longer functions as intended and system data becomes unreliable.
In contrast, LDRA has fine-tuned its instrumentation and analysis to low-power, highly constrained architectures to ensure that development teams can fully analyze and verify such systems to even the most rigorous levels demanded for safety-critical and security-critical certification. Using optimized technology, LDRA captures data from highly constrained target systems and sends it back to the host to help companies achieve coding standards compliance, safety standards compliance, and security standards compliance. This level of granular analysis is available not only on LDRA’s stand-alone products, LDRAunit and LDRAcover, but also on the comprehensive LDRA tool suite, helping to ensure that companies gain complete traceability over the entire life cycle of their application from requirements through verification and deployment.
Safety-Critical Industries Have Adopted Connected, Low-Power Systems

Although Internet of Things (IoT) is capturing much of the media’s attention for its scaled-down, connected systems, other industries such as avionics, defense, industrial control, smart energy, medical, and automotive now also take advantage of new, highly functional, low-power controllers that have little tolerance for the overhead of most verification technologies and tools. LDRA recognizes that size, weight, and power are always a consideration and has developed different methods of connectivity between the host and the target to ensure that data can be pulled from even the smallest 8-bit and 16-bit microcontrollers provided by ARM, Freescale, Microchip, Renesas, Texas Instruments, among others. The LDRA tool suite is therefore capable of providing unprecedented end-to-end application and verification analysis on systems where granular expertise for microcontrollers is needed as well as robust, comprehensive analysis for multicore technologies.

“Microcontrollers now deliver far greater functionality at much lower power, thereby playing a much greater role in complex systems where safety and security are essential,” said Ian Hennell, Operations Director of LDRA. “Whether the controller is used in an unmanned vehicle, infusion pump or engine control system, suppliers need to produce safe, high-quality, secure code. To realize this assurance, they must leverage static analysis for code clarity and consistency, dynamic analysis to ensure their application is adequately tested in accordance with the standards, and automated unit and system-level testing to help control costs. LDRA tools ensure that even the smallest targets can be integrated into a traceable development workflow so auditors can confirm all requirements have been met, fully tested, and verified.”
Superior Instrumentation Delivers Full Coverage Analysis
With more than 40 years of experience helping customers deliver certified systems in the embedded space, LDRA has extensive knowledge and experience with the many architectures and host-target connection strategies used in safety- and security-critical systems. LDRA’s optimized and unique instrumentation technology enables virtually all levels of testing and coverage analysis, from statement coverage all the way down through the Modified Condition/Decision Coverage (MC/DC) required by the most rigorous safety standards.
# # #

About LDRA

For more than 40 years, LDRA has developed and driven the market for software that automates code analysis and software testing for safety-, mission-, security- and business-critical markets. Working with clients to achieve early error identification and full compliance with industry standards, LDRA traces requirements through static and dynamic analysis to unit testing and verification for a wide variety of hardware and software platforms. Boasting a worldwide presence, LDRA is headquartered in the United Kingdom with subsidiaries in the United States and India coupled with an extensive distributor network. For more information on the LDRA tool suite, please visit: www.ldra.com.

Photo courtesy of LDRA

Share this:
Share this page via Email Share this page via Stumble Upon Share this page via Digg this Share this page via Facebook Share this page via Twitter

PHOTO: Sniper

March 31, 2014 by · Comment
Filed under: Syndicated Industry News 

Contracts for March 31, 2014

Contracts valued at $6.5 million or more are announced each business day at 5 p.m.

Watchdog: U.S. Struggles to Track Nuclear-Arms Design Records

Missing data exposes the U.S. nuclear arsenal to an array of unnecessary costs and risks

Harris Corporation to Announce Third Quarter Results on Tuesday, April 29, 2014

March 31, 2014 by · Comment
Filed under: Syndicated Industry News 

MELBOURNE, Fla.–(BUSINESS WIRE)–Harris Corporation (NYSE:HRS) will host a conference call on Tuesday, April 29, 2014, at 8:30 a.m. Eastern Time (ET) to discuss its third quarter fiscal year 2014 financial results. The company will issue a press release reporting its third quarter earnings at approximately 6:30 a.m. ET. The dial-in numbers for the teleconference are (877) 303-9481 (U.S.) and (760) 666-3582 (International), using participant code 17798393. Please allow at least 10 minutes befor




Share this:
Share this page via Email Share this page via Stumble Upon Share this page via Digg this Share this page via Facebook Share this page via Twitter

Senate Report: Torture Didn’t Help Capture Osama bin Laden

The link between interrogation programs and the capture of bin Laden has been a frequent argument for defenders of the CIA's torture program.

How to Turn a Dolphin, Sea Lion, or Whale Into a Sea Creature Commando

The Navy Marine Mammal Program has used these animals to help detect sea mines.

L-3 Announces Conversion Option for 3% Convertible Contingent Debt Securities (“CODES”) Due 2035

March 31, 2014 by · Comment
Filed under: Syndicated Industry News 

NEW YORK–(BUSINESS WIRE)–L-3 Communications Holdings, Inc. (NYSE:LLL) (the “Company”) today notified holders of the $689.4 million outstanding principal amount of its 3% Convertible Contingent Debt Securities (the “CODES”) due 2035 (CUSIP Numbers: 502413AW7 and 502424AE4) that they are currently entitled to convert all or a portion of their CODES (in integral multiples of $1,000) (the “Conversion Option”). The CODES are convertible because the closing price of shares of the Company’s common s




Share this:
Share this page via Email Share this page via Stumble Upon Share this page via Digg this Share this page via Facebook Share this page via Twitter

Saab Signs Support Contract With the British Army

March 31, 2014 by · Comment
Filed under: Syndicated Industry News 

LINKÖPING, Sweden–(BUSINESS WIRE)–Defence and security company Saab (STO: SAABB) and the UK Ministry of Defence (MoD) has signed a 3 year contract for support and service of the Direct Fire Weapon Effects Simulator System (DFWES), used by the British Army. The order amounts to MSEK 220. Since 1994, Saab has supplied and operationally supported the DFWES system which is designed to enable live collective Battle Group training in the UK, Canada and on a smaller scale in Germany. “This new contr




Share this:
Share this page via Email Share this page via Stumble Upon Share this page via Digg this Share this page via Facebook Share this page via Twitter

BOOK REVIEW: A Companion to Women?s Military History

March 31, 2014 by · Comment
Filed under: Syndicated Industry News 

50 Years Young, RPGs Keep Improving

March 30, 2014 by · Comment
Filed under: Syndicated Industry News 

We've Moved! Update your Reader Now.

This feed has moved to: http://feeds.feedblitz.com/feedburner/defenseupdate

Update your reader now with this changed subscription address to get your latest updates from us.

50 Years Young, RPGs Keep Improving

March 30, 2014 by · Comment
Filed under: Syndicated Industry News 

We've Moved! Update your Reader Now.

This feed has moved to: http://feeds.feedblitz.com/feedburner/defenseupdate

Update your reader now with this changed subscription address to get your latest updates from us.

NIITEK® Awarded Australian Handheld Dual Sensor Contract

March 30, 2014 by · Comment
Filed under: Syndicated Industry News 

DULLES, Va.–(BUSINESS WIRE)–NIITEK in partnership with Minelab Australia was awarded the Australian Defence Capability Group RPDE Task 54 CIED handheld Device Detector prototype program with the GROUNDSHARK handheld dual sensor.




Share this:
Share this page via Email Share this page via Stumble Upon Share this page via Digg this Share this page via Facebook Share this page via Twitter

YEMEN: Deals With The Devil

March 30, 2014 by · Comment
Filed under: Syndicated Industry News 

NIGERIA: Northerners Consider The Army A Terrorist Organization

March 30, 2014 by · Comment
Filed under: Syndicated Industry News 

MURPHY’S LAW: Sink The Nimitz To Avenge Flight 655

March 30, 2014 by · Comment
Filed under: Syndicated Industry News 

COUNTER-TERRORISM: European Islamic Terrorists Inspired By Syria

March 30, 2014 by · Comment
Filed under: Syndicated Industry News 

LEADERSHIP: Running From Reality In South Africa

March 30, 2014 by · Comment
Filed under: Syndicated Industry News 

PHOTO: Sukhoi Su-35

March 30, 2014 by · Comment
Filed under: Syndicated Industry News 

SUDAN: Rebels Refuse To Even Discuss Peace

March 30, 2014 by · Comment
Filed under: Syndicated Industry News 

Next Page »

>