Cookie Warning

This site uses cookies to help improve your experience

Please follow the link to find out more about cookies. Learn more

I understand
 

LDRA News

Press ReleasesView All

DATE HEADLINE FINDINGS
24 February 2015 LDRA Expands Compliance and Certification Services in European Markets with Aeroconseil, AKKA Technologies Group LDRA and Aeroconseil collaborate to provide local compliance and certification services for aerospace and avionics suppliers throughout Europe and the Americas using LDRA Compliance Management System.
24 February 2015 LDRA Collaborates with Texas Instruments to Provide Advanced Testing Capabilities with New Functional Safety Platform LDRA plays significant role in Texas Instruments new SafeTI Compliance Support Packages delivering automated unit test for TI’s Hercules MCUs used in safety-critical industrial and automotive systems.  
23 February 2015 LDRA’s Patented Software Life Cycle Traceability Gives Customers Leading Edge in Critical Software Verification LDRA TBmanager, a software life cycle traceability and verification system, links requirements to process artifacts and people creating the audit trail needed for safety-critical standards.
11 December 2014 LDRA Unveils Unique and Cost-Effective Software Verification on VxWorks 7 Platform LDRA’s fine-tuned instrumentation enables IoT device verification without impacting application behavior or hardware performance Wirral, U.K. 11 December 2014 - LDRA, the leader in standards compliance, automated software verification, source code anal
06 October 2014 Microchip Partners with LDRA for Functional Safety Microchip partners with LDRA to provide functional safety verification & support for automotive (ISO 26262), industrial safety (IEC 61508), and rail (EN 50128) applications using PIC microcontrollers Wirral, U.K. 6 October 2014. LDRA, the leader in stand
23 September 2014 National FAA Certification Conference Features Talks by LDRA and Logicircuit LDRA and Logicircuit cosponsor the National Systems, Software, and Airborne Electronic Hardware Conference to be held in Los Angeles, CA on September 23-25, 2014. Conference will focus on significant changes in FAA policy and practice. WIRRAL, U.K. and A
27 August 2014 LDRA India Initiates Industry-Wide Safety-Critical Platform Industry Players Gather to Establish Safety-Critical Platform for India Bangalore, India, August 27, 2014: LDRA Technology Pvt. Ltd (Subsidiary of LDRA Ltd. UK), the leader in standards compliance, automated software verification, source code analysi
07 August 2014 LDRA and Logicircuit Cosponsor National FAA Certification Conference Industry and regulators connect at 2014 National Systems, Software, and Airborne Electronic Hardware Conference to discuss significant changes in FAA policy and practice WIRRAL, U.K. and ALPHARETTA, GA, August 7, 2014—LDRA, the leader in DO-178C standa
31 July 2014 LDRA Optimisation Reduces On-Target Footprint of LDRA Tool Suite by Sixty Percent LDRA optimizes software testing tools to reduce on-target footprint by 60%. LDRA tool suite is now so small and fast that speed and functionality of test environment mirrors application execution. LDRA tool suite implementation now so small and fast that
01 April 2014 LDRA Verifies the Little Bits of Safety-Critical and Security-Critical Applications LDRA has optimized the LDRA tools to enable developers to fully analyze and verify safety-critical and security-critical applications on highly constrained, small footprint DSPs and microcontrollers. LDRA scales down to verify highly constrained, low-pow
01 April 2014 LDRA Brings Safety-Critical Expertise and Full Verification to Multicore Platforms LDRA breaks through verification barrier for multicore platforms, promising system developers the resources and technology they need to achieve rigorous certification for safety-critical standards. LDRA’s finely tuned instrumentation and analysis agg
18 March 2014 LDRA Extends Comprehensive Analysis and Testing into Russia’s Safety-Critical Industries LDRA selects Prosoft, a provider of embedded-systems technologies and services, to deliver the LDRA tool suite to regional customers Wirral, U.K. 18 March, 2014—LDRA, the leader in standards compliance, automated software verification, source code anal
25 February 2014 LDRA Partners with Xilinx to Bring Structural Coverage and Code Compliance to Zynq-7000 Family LDRA and Xilinx partner. LDRA tool suite eases certification and compliance efforts when using Xilinx Zynq-7000 family within aerospace, defense, automotive, industrial, and medical applications. LDRA tool suite eases certification and compliance efforts
25 February 2014 LDRA Compliance Management System Details Steps for Realising ISO 26262 Standard Compliance LDRA Compliance Management System gives automotive suppliers an auditable infrastructure to manage the software compliance planning, development, verification and regulatory activities of ISO 26262-6. ISO 26262 compliance management tools guide automot
16 January 2014 LDRA Selects FTD Infocom to Distribute Cutting-Edge Point Products Across India LDRA selects FTD Infocom to distribute the LDRA point tools for unit testing, standards compliance, and code coverage in India. FTD extends LDRA’s certification expertise for safety-critical systems. Partnership delivers advantages of LDRA certificatio
18 December 2013 LDRA Takes Leadership Role in Verifying Russian Avionics Software LDRA secures contracts with Russia’s five largest avionics suppliers, extending LDRA’s record of helping the most companies achieve DO-178 certification often to stringent Level A requirements. Wirral, U.K. 18 December 2013. LDRA, the leader in stand
07 November 2013 LDRA Tools Help Coressent Technology’s Clients Achieve Rigid Safety-Critical Standards LDRA tools help Coressent Technology clients achieve safety-critical standards for avionics, nuclear, industrial, medical and automotive in US, Japan, South Korea, China, India, Taiwan, and Israel. Partnership addresses needs of aerospace, nuclear, indus
02 October 2013 Standard Authors Offer Two-Day Seminar on DO-178C and DO-254A in Major U.S. Regions LDRA brings Level A FAA DERs and DO-178C Committee Members to teach two-day, hands-on seminar on DO-178C and DO-254A. Learn from the experts. LDRA Brings Fully Credentialed Auditors in to Guide Developers in Achieving Compliance for Avionics and Military
30 September 2013 LDRA MISRA C:2012 Seminar Demonstrates Plenty of Good Reasons to Upgrade Free, half-day seminar on MISRA C:2012 gives many reasons to upgrade. Attendees in several US cities learn from standard author how MISRA C:2012 uses more C features while avoiding unsafe constructs. Technical contributor and author of new standard expla
24 September 2013 New LDRA Point Tool Automates Test Generation and Unit Test Management New automated test generation and management point tool delivers comprehensive unit testing for less cost. LDRAunit improves software quality, offers coverage metrics, and eliminates manual scripting. LDRAunit offers a comprehensive, economical option fo
05 September 2013 LDRA Gains TÜV SÜD Certification for Industrial Safety, Automotive and Rail Compliance Tools TÜV SÜD has certified that the LDRA tool suite is qualified for use in safety-related software development for IEC 61508 (industrial safety), ISO 26262 (automotive) and EN 50128 (rail). LDRA rigorous software development practices confirmed for IEC 615
21 August 2013 LDRA Meets FAA Recognition of DO-178C with Comprehensive Verification Compliance LDRA immediately able to meet all DO-178C/ED-12C guidance following the FAA’s recognition of the standard with a comprehensive DO-178C ecosystem of compliance management tools. LDRA is the only software test and analysis provider immediately able to me
16 July 2013 LDRA Celebrates Third Year of LDRA India’s Growth with Plans to Open Offices in Delhi and Hyderabad With a focus on training, LDRA India, now celebrating its 3rd anniversary, assists development of India’s technology industry and service to local companies. Offices to open in Delhi and Hyderabad. Education and Support Initiatives Establish Leadership
27 June 2013 LDRA Expands Certification Management Market into Russia’s Safety-Critical Industries LDRA chooses Softline Group, a leading software and IT services provider in Russia, to distribute LDRA Certification Services and LDRA technology to Russia and the Commonwealth of Independent States. LDRA chooses Softline, one of Russia’s dominant soft
30 May 2013 LDRA Integration with Lauterbach TRACE32 Simplifies Code Analysis, Test and Certification Access to code analysis and certification compliance of LDRA tool suite now integrated into Lauterbach TRACE32, automating software testing and requirements traceability in software development cycle. LDRA–Lauterbach integration delivers complete code
22 April 2013 LDRA Compliance Management System Details Steps to DO-178C, DO-278A and DO-254 Certification LDRA now offers the LDRA Compliance Management System in cloud and locally hosted versions to help companies manage certification planning, development, verification and regulatory activities for DO-178B/C, DO-278A, and DO-254. Avionics compliance mana
22 April 2013 }LDRA Integration with NI TestStand and NI VeriStand Seamlessly Links Hardware and Software Testing LDRA tool suite integrated with National Instruments’ TestStand and VeriStand to unify hardware and software testing, significantly reducing manual steps and errors while improving software quality. Sharing components and functionality across all stage
29 March 2013 LDRA Extends Integration with MATLAB and Simulink, Verifying the Model at Object Code Level LDRA tool suite now verifies source and object code in MATLAB and Simulink. Errors are identified and corrected in the model, which is then submitted for DO-178C, Level A certification, slashing cost. To boost the quality and efficiency of safety-critica
26 February 2013 LDRA leads the Market with immediate, comprehensive tool support for MISRA C:2012 LDRA offers the most comprehensive, automated MISRA C:2012 compliance with both a standalone rule checker and a tool portfolio that integrates MISRA C checking into the software-development lifecycle. New MISRA compliance tools from LDRA help developers
26 February 2013 TÜV SÜD Certification to Confirm LDRA’s Sound Certification Practices and Tools LDRA begins TÜV SÜD review and certification to fully qualify the LDRA tool suite for software testing and certification for industrial safety (IEC 61508), automotive (ISO 26262) and rail (EN 50128). LDRA Tool Suite undergoes TÜV SÜD scrutiny for IEC
28 January 2013 Konatus chosen to introduce LDRA products and services to Brazil LDRA reaches into South America with the selection of Konatus, a Brazil-based distributor focused on certified systems in oil and gas, industrial control, medical, aerospace and automotive. Wirral, UK. 28 January 2013. LDRA, the leading provider of autom
18 December 2012 LDRA tool suite offers compliance to DO-178B/C and IEC 61058 for radiation-hardened processors The LDRA tool suite automates DO-178B/C and IEC 61508 verification for space/nuclear MIL-STD 1750 and Aeroflex Gaisler radiation-hardened processors via time-saving simulation and on target systems. LDRA validates code written for MIL-STD-1750 and Aerofl
05 November 2012 LDRA Selects Logic Technology to Extend its Reach to European Certification-based Industries LDRA has selected Logic Technology for Germany, Benelux, Austria and Switzerland for sales and support of companies seeking standards and software verification whether for industrial safety, medical, avionics or automotive markets. Logic Technology appli
25 October 2012 IBM Rational Rhapsody and LDRA tool suite streamline model to verification process Integration of the LDRA tool suite with Rhapsody streamlines verification of the model, automating the creation of a test harness and test cases-a typically tedious and error-prone manual process. Intelligent integration offers UML/SysML modelers immed
18 September 2012 LDRAcover Verifies Test Coverage Completeness LDRA’s new tool LDRAcover ensures all of an application has been tested. The result: better quality software, fewer programming defects, quicker error detection, and better standards compliance. LDRAcover verifies test coverage to meet the most stringe
18 September 2012 New LDRA Point Tool Enforces Programming Rules, Improving Software Quality and Consistency LDRA releases LDRArules, a programming checker based on rules from industry’s largest collection of programming standards. Easily configured, the tool improves code quality and standards compliance. LDRArules - easily configured - draws on industry’s
18 September 2012 LDRAcover Verifies Test Coverage Completeness LDRA’s new tool LDRAcover ensures all of an application has been tested. The result: better quality software, fewer programming defects, quicker error detection, and better standards compliance. LDRAcover verifies test coverage to meet the most stringe
11 September 2012 LDRA Technology Inc. Joins the Future Airborne Capability Environment (FACE™) Consortium LDRA with its DO-178B/C verification tools and certification expertise joins FACE Consortium to help deliver FACE conformant applications. LDRA tool suite will also enforce FACE technical standard. LDRA brings DO-178B/C software verification tools, stand
30 August 2012 LDRA Tool Suite Selected by Esprit Lean to Prove IEC 62304 Medical Compliance Esprit Lean, a safety-critical systems development company, selects the LDRA tool suite to prove IEC 62304 medical compliance and manage the certification process for a cancer treatment device. LDRA tools streamline product development and demonstrate pr
26 July 2012 LDRA and IAR Systems Target IEC 61508 and IEC 62304 Certification of Small Footprint Architectures LDRA’s interface to IAR Embedded Workbench ensures even the small, resource-constrained ARM, 8051, AVR, M32C, RL78 and MSP430 can meet stringent IEC 62304, IEC 61508 and DO-178 certification requirements. Interface of LDRA tool suite and IAR Embedded
26 July 2012 LDRA Interfaces with the Jenkins Continuous Integration Platform LDRA’s interface to IAR Embedded Workbench ensures even the small, resource-constrained ARM, 8051, AVR, M32C, RL78 and MSP430 can meet stringent IEC 62304, IEC 61508 and DO-178 certification requirements. LDRA Interfaces with the Jenkins Continuous Inte
30 May 2012 LDRA Committed to Support All Aerospace Platforms for Certification LDRA drives home its message of certifiable test and validation support for all platforms with its interface to Atmel’s AVR Studio 4 and ATmega128 that underpin an avionics DO-178C, Level A system. LDRA’s validation of object code for AVR Studio en
30 April 2012 RTCA Honors LCS Team Lead Todd R. White for Contributions to the DO-178C Software Standard RTCA, the Federal Aviation Committee charged with overseeing aviation standards, will honor LDRA Certification Services team lead for his role in advancing the new aviation software standard DO-178C. LDRA Certification Services team lead to be formally r
26 March 2012 LDRA Certification Services Streamlines FAA/EASA Certification at a Fixed Price Building on years of FAA/EASA experience, LDRA Certification Services now provides FAA DER-led teams and avionics-tailored products to guide companies to certification readiness at a fixed price. Building on years of FAA/EASA experience, LDRA Certifica
26 March 2012 LDRA Offers IEC 62304 and ISO 14971 Certification-Readiness Services for Medical Devices LDRA Certification Services brings expert medical auditors and customized verification tools for medical device manufacturers seeking certification readiness for IEC 62304 and ISO 14971 standards. Leading industry experts use LDRA tools to help medical d
01 March 2012 LDRA and MathWorks Tool Integration Moves Unit Testing Upstream to the Model Complete integration of the LDRA tool suite and MathWorks Simulink modelling tool offers test reuse on target and model and easier traceability of requirements fulfilment and certification readiness. Certification costs slashed through earlier testing,
28 February 2012 LDRA Certification Services Guides Automotive Industry through New Regulations LDRA Certification Services delivers best-of-breed ISO 26262 qualification tools and auditors to help automotive vendors establish best practice and certification-ready products at a fixed cost. LDRA Certification Services empowers automotive vendors s
28 February 2012 LDRA Offers One-Stop Certification Services for Safety-Critical Industrial Products LDRA addresses IEC 61508 needs with standard-specific certification tools and industry-expert engineering teams that help companies achieve fixed-cost, certification readiness for safety equipment. LDRA Certification Services delivers technology and indu
14 February 2012 LDRA Opens Division Dedicated to Comprehensive Certification Services LDRA Certification Services delivers tools and certification services to help companies achieve full compliance at a fixed price. LDRA Certification Services delivers tools and certification services to help companies achieve full compliance at a fixed p
31 January 2012 LDRA Tool Suite Directly Integrates with Altera’s Nios® II Embedded Design Suite An integration of the LDRA tool suite to Altera Nios II enables certification of these FPGAs to standards such as DO-178, MISRA, and IEC 61508—making them ideal for automotive, medical or avionics. An integration of the LDRA tool suite to Altera Nios I
21 December 2011 LDRA National Instruments LDRA Supports National Instruments LabVIEW for Early Development and Test of DO-178 Systems Joint offering exposes system defects early in development life cycle to enhance product quality, tighten schedules and reduce risk Monks Ferry, Wirral, UK – 2
30 November 2011 LDRA QNX Momentics Integration To streamline regulatory burden for medical, industrial safety and automotive, the LDRA tool suite supports QNX Neutrino and Momentics with industry standards templates and requirements traceability. Regulatory Burdenand QNX Momentics Tool Suite to Strea
31 October 2011 LDRA MISRA Autocode LDRA can now independently verify model-generated code using MISRA Autocode. MISRA AC encourages good modelling practices for automatically generated code development in safety-critical systems. LDRA Tool Suite integrates MISRA AC, bringing independent v
26 September 2011 LDRA V9 Tool Suite LDRA ups automation of static and dynamic analysis of certification with latest LDRA tool suite. V9 widens LDRA’s lead in delivering software test and verification for the lowest development costs. New Release of LDRA Tool Suite Automates Embedded Soft
26 September 2011 LDRA MathWorks Integration LDRA and MathWorks integrated LDRA tool suite with Simulink to provide independent verification of model-generated code. Bidirectional traceability ensures coverage from requirements through test. LDRA and MathWorks Join Forces to Ease Compliance Produc
18 August 2011 LDRA India Office 1st Anniversary LDRA recaps the success of its India office for competency centres on certification and testing best practises. New seminars target aerospace, nuclear, defense, medical, rail, automotive and security. LDRA Honors Successes of India Office LDRA Technolog
01 July 2011 LDRA Security Compliance MES Award With the LDRA announcement of being able to test software for Homeland Security’s CWE compatibility standard, LDRA’s leadership in the security sector has been recognized by Military Embedded Systems. LDRA Takes Leadership Role in Security Compliance
26 June 2011 LDRA Integration with Code Warrior for HC08/HCS08 Targeting avionics, medical and automotive applications, LDRA integrated the LDRA tool suite with Code Warrior for HC08/HCS08, bringing powerful certification capabilities to this 8-bit footprint. LDRA Slashes Time and Cost of Certifying HC08/HCS08 to St
02 May 2011 LDRA CWE Compatibility LDRA adds CWE Compatibility to its long suit of industry and programming standards. Sponsored by the U.S. Department of Homeland Security, CWE Compatibility confirms that the LDRA tool suite can identify common programming errors contributing to software
01 March 2011 LDRA Tasking C166 Integration The LDRA tool suite’s integration with the TASKING VX-toolset for Infineon’s C166 brings certifiability to this small footprint family and its derivatives. LDRA stands alone in providing standard compliance across all stages of the lifecycle whether f
01 February 2011 LDRA Supports IEC 61508 Standard LDRA delivers compliance for IEC 61508, a standard which proves the functional safety of programmable electronic systems performing safety functions. Because of the integration of the LDRA tool suite, LDRA applies compliance to IEC 61508 from requirements
31 December 2010 LDRA x86 Assembler With a port to a broad range of x86 assembler platforms, LDRA enables companies to certify legacy applications to meet new standards, saving companies the tremendous development and cost overhead of writing, testing and verifying new code.
01 December 2010 LDRA Supports IEC 62304 Standard LDRA now supports IEC 62304, a standard for software design of medical products recently adopted by the European Union and the United States. Compliance to this risk-based standard ensures that medical devices whose failure to function correctly could res
30 November 2010 LDRA Supports ISO 26262 Standard LDRA has added support for the increasingly adopted ISO/DIS 26262, a functional safety standard for road vehicles. Integrated into the LDRA tool suite, automotive development teams gain not only compliance checking for the ISO 26262 standard, but also ful
01 November 2010 LDRA TBmanager v840 LDRA has beefed up TBmanager, its task-based interface to the LDRA tool suite, to create a common user interface, accommodate regression suites, test scripts and application testing in multiple programming languages.
31 October 2010 LDRA extends support for PPC LDRA has extended its support for PowerPC family from the PPC440 microcontroller to the high-performance PPC750 across the Wind River and Green Hills RTOS and IDE offerings. Working at either C compiler or Assembly level, the LDRA tool suite integration d
30 September 2010 LDRA ITEC Israel Distributor LDRA has selected ITEC, Israel 's number one development tools supplier to distribute the LDRA tool suite. ITEC will extend LDRA's reach into critical software in defence, medical, embedded, and communication systems.
31 August 2010 LDRA India Operation LDRA has opened a front-line office in India to provide R&D, sales and support for India's growing software technology market. The India office will provide local support for LDRA’s current customers in aerospace, defense, nuclear, rail, consulting, and
31 July 2010 LDRA MES Editor's Choice Award Embed-X, the first application lifecycle management (ALM) solution targeting critical software, was selected for Military Embedded Systems Editor’s Choice Award. Embed-X traces the entire software development process from requirements through applicatio
30 July 2010 LDRA and the Wind River Integration LDRA has integrated the LDRA tool suite with Wind River Workbench and VxWorks to form a single work environment for safety-critical apps. Using an Eclipse plug-in, full transparency is available between the tools, allowing Workbench developers direct acce
31 May 2010 LDRA Java Release LDRA tool suite extends its comprehensive language (C/C++, Ada, Assembler) coverage to take on Java. With DO-178C able to certify OO code and soon to be ratified, developers want to extend the analysis, testing and verification tools they use to certify c
30 April 2010 LDRA Partners with Codice Software LDRA has partnered with Codice Software to create the first agile development framework for developers of critical software. This integration incorporates rapid prototyping into LDRA Embed-X, an application lifecycle management tool that focuses on develo
31 March 2010 LDRA and Netrino Partnership LDRA has extended its extensive support of C programming standards by implementing Netrino’s Embedded C Coding Standard. Netrino, specialists in embedded software architecture and process, has developed the Embedded C Coding standard to minimize firmwar
31 January 2010 LDRA's Integration with IAR LDRA has integrated the LDRA tool suite with IAR Embedded Workbench for the PIC18, AVR, AVR32 and MSP430 microcontrollers. Thanks to IAR providing full ANSI C compliance, support for embedded C++ and host-controlled I/O facilities, LDRA can implement all

ArticlesView All

DATE HEADLINE FINDINGS
13 March 2015 Top Five Things to Know About Software Testing Testing starts in understanding that the state of a software system is less discrete than a hardware centric view of state. From this, you need to carefully examine requirements, module testing, static analysis, and risk mitigation. By zeroing in on these
20 February 2015 Software Standards Compliance 101: First assess your system’s risk This article focuses on three main areas: The approach that IEC 61508 advocates for performing a system safety assessment and how that is then used to determine the target system failure rates; The similarities between the IEC 61508 concept of system
03 February 2015 Tracing into the Model: Using Requirements Traceability with Model-Driven Development Model-Driven Development (MDD) is a growing trend within the embedded computing world including safety-critical industries such as defense and avionics.
27 January 2015 Can Agile environments accelerate embedded software verification and certification? Although Agile development is being adopted by most software development organizations, most embedded developers, especially those seeking certification, continue to resist using Agile methodologies.
12 November 2014 Multicore Q&A with LDRA Leverage automation technology. It can come into play during the development process as well as during the verification process. During the application cycle, software and systems developers can leverage automation to produce code or software that is more
20 October 2014 CODE QUALITY BLOG: Is code coverage analysis necessary? So how much software testing is enough? This is a question addressed by mission- and safety-critical software projects, and there are some valuable lessons to be learned from them. At its most basic, their approach is test, measure, repeat. Like Tom DeMar
08 October 2014 Ensuring safe and secure UAV systems A UAV “system” includes all of the components required to launch and control a drone. At a minimum this includes the airframe and a remote control, but more sophisticated systems also take advantage of external navigation aids, such as GPS. The primar
01 October 2014 Reaching the Benchmark in Secure Unmanned Vehicle Software Security concerns currently dominate software thinking wherever sensitive or safety-critical information is potentially accessible. Embedded software is no exception. Security researcher Barnaby Jack demonstrated this in 2011 when he used a modified anten
29 September 2014 ISO 26262 - Software Compliance in a Nutshell ISO 26262 is a relative newcomer as far as safety standards are concerned, and so a sideways glance at the activities of other transportation industries can be useful. Not surprisingly, there are marked differences in the quality of software in the differ
21 August 2014 Building Security In: Tools and Techniques for Reducing Software Vulnerabilities Announcements in late 2013 and early 2014 of worldwide security breaches revealed that the personal information of more than 100 million individuals had been stolen. In the United States, a staggering 43 million of these were accounted for by 2 specific b
09 December 2013 MISRA C: 2012: Ideal for avionics applications The latest MISRA version allows developers to take advantage of more features of the C programming language and also helps them to mitigate the risks in safety-critical avionics applications. For C programmers who work on safety-critical applications, it
09 October 2013 LDRA offers avionics seminar on achieving DO-178C and DO-254A compliance, military certification The DO-178C and DO-254 guidance are globally recognized and applied by companies seeking to develop high-quality, safety-critical airborne softwareand complex electronic hardware and by those seeking to regulate and certify such devices. The LCS Level A F
19 September 2013 Code Quality: Improving testing for military-grade applications Unit and integration tests can fill in the gaps left behind by system test and exercise constructs to protect against those unexpected occurrences, such as “divide by zero”. Alternatively, we can exercise the whole system from the “bottom up”, fir
18 September 2013 Security: Key to Smart Energy Software Development Certification management is challenging in any industry, even when standardization is mature and processes defined. The Smart Grid has the potential of increasing that challenge significantly with the likelihood that developers will need to adhere to a m
12 September 2013 MISRA C:2012: Ideal for Life-and-Death Applications The automotive industry has undergone a significant transformation with the increased use of electronic systems. Defects in the software driving these systems directly affect vehicle safety. Standards such as ISO 26262 help the automotive industry comply
10 September 2013 LDRAcover verifies test coverage to meet stringent safety and security levels LDRAcover is a stand-alone code coverage tool that verifies the source code of an application has been fully structurally tested. Code coverage encompasses several levels of precision that ranges from simply showing whether a line of source code has been
09 September 2013 Certifying Medical Devices: Easing IEC 62304 compliance for developers The use of sophisticated medical devices now more than ever helps medical practitioners diagnose with ease and accuracy. Their level of dependency on devices, however, has raised concerns about ensuring the safety and quality of devices. Notably, medical
08 September 2013 Adopting aerospace development and verification standards: Part 2 – Source/object code verification Source code verification checks that test cases have exercised all applicable requirements and highlights the sections of code that have and have not been executed. The identification of non-executed code pinpoints a number of potential shortcomings: E
07 September 2013 Adopting aerospace development and verification standards: Part 1 – A coding standards survey An ever-increasing reliance on software control and the nature of the applications has led many companies to undertake safety-related analysis and testing. Consider the antilock braking and traction control of today’s automobile. These safety systems ar
29 August 2013 Managing Software Risk in Medical Electronics With the 3rd edition of IEC 60601-1 now in enforcement in Europe and soon to be in the United States and Canada, there is significant momentum and progress toward improving the overall safety and effectiveness of medical devices. However, for those device
01 August 2013 New Programming Guidelines for Safety-Critical Software For C programmers working on safety- critical applications, following restrictions and guidelines to ensure safe-coding practices can be painful. Features of the language designed to make your work easier, more efficient, or provide work-arounds for obsta
31 July 2013 What's needed to ensure safety and security in UAV software Software developed for use in UAVs falls under the guidelines of DO-178, “Software Considerations in Airborne Systems and Equipment Certification.” Both DO-178B and the recently ratified DO-178C provide detailed guidelines for the production of all so
01 July 2013 Code Quality: Requirements traceability—Just as important as Design & Coding Today, requirements traceability is widely accepted as development best practice. It ensures that all requirements are implemented and that all development artifacts can be traced back to one or more requirements. Yet despite good intentions, many project
06 June 2013 DO-178C: Accommodating the Evolution of Software Processes DO-178C makes room for modern programming practices to be adopted by avionics vendors, ushering in greater cost savings and easier-to-manage project schedules. Based on studies from Boeing and Airbus, the size and complexity of avionics software continue
21 May 2013 Creating a software safety lifecycle Starting with requirements specification, developers must specify the requirements for safety-related software of each E/E/PE safety-related system and achieve the SIL specified for each safety function allocated to that system. IEC 61508 specifies four S
14 May 2013 Certifying Industrial Systems Using IEC 61508 With recent advances in automation, software is no longer a small part of electro-mechanical systems, but instead forms the underlying technology providing functional safety for many products. By Shrikant Satyanarayan, Technical Consultant with LDRA, in I
09 May 2013 LDRA to Give Away Copies of the New MISRA C:2012 Coding Standard at UK Device Developers’ Conference Software analysis tool company, LDRA have announced that they will be giving away a copy of the MISRA C:2012 guidelines at each of their ½ day technical workshops during the UK Device Developers’ Conference. The Device Developers' Conference is a one-
18 April 2013 Coding standards for secure embedded systems The security of networked embedded devices is becoming a major concern. The adoption of networking in embedded systems is widespread and includes everything from domestic audio/video systems to supervisory control and data acquisition (SCADA) systems. Use
11 April 2013 Decoding MISRA C:2012 for Medtech Applications When it comes to medical applications, high-quality software is a must. For C programmers working on safety-critical applications, however, restrictions and guidelines to ensure safe coding practices can be painful. Features of the language that are desig
11 April 2013 Sidebar: The MISRA Index C is a very malleable language that allows developers a high degree of flexibility. The downside is that many allowed practices can result in unstructured, hard- to-maintain or faulty code that permits memory overwrites, mismatched types and so forth. MI
03 April 2013 Think ahead about coding standards If your product doesn’t need to meet a specific industry or international process standard—such as those for safety-critical software in avionics, defense, or medical applications—why would you consider a coding standard? After all, coding standards
28 March 2013 Code Quality: Dynamic & static analysis combined makes engineers & auditors happy In the good old days, before writing software became “software engineering,” code development was a black art practiced by weird nerdy kids straight out of college. For them, coding was by no means a structured discipline. If you managed to get them t
28 February 2013 MISRA C:2012: Plenty Of Good Reasons To Change MISRA C:2012: Plenty Of Good Reasons To Change. For C programmers working on safety-critical applications, restrictions and guidelines to ensure safe coding practices can be painful. Features of the language that are designed to make your work easier or m
25 February 2013 New Version of MISRA C: Why Should You Care? MISRA C was first published in 1998 (MISRA C:1998) to provide a "restricted subset of a standardised structured language" for automotive systems. The adoption of MISRA C in an unexpectedly wide range of industrial sectors far exceeded the original expecta
11 February 2013 A Practitioner’s Guide To Critical Software Certification Software plays an increasingly important role in the development of many critical projects, whether in avionics, nuclear power stations, cars, trains, or medical devices. When the cost of a software failure is great, it becomes more important to ensure th
06 January 2013 UAV Systems Face Safety-Critical Challenges UAVs have a well-established role in military operations around the world for a variety of mission types, and evidence suggests that their use and the diversity of this use are likely to increase dramatically in the next few years. COTS Journal www.cots
19 December 2012 What Coding Standards Can Do for Critical Embedded Software Development Reviews of faults and failures in high-reliability embedded systems ranging from medical devices to military systems show that all too frequently the source of the problem lies in software errors. A variety of standards such as ISO 26262 and IEC 62304 int
06 December 2012 Making the Link from Requirements to Verification Requirements traceability is seen to yield a more predictable outcome at deployment, and responds to an increased demand for sound monitoring and management techniques during development, particularly between project phases. Appropriate automation can ens
27 November 2012 Better requirements analysis eliminates design defects Before finding a more specialized vocation, I spent more than 15 years in industry developing and testing software. Back then the “waterfall” process dominated software development with its distinct phases of analysis, design, code and test. The theor
26 November 2012 Code Quality: Static analysis—essential for code quality, but not the silver bullet Let’s start with the obvious: static analysis on its own is not a silver bullet. It doesn’t guarantee high code quality, safety, or security in your complex military embedded application. Nor does static analysis ensure your application meets the func
25 October 2012 Automated Requirements Traceability & Verification of Software: Who Cares? I Do Today’s device manufacturers face conflicting demands: Get the product out the door. Minimize development cost. Meet ever-changing customer requirements. Certify your device. The list goes on. Add the fact that most development organizations are constan
15 October 2012 Ensure Safety of Unmanned Flying Machines An unmanned aerial vehicle (UAV), commonly known as a drone, is an aircraft without a human pilot on board. UAVs are often preferred for missions that are too 'dull, dirty or dangerous' for manned aircraft. In the case of military or security related appl
10 October 2012 What use are test tools for applications based on software reuse? When it comes to military software technology development, the software development paradigm is very different from that of, say, automotive technologies. In military technology, duplicate applications and systems are the exception, not the rule. Yet, if
02 October 2012 Medical device software: Why is it in critical condition? When it comes to medical devices, manufacturers face conflicting demands. Devices need to provide the expected performance. They need to be quick to market and cost effective. Above all, however, when human health and safety are at stake, they need to be
17 August 2012 Simplifying IEC 62304 Compliance for Developers Medical devices have become increasingly sophisticated, often employing software-controlled applications whose failure to function correctly could result in death or serious injury to the patient treated by them. Despite this increased danger, medical sof
07 August 2012 Automated tools streamline software test and certification As software becomes increasingly important in safety-critical medical, automotive, aviation, and industrial systems, the risks presented by coding errors have intensified from merely squandering time to endangering lives, destroying property, and costing
19 July 2012 Out of the Passenger’s Seat: Requirements Traceability to Drive the Software Development Process Static requirements traceability has its strong and weak points. Dynamic traceability can serve as a way to adapt the requirements traceability matrix as its component parts change. Not only can the RTM be shown as a way to connect many parts of a whole,
02 July 2012 Security-Critical Software-Development Process and Tools As software written to MILS and Common Criteria guidelines becomes more common in security and defense applications, organizations increasingly look to automated tools to provide the proper analysis and verification artifacts for certification authorities
11 June 2012 Using requirements traceability with model-driven development Model-driven development (MDD) is a growing trend within the embedded computing world including safety-critical industries such as defense and avionics. While some modeling work is often involved in the software development process, the key differences ar
18 May 2012 Easing IEC 62304 Certification for Medical Devices With the ratification and update of IEC 62304, a standard for design of medical products recently endorsed by both the European Union and the U.S., medical developers throughout the world are asking if IEC 62304 should form the foundations of a medical de
18 May 2012 Easing IEC 62304 Certification for Medical Devices—Part 2 IEC 62304 focuses on the software development process, defining the majority of the software development and verification activities. This standard outlines requirements at each stage of the development lifecycle and defines the minimum activities and tas
05 April 2012 DO-178C takes safety-critical software development to the next level Since its introduction in 1992 by the RTCA, DO-178B has become the de factostandard for certifying all new aviation software. Subsequently, avionics software complexity has increased dramatically, making it harder to manage the design of that software at
27 March 2012 LDRA Certification Services streamlines FAA/EASA certification at a fixed price LDRA Certification Services (LCS), a division of LDRA, is announcing the first comprehensive and fully compliant FAA/EASA certification solution. This offering brings together a team of certification industry experts who are fully accredited across all av
19 March 2012 Unit test tools and automatic test generation When are unit test tools justifiable? Ultimately, the justification of unit test tools comes down to a commercial decision. The later a defect is found in the product development, the more costly it is to fix. This is a concept first established in 1975 w
16 March 2012 DO-178C brings modern technology to safety-critical software development As software becomes more complex, it becomes hard to manage the design of that software at the code level. Object oriented programming (C++, Ada, and Java) and modeling (UML, mathematical, and so on) simplify the development of complex software by enablin

In The NewsView All

DATE HEADLINE FINDINGS
20 August 2014 Methodology and certification roadmap key to standards compliance, addressing goals of regulatory authorities The National Systems, Software, and Airborne Electronic Hardware Conference has provided an excellent opportunity for FAA guidance to be provided to the community of Designated Engineering Representatives (DERs), who serve as auditors in the certification
30 June 2014 Stopping the Recalls Richardson believes that a key aspect of software development is keeping the requirements at the front of your mind. "Everything has to be traced back to requirements," he said. "If you can't, then why are you doing it? Whatever we do, we need to make su
04 April 2014 Automotive Litigation Spotlights Need for Software Safety "Clearly, there's been an acceleration in the use of (safety) standards," Jim McElroy, vice president of marketing for LDRA, a maker of automated software verification systems, told Design News. "But now there are market drivers that are going to force au
18 October 2013 Going Critical Recently, the FDA took punitive action against Baxter Healthcare and their infusion pumps, eventually enforcing a recall, while the Drug and Device Accountability Act shows that the US government also has the issue of software quality in medical devices c
18 October 2013 Visualizing, tracking down and dealing with tainted software Most new static analysis tools have some degree of tracking capability in the form of node and edge diagrams to visualize software that's useful in dealing with misbehaving code. As noted by Mark Pitchford in "Tracing requirements through to object-code v
16 September 2013 Modern software testing & quality assurance on the F-35 Joint Strike Fighter Datel personnel made use of LDRA’s complete structural coverage analysis solution at unit, integration, and system test levels. These tests were applied to source and object code, making use of the LDRA tool suite’s red-box mode. “It was important
09 September 2013 Software quality assurance Aerospace and defense engineers adopt software development, verification, and test tools with an eye toward cost, efficiency, and scalability. As manned and unmanned military platforms continue to increase in complexity and functionality, the lines of so
10 July 2013 Tool suite integrated with debugger and simulator for ISO 26262 compliance The LDRA tool suite has been integrated with the Lauterbach Trace 32 debugger and simulator. Lauterbach’s hardware-assisted debug tools ease the interface to the embedded device, enabling developers to download and test an application on the target. Au
02 July 2013 Some neat software compliance & testing tools One very cool tool that seems to fit the needs of this industry is Testbed by LDRA. What I like about this product is that it includes around twenty different software standards spread over 1000+ rules. You can tell it to check against a standard, or some
06 June 2013 LDRA integration with Lauterbach TRACE32 simplifies code analysis, test and certification UK: LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, has integrated the LDRA tool suite with the Lauterbach TRACE32 Debugger and Simulator. Lauterbach’s hardware-assisted debug tools ease t
01 June 2013 Software development tools today are about reliability and ensuring adherence to standards Application software for a growing majority of aerospace and defense systems is complex, and is becoming more so all the time. Requirements for broad capability, precise reliability, security, networking, real-time performance, and interoperability make w
22 May 2013 Managing FAA DO-178B/C, 278A, and 254 with one system Certifying to FAA applications is an expensive, time-consuming process, but required for any software or hardware that is flight-critical on aircraft that travel through civil airspace. LDRA engineers in Wirral, United Kingdom, have found a way to make th
06 May 2013 The many paths to safe, reliable firmware development Just after the creation of the MISRA C/C++ standard by the automotive industry as a guideline for writing C code for safety-critical applications, Embedded.com in 2002 ran one of the first tutorials on the guidelines, titled “Introduction to MISRA C.”
25 April 2013 DO-178C, DO-278A, DO-254 Certification Management System developed by LDRA The LDRA Compliance Management System (LCMS), a resource for developing infrastructure that supports DO-178B/C, DO-278A, and DO-254 compliancy, has been released by LDRA. LCMS ensures certification readiness through a process that includes LDRA Certificat
22 April 2013 LDRA/NI integration links hardware and software testing Certification of avionics projects is a requirement. It is not an easy one to meet and the enumerable artifacts and procedures are necessary. LDRA’s Compliance Management System (LCMS) is designed to provide part of the infrastructure necessary for comp
22 April 2013 Reliable Safety-Critical Software at Design West 2013 Electronic DesignCertification of avionics projects is a requirement. It is not an easy one to meet and the enumerable artifacts and procedures are necessary. LDRA’s Compliance Management System (LCMS) is designed to provide part of the infrastructure n
05 April 2013 LDRA: Graphical debug and process automation speed development The integration enables the LDRA tool suite to perform verification to the object code level through Simulink-based testing. The LDRA tool suite then can verify that any discrepancies between source and object code caused by compiler or program optimizati
05 April 2013 LDRA integrates tool suite with MATLAB and Simulink, verifies model at object code level LDRA, a provider of standards compliance, automated software verification, source code analysis, and test tools, offers verification of the model via integration with MATLAB and Simulink. To boost the quality and efficiency of safety-critical design, the
02 April 2013 LDRA Extends Integration with MATLAB and Simulink LDRA now offers unprecedented verification of the model through a sophisticated integration with MATLAB and Simulink. The LDRA tool suite can now use real-world data from MATLAB that's connected to a Simulink model in order to fully verify the application
20 March 2013 Taking the Pulse of the Embedded Industry The original MISRA C, published in 1998, was called Guidelines for the Use of the C Language in Vehicle Based Software. It started from the premise that it was possible to write C code that was legal and that compiles, but that could be unpredictable in o
19 March 2013 Checking Rules for C: Assuring Reliability and Safety C is the most widely used programming language—and can be quite complex. A standard set of rules is available to avoid any inherent ambiguities and to help programmers steer a course to reliable code. RTC rtcmagazine.com
05 March 2013 MISRA C: 2012 aims to leave little to the imagination The C99 version of C existed when the 2004 version of MISRA C was published, but the feeling at the time was that the language was not mature enough to be included in a coding standard and so MISRA decided to stick with C90. Today, that has changed and C9
04 March 2013 MISRA-C update to land later in March Although originally conceived by engineers from two UK-based automakers, the MISRA C standard has become widely adopted across industries, including those in military, aerospace and nuclear energy. Research from 2011 by market analyst VDC Research found t
01 March 2013 LDRA Extends Integration with MATLAB and Simulink The LDRA tool suite can now use real-world data from MATLAB that’s connected to a Simulink model to fully verify the application at a source and object code level. Developers can fine-tune the model to reflect a data-driven flow of information, reducing
28 February 2013 Analysis: safe-code revision grapples with automated checking The process has, however, questioned the nature of coding standards and the ability to verify that code follows them. The MISRA-C standard provides programmers with a set of coding rules that prevent the use of coding constructs that are more likely to le
01 December 2012 Bigger isn't always better There's a new breed of unmanned vehicle in town, and they can be launched, tossed, or operated with just one hand. These pint-sized vehicles (though many of them are smaller than that) are called micro unmanned vehicles, and they have begun seeing a surge
06 November 2012 My Opinion on IEC 61508: It Puts Safety First Also known as Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems, IEC 61508 is intended to be a basic functional safety standard that's applicable to all industries. Specifically, it defines functional safety as part
15 October 2012 What trend or new technology will drive the test instrument market in 2013? If we focus just on software, there continues to be an increasing reliance on software to differentiate and provide flexibility for future product expansion. This fundamental reliance on software drives device and system manufacturers to look at ways to s
08 October 2012 Basis Path Testing There’s a scientific way to compute the lower bound of how many tests on a function are enough. Few people bother to measure anything in the firmware world, which is a shame. For this to be engineering, we need to apply known principles, measure the re
01 September 2012 EDA tools aim at increased efficiency As project requirements change and the level of software involved in military and aerospace systems increases, project lifecycle management tools are facing changes as they attempt to provide companies with improved efficiency and more closely integrated
20 April 2012 Getting Code Coverage with LDRA Tools on Simics A system development tool like Simics is rarely used completely on its own. Simics is usually brought in by companies and development teams who are already using a variety of tools and expect to keep doing so along with Simics. Also, Simics by itself cann