Ressourcen

Just select the document you wish to download. You will be asked to login before downloading it.

Just select the document you wish to download. You will be asked to login before downloading it.

Just select the document you wish to download. You will be asked to login before downloading it.

Just select the document you wish to download. You will be asked to login before downloading it.

Just select the document you wish to download. You will be asked to login before downloading it.

Just select the document you wish to download. You will be asked to login before downloading it.

Just select the document you wish to download. You will be asked to login before downloading it.

Just select the document you wish to download. You will be asked to login before downloading it.

Just select the document you wish to download. You will be asked to login before downloading it.

Just select the document you wish to download. You will be asked to login before downloading it.

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 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.

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.

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.

The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used the JPL standard.

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.

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.

The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used the Embedded C Coding Standard.

The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used the HIS standard.

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.

The Use of Requirements Management and Software Verification Tools as Part of a Comprehensive Medical Devices Development Strategy.

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.

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.

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.

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.

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.

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 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.

Working with the avionics industry to meet the challenges of achieving certification economically. LDRA has exceptional experience in this specialist area and the LDRA tool suite provides the most comprehensive source code analysis and testing facilities for assisting meet DO-178B software development and verification requirements.

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.

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.

This white paper looks at Zero Defect Software Development (ZDSD) as a results-oriented process that emphasises the analysis, testing and reporting of the causality of defects. This process, which has evolved from LDRA’s commitment to safety-critical software development and verification, supplants the traditional approach of reacting to undesirable effects and treating symptoms while attempting to manage verification process using “trend analyses” or simply tracking the occurrences of defects.

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.

LDRA looks at ways to reduce the cost of testing and maintaining code. Testing and maintenance of code constitute 70% or more of the typical software lifecycle, but what strategies can be used to manage these costs?

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.

The rail industry can learn from the aerospace business in using software development tools. A strategy for testing software is now seen as critical as software design and implementation. The challenges of testing Real-Time Embedded Systems is explained and how automated unit testing benefits the process.

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.

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.

Analox, ein Marktführer im Bereich des Aufspürens von Gasen entschied sich für den Einsatz der LDRA Werkzeugreihe bei zwei Projekten denen Sicherheitsaspekte zugrunde lagen. LDRA war auch das einzige Produkt, welches vollständig in die Analox Werkzeugreihe integriert werden konnte, so dass bei fallenden Kosten die Produktivität und die Qualität sich erhöhten.

Ultra entwickelte eine Aktualisierung eines vorhandenen, nicht zertifizierten Avionik-Systems und hob die signifikanten Herausforderungen hervor, die bei der Einführung der Forderung der Zertifizierung nach Do-178B Ebene B entstehen, wobei gleichzeitig eine Migration der Hardwareplattform auf eine handelsübliche (commercial off-the-shelf (COTS)) stattfand. Sie legten den Schwerpunkt auf die zu verwendeten Testtechniken und speziell wie die LDRA Werkzeugreihe die Herausforderungen bewältigte um eine sicherheits zertifizierbare Plattform auf VxWorks zu entwickeln.

Fairchild Controls – eine Tochterfirma von EADS North America (Fairchild) entschied sich für die LDRA Werkzeugreihe um sie in ihre Entwicklungsumgebung zu integrieren und ihre Möglichkeiten zu nutzen eine DO-178B Level C Zertifizierung zu erlangen. Die LDRA Werkzeugreihe half Fairchild dabei die Entwicklungsprozesse zu automatisieren und ihre Effektivität um 1000% zu erhöhen.

IHI, ein Hersteller von Düsentriebwerken in Japan, entschied sich für die LDRA Werkzeugreihe um seinen vorhandenen C und Ada Quellcode für die DO-178B Zertifizierung zu verifizieren. IHI fand heraus, dass die LDRA Werkzeugreihe 14mal schneller war als die Prozesse, die zuvor für die Überdeckungsanalysen benutzt wurden. IHI sagte auch, dass die Entscheidung für die LDRA Werkzeugreihe auf der Analysetiefe sowie der Vielzahl der vorhandenen Module beruhte.

Ultra Datel (Datel) verwendete die LDRA Werkzeugreihe (Softwareverifizierungswerkzeuge) in sicherheitskritischen Projekten. LDRA wurde in den Projekten Schutz vor Eis auf Tragflächen (Wing Ice Protection System (WIPS)) und Schutz vor Eis in Triebwerken (Engine Ice Protection System (EIPS)) benutzt. Datel berechnete einen Einspareffekt von £2 Millionen über 4 Jahre, da die LDRA Werkzeugreihe einen stromlinienförmigen und hochgradig automatisierbaren Verifizierungsprozess bereitstellt.

DENSO ist ein führender Lieferant für fortschrittlicher Automobiltechnologie, Systeme und Komponenten für nahezu alle Automobilwerke in der Welt. Sie verwendeten die Softwareanalysetechniken von LDRA erfolgreich zur Verbesserung der Qualität ihrer Softwareplattform. Die LDRA Werkzeugreihe wird als Maßstab für andere von dritter Seite angebotenen Produkte und ähnlicher Softwareplattformprodukte benutzt.

LDRA ist auf dem chinesischen Markt seit dem Jahre 2000 durch den chinesischen Distributor Vision Microsystems vertreten. In dieser Zeitspanne hat sich der chinesische Luftfahrt- und Verteidigungsmarkt dramatisch vergrößert, so dass ein sehr hoher Bedarf für Softwaretestwerkzeuge vorhanden ist, die in der Lage sind komplexe sicherheitskritische Anwendungen zu analysieren.

Seaweed Systems ist ein Lieferant hochwertiger OpenGL Graphiktreiber und –geräte für die wehrtechnische und die Luftfahrtindustrie, die in sicherheitskritischen Anwendungen wie zum Beispiel bei der Cockpitinstrumentierung Verwendung finden. LDRA half Seaweed beim Erreichen der DO-178B Ebene A, die Daten zur strukturierten Überdeckung erfordert und zwar über den ganzen Bereich der Seaweed Systems Software hinweg. Diese Daten wurden mithilfe ihrer implementierten automatisierten Testreihe gewonnen und zwar für alle Betriebssysteme, die Seaweed einsetzt.

Neptec ist ein Marktführer im Bereich Entwurf, Entwicklung und Integration für missionskritische Echtzeitsoftware, harscher Umweltelektronik und digitaler Signalverarbeitung. Sie benötigten ein Werkzeug mit umfassenden und detaillierten Berichtmöglichkeiten zum Zwecke der Revision. Es sollte auch leicht mittels einer graphischen Anwenderschnittstelle leicht zu konfigurieren und zu bedienen sein.

Invensys Dimetronic Signals (IDS) ist eine spanische Firma mit über 45jähriger Erfahrung im Bereich der Implementierung sicherheitskritischer und sicherheitsaffiner dem Stand der Technik entsprechenden Technologien. Sie hatten spezielle technische Anforderungen, die unter anderen beinhalteten, dass ein Nachweis von ISO 9001:2000, Programmstandards einschließlich MISRA C, sowie ein Host/Zieltest für ihre eingebetteten Systemsoftwareanwendungen möglich ist.

Die Abteilung von ENSCO’s Innovative Systems Solutions (ISS) ist ein führender Anbieter von Lösungen für Internetentwicklungen, e-Kommerz, automatisierten Anlagen, Prozesssteuerungen und missionskritischen Softwareentwicklungen und –Beratung. Dank der leichten Handhabung der Werkzeugreihe ist ein Tester innerhalb von 3 – 10 Tagen mit der Werkzeugreihe vertraut und kann sie anwenden, so dass Einsparungen von bis zu 50% erreicht worden sind.

QinetiQ’s Avionic Systems Integration Group (ASIG) in Boscombe Down, England besitzt eine nachweisbare Erfolgsgeschichte bezüglich der Lieferung von innovativen, praktischen und kosteneffektiven Lösungen auf dem Feld der Systemintegration im Bereich Forschung, Entwicklung und Betrieb. Die LDRA Werkzeugreihe wurde als primäres Werkzeug zur Codeanalyse in den kritischen Phasen der Projekte zur Validierung und Verifizierung ausgewählt.

LBS West ist Marktführer im deutschen Wohnungsbaufinanzmarkt im Bundesstaat Nordrhein-Westfalen (NRW). Die Entwicklungszeit wurde durch den Einsatz der LDRA Werkzeugreihe um 25% reduziert und die Testzeit um ca. 75%, dagegen erhöhte sich Testqualität und die Codequalität entsprechend.

Penny & Giles Aerospace in Christchurch, Vereinigtes Königreich ist Teil der Curtiss-Wright Gruppe.
Das Erreichen von DO-178b Level A mit dem durch LDRA „besser strukturierten Code ohne Fehler“ mit hoher Qualität liegt den Penny & Giles  Produkten zugrunde. Die LDRA Werkzeugreihe wurde aus ausgewählt diese Tradition auch für neue Produktgenerationen fortzusetzen.

Westinghouse Brakes liefert die Bremssteuersysteme für ca. 80% der Züge, die im Vereinigten Königreich auf Schienen rollen, kontaktierte LDRA 1995 um zu diskutieren wie ihre Testproduktivität durch die Verwendung von statischer und dynamischer Analyse vergrößert werden könnte. Das LDRA Testbed ermöglichte Softwaretestprozeduren für jedes in C codierte Modul, die innerhalb von 2 Tagen ausgeführt werden konnten. Eine Ersparnis von 60% Prozent, da ohne Testbed die Testprozeduren in 5 Tagen durchgeführt wurden.