LDRA Technology
Articles related to LDRA Technology
Avionics
Getting the requirements right in avionics safety certification, FACE compliance, and certifying UAVs - Story
February 28, 2017
In this Q&A with Jim McElroy, Vice President of Sales and Marketing at LDRA, he discusses how poor requirements can doom avionics certification efforts, common mistakes engineers make in this process, Future Airborne Capability Environment (FACE) compliance, and how certifying commercial-off-the-shelf (COTS) hardware to Design Assurance Level A for avionics safety certification. He also looks at how certifying unmanned aircraft to fly in civilian airspace may require a new mindset for everyone involved. Edited excerpts follow.
Cyber
Test and analysis tools help verify and enforce security in military systems - Story
September 15, 2016
Secure coding practices, properly tested and verified, can help assure the reliable and safe operations of military systems. Organizations should start from the ground up, using a combination of static and dynamic analysis, unit and integration testing, and requirements traceability.
Avionics
New technology helps multicore meet safety-critical standards - Blog
May 31, 2016
CODE QUALITY Blog: With industry's drive to reduce the size, weight, and power (SWaP) of embedded systems, multicore systems are becoming the go-to for military and aerospace fields.
Avionics
Going modular? Meet data and control coupling - Blog
June 10, 2015
CODE QUALITY BLOG: Since the dawn of the discipline of software engineering, one of the persistent mantras has been modularization. This structured design and functional decomposition approach breaks software down into clearly defined functional units, or modules, with unambiguous interfaces. The proven value of this approach is high quality software. When you go modular, however, software testing must examine the way that the modules come together and interact. This kind of testing is dubbed “data and control coupling.”
Avionics
Can Agile environments accelerate embedded software verification and certification? - Blog
January 27, 2015
CODE QUALITY BLOG: Although Agile development is being adopted by most software development organizations, most embedded developers, especially those seeking certification, continue to resist using Agile methodologies. Developers perceive more risks with an iterative Agile approach versus the traditionally regimented methodologies and artifacts required to achieve certification. Specific concerns stem from how requirements are captured in an Agile process, and how the test early-and-often principles of Agile development can be fulfilled prior to the embedded systems hardware being available.
Avionics
CODE QUALITY BLOG: Is 100 percent code coverage analysis essential? - Blog
November 19, 2014
CODE QUALITY BLOG: Safety-critical software standards focus very highly on how to test software effectively. They state that effective software testing requires a disciplined approach in which code coverage is used to provide feedback on the effectiveness of the testing to date. The level of testing rigor applied to a system must be driven by the impact of a system failure. The more significant the consequences, the more rigorous the testing has to be.
Avionics
Tool suite automates software verification, standards compliance - Product
November 16, 2014
Designers of safety-critical systems continue to look for ways to achieve full verification and even certification of multicore systems in a cost-effective manner as they are driven more and more by requirements to reduce size, weight, and power. LDRA experts are helping in this area with...
