| LDRA MISRA-C:1998 Standard Compliance v8.5.0 |
|
| The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used the MISRA-C:1998 standard. |
|
| |
|
| LDRA MISRA-C++:2008 Standard Compliance v8.5.0 |
|
| The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used the MISRA-C++:2008 standard. |
|
| |
|
| Legacy code in the safety critical age v2.1 |
|
| Legacy code reuse might seem like a good idea, but what about when security and safety-critical risks are a factor? Legacy code is expected to function correctly, but structural testing provides a way to mitigate the unexpected. |
|
| |
|
| Formal Methods implemented in the LDRA tool suite v2.1 |
|
| This paper outlines a number of static analysis techniques that may be regarded as formal methods in the sense of being mathematically based. The techniques form part of a well-known, commercially available tool suite, the LDRA tool suite. Many customers who use the tool suite, particularly those in the avionics software industry, regularly use the techniques to conform to the standards of appropriate certification bodies. Such practitioners would not normally regard themselves as employing formal methods. |
|
| |
|
| LDRA Tool Suite & IEC 61508 v4 |
|
| IEC 61508 is an international standard for safety related systems comprising of electrical and/or electronic and/or programmable electronic components. It is intended as a stand-alone standard and as a framework for the preparation of application sector standards. The purpose of this document is to demonstrate the areas where the LDRA tool suite contributes to the requirements of the IEC 61508 standard. |
|
| |
|
| LDRA JPL Standard Compliance v8.5.0 |
|
| The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used the JPL standard. |
|
| |
|
| LDRA CERT C Standard Compliance v8.5.0 |
|
| The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used the CERT C Secure Coding Standard, Version 1.0 - 2009. |
|
| |
|
| LDRA SEC C Standard Compliance v8.5.0 |
|
| The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used a Guide to Coding Practices for Embedded Software Development. |
|
| |
|
| LDRA Netrino Standard Compliance v8.5.0 |
|
| The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used the Embedded C Coding Standard. |
|
| |
|
| LDRA HIS Standard Compliance v8.5.0 |
|
| The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used the HIS standard. |
|
| |
|
| LDRA Tool Suite & IEC 61508:2010 v2.1 |
|
| IEC 61508:2010 is an international standard for safety related systems comprising of electrical and/or electronic and/or programmable electronic components. It is intended as a stand-alone standard and as a framework for the preparation of application sector standards. The purpose of this document is to demonstrate the areas where the LDRA tool suite contributes to the requirements of the IEC 61508:2010 standard. |
|
| |
|
| LDRA Requirements Management Software Tools |
|
| The Use of Requirements Management and Software Verification Tools as Part of a Comprehensive Medical Devices Development Strategy |
|
| |
|
| LDRA Tool Suite & IEC 62304 v2.1 |
|
| The extensive use of electronic devices in medical industry and as these electronic products has become more and more dependent on embedded software. The reliability and the associated risk of the embedded software’s used within the device have become important. As a result the IEC 62304 standard has emerged as a global benchmark for management of the software development lifecycle. The IEC 62304 standard provides a framework of software development lifecycle processes with activities and tasks necessary for the safe design and maintenance of medical device software. |
|
| |
|
| LDRA Tool Suite & ISO 26262 v2.1.1 |
|
| In response to the increased use of electronic systems within the automotive industry and particularly in recognition of their application to safety critical functions, the ISO/DIS 26262 standard has been created in order to comply with needs specific to the application sector of electrical / electronic / programmable electronic (E/E/PE) systems within road vehicles. The purpose of this document is to demonstrate the areas where the LDRA tool suite contributes to the requirements of the ISO/DIS 26262 standard. |
|
| |
|
| LDRA MISRA-C:2004 Standard Compliance v8.5.0 |
|
| The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used the revised MISRA standard, MISRA-C:2004. |
|
| |
|
| LDRA JSF++ AV Standard Compliance v8.5.0 |
|
| The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used Doc. No. 2RDU00001 Rev C - Date: December 2005 by Lockheed Martin Corporation. |
|
| |
|
| LDRA High Integrity CPP Standard Compliance v8.5.0 |
|
| The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used the High Integrity C++ Coding Standard © - The Programming Research Group manual - Version 2.2 - Issued 18/5/04 by PRL. |
|
| |
|
| LDRA Tool Suite and TBreq v2.1.1 |
|
| The LDRA tool suite with TBreq provides a solution for software developers, testers, QA managers, architects, business modellers and project managers. Combining the new features of TBreq with LDRA’s leading-edge methodology, Zero Defect Software Development (ZDSD), the LDRA tool suite is the most feature rich and technically advanced product in the embedded software development market. |
|
| |
|
| The SIL Levels of IEC 61508 - A Revised Proposal v6 |
|
| The paper proposes a new scheme for safety integrity levels (SILs) based on reasoned principles. The scheme provides a mechanism for selecting appropriate verification and validation techniques for a given SIL and, in particular, suggests a replacement for the existing technique selection tables of the IEC 61508 standard. |
|
| |
|
| LDRA Tool Suite & DO178B v2.3 Chinese |
|
|
|
| |
|
| LDRA Tool Suite & Testing Automotive Software v2.1 |
|
| Modern motor vehicles make greater use of software than ever before. Much of this software is of a safety-critical or safety-related nature and, as such, must be designed, developed and tested to the highest possible standards most notable the MISRA C / MISRA-C:2004 standard. |
|
| |
|
| LDRA Tool Suite & Def Stan 00-55 v2.1 |
|
| It is a requirement that all safety-critical software supplied to the MOD must comply with the MOD standard Def Stan 00-55. LDRA have worked with the MOD to develop the LDRA tool suite to meet the challenges of achieving software certification. |
|
| |
|
| ZDSD Manifesto v2.1.2 Chinese |
|
|
|
| |
|
| LDRA Fault Spanning Sets v1.1 |
|
| Many software standards in safety-related industries make use of safety integrity levels (SILs), whereby the level of criticality of the software is used to determine aspects of the software development process, and in particular, the extent of the verification and validation effort deemed appropriate. This paper puts forward a proposal for a new SIL scheme with five levels that is applicable to safety- and mission-critical software projects. |
|
| |
|
| Testing Times for Real Time Software v2.1 Chinese |
|
| 测 试 时 讯 实时软件测试. 软件测试和维护占用了典型软件生命周期过程的70%或更多，那 么选择什么样的策略来控制这些成本呢？LDRA 将给出您答案。 |
|
| |
|
| Lessons Learnt from Aerospace Software Development v2.1 |
|
| The aerospace industry has been at the forefront of software development for the past 30 years and the lessons learnt and approaches that aerospace companies have utilised bring proven methodologies and techniques that ensure good quality and high reliability. |
|
| |
|
| Unit Testing Embedded Systems on Railways v2.1 Chinese |
|
| 自从工业革命以来，铁路工业技术一直 带动着欧洲经济的增长。落后的蒸汽机车已 经被使用无线电和毫秒级的安全苛刻电气 化铁路系统所代替。为了和铁路工业的一直 上升的要求保持同步，不论从技术或者资金 那个方面，驱动今天铁路系统的软件的开发 者应该必须彻底的测试它们，而不是消费者 或者依赖这些系统的人们。 |
|
| |
|
| Development of Object Code Verification v2.1 |
|
| The increasing sophistication and safety-critical nature of many modern embedded control applications, mean that as non-avionics based suppliers adopt DO-178B then object code verification is one of the key elements that they have to sit up and take notice of. LDRA explains this area and provides information on Object Code Verification Solutions. |
|
| |
|
| Efficient testing ensures requirements traceability & verification v2.1 |
|
| Integrating requirements with automotive electronics hardware and software testing streamlines development and cuts costs. The need for requirements traceability and verification is typically imposed on automotive electronics suppliers as a contractual requirement. With increasing frequency, vendors are recognizing that requirements-based testing is an essential element of successful software development projects in general. |
|
| |
|
| Testing Software - The New Frontier_v2_1 Chinese |
|
| 由于航空、航天和国防工业的设计越 来越复杂，导致相应的系统也变得越 来越复杂。从项目一开始就表现出这 种复杂性，并且贯穿在整个系统的构 建过程中，包括控制系统 的启动、运 行或者监控。这导致，软件开发在整 个开发过程中变得更加关键。 |
|
| |
|
