Lösungen Übersicht

Safety is one of the key issues for railway applications. Railway safety is concerned with the protection of life and property through regulation, management and technology development of all forms of rail transportation. With modern technology, developers are increasingly turning to electronic / s...

Weiterlesen...

Was ist RTCA/DO-178B? Der "International Avionics Standard" für sicherheitskritische Software, RTCA/DO-178B "Software Considerations in Airborne Systems and Equipment Certification Requirements", fordert die Einhaltung sehr strenger dynamischer Überdeckungsregeln. Die Werkzeugfamilie von LDRA ste...

Weiterlesen...

Hintergrund Die Richtlinien RTCA DO-278 / EUROCAE ED-109 "Guidelines for Communication, Navigation, Surveillance and Air Traffic Management (CNS/ATM) Systems Software Integrity Assurance" beschreiben einen zu dem DO-178B Standard komplementären Standard für Systeme, die bodengestützt sind. RTCA ...

Weiterlesen...

Was ist MISRA-C:2004? 1998 publizierte die Motor Industry Software Reliability Association (MISRA) das Dokument "Guidelines For The Use Of The C Language In Vehicle Based Software". Dieses Dokument wurde erzeugt um die Verwendung von "Safe C" in der Autoindustrie für Systeme, die nach den MISRA In...

Weiterlesen...

Was ist MISRA-C:1998? 1998 publizierte die Motor Industry Software Reliability Association (MISRA) das Dokument "Richtlinien für die Verwendung der Sprache C in automobilbasierter Software". Dieses Dokument wurde zu dem Zweck veröffentlicht die Verwendung von "Sicherem C" in der Automobilindustri...

Weiterlesen...

Die HIS Arbeitsgruppe "Software Test" verabschiedete eine, aus Ihrer Sicht fur HIS relevante Untermenge an Regeln, die an die MISRA Regeln in der Version 1998 angelehnt sind. Diese sind auf der HIS Webseite http://www.automotive-his.de veroffentlicht. Diese Dokument enthalt auch zusatzliche, vom MIS...

Weiterlesen...

Was ist Def Stan 00-55? Er ist eine Anforderung des britischen Verteidigungsministeriums, daß jede sicherheitskritische Software, die ihm geliefert werden soll dem MOD (Ministry of Defence) Standard DEF Stan 00-55 genügen muß. Die LDRA Werkzeugfamilie stellt eine Reihe mächtiger Funktionen zur ...

Weiterlesen...

Formale Freigabe des JSF AV C ++ Codierstandards Lockheed Martin hat formal den Joint Strike Fighter Air Vehicle C++ Codiierstandard freigegeben. LDRA ist somit das Werkzeug, welches von LMCO für das JSF Projekt ausgewählt wurde. Eine Kopie des Standards können Sie erhalten, wenn Sie auf den Lin...

Weiterlesen...

Was ist C++ Code hoher Integritat? Das Handbuch fur die Standards von C++ Code: © The Programming Research Group, hoher Integritat wurde fur Organisationen erarbeitet, die C++ Software hoher Qualitat erzeugen mochten. LDRA ist in der Lage Softwareentwickler und -tester bei der Aufgabe nachz...

Weiterlesen...

Hintergrund von IPA/SEC Die IPA/SEC Richtlinien für Codierpraktiken in der Sprache C wurden vom Software Engineering Centre der japanischen Information-Technology Promotion Agentur herausgegeben. Diese Codierpraktiken sind dazu gedacht Programmierern dabei zu helfen konsistenten Code hoher QualitÃ...

Weiterlesen...

Nachweis von MISRA-C++:2008 mit der LDRA Werkzeugreihe®

Nachweis von IEC 61508 mit der LDRA Werkzeugreihe®

Nachweis von IEC 62304 mit der LDRA Werkzeugreihe®

 

Nachweis von CERT C mit der LDRA Werkzeugreihe®

Compliance to ISO/DIS 26262 with the LDRA tool suite®

Übersicht Der Testmanager verwaltet Ihren Programmeinheitstestbezugsrahmen und ein Repositorium (Aufbewahrungsort) für alle erzeugten Artefakte, die von der LDRA Werkzeugreihe erzeugt werden. Zusätzlich findet der Testmanager automatisch alle Änderungen, die an Ihren Quellcodedatei(en) vorgenom...

Weiterlesen...

Übersicht Die Testverifizierung kann von Programmeinheitstestkomponente durchgeführt werden, die Testmetrikergebnisse für einzelne Testfälle auf unterschiedlichen Ebenen liefert einschließlich der Funktions-/Methoden-, Modul-/Klassen- und Komponenten-/Systemebenen. Die Testverifizierung stellt...

Weiterlesen...

Übersicht Die LDRA Werkzeugreihe bestimmt automatisch die Komplexität und Dichte Ihres Quellcodes. LDRA geht über Standardkomplexitätsmetriken hinaus um "wesentliche Komplexität" zu bestimmen, oder darauf hinzuweisen, welche Bereiche Ihres Codes einer Zerlegung bedürfen. Codedichtemetriken si...

Weiterlesen...

Übersicht Ein vitaler Aspekt der Softwareentwicklung besteht darin, daß die Software sich so verhält wie erwartet. Das Design Review von LDRA erweitet den Rahmen der statischen Analyse, die von der "Code-Review" und dem Qualtitäts-"review" geliefert wird dahingehend, daß eine Analyse des Aufba...

Weiterlesen...

Übersicht Das LDRA Testbed überprüft anhand eines umfassenden Satzes von Programmierstandards entweder eine einzige Quelldatei oder ein ganzes System bestehend aus vielen Quelldateien. Standards können entweder vom Kunden definiert werden, oder es können Industriestandardregeln zur Überprüfu...

Weiterlesen...

What is TBreq? Requirement Testing and Verification TBreq, through its integration with the LDRA tool suite which includes LDRA Testbed® and TBrun® (unit testing component), is a unique solution that can help your team overcome the challenges of allocating requirements to team members, mapping r...

Weiterlesen...

Einführung Die aktuelle politische und wirtschaftliche Lage diktiert, dass sicherheitsrelevante Sachverhalte eine entscheidende Rolle für Manager, die für Systementwicklungen verantwortlich sind, in so unterschiedlichen Industriesektoren wie Transport, Verteidigung, Finanzen und Energie spielen....

Weiterlesen...

Da Software und Softwareanforderungen in Raumfahrtsystemen immer komplexer werden, spielt die Softwaresicherheit eine immer wichtigere Rolle, wenn es um die Sicherheit des gesamten Systems geht. Und in der Tat lassen sich nach einer Studie der  Aerospace Corporation die Hälfte aller beobachteten...

Weiterlesen...

Software und medizintechnische Gerätesicherheit Die LDRA Testbed Werkzeugreihe ist die erste Wahl wenn es gilt Qualität in die Software für medizinische Geräte zu einzubringen. Viele medizintechnische Geräte haben ihre Softwarequalitätsziele mit Hilfe der LDRA Testbed Werkzeugreihe erreicht.Â...

Weiterlesen...

Die Kernenergiewirtschaft geht mit einem der potentiell gefährlichsten Prozesse der Welt um. Das primäre Ziel der Industrie ist es eine sichere, billige, zuverlässige und umweltfreundliche Energie zu erzeugen und dabei die Operations- und Wartungskosten so niedrig wie möglich zu halten. Die Ind...

Weiterlesen...

Wie jedes Massenverkehrsmittel müssen Eisenbahnen sicher und vertrauenswürdig für ihre potentiellen Nutzer erscheinen, d. h. Fehler in ihren Steuerungssystemen müssen minimiert werden. Die Kunden von LDRA in diesem Wirtschaftssektor sind viele weltmarktführende Unternehmen im Eisenbahn- und im...

Weiterlesen...

Systeme für die wehrtechnische Industrie Die LDRA Werkzeugreihe ist die führende Wahl, wenn es gilt, Qualität in wehrtechnische Systemsoftware einzubauen. Dies reicht von den einfachsten Systemen bis zu Softwaresystemen, die kritisch für die Sicherheit und den gesamten Einsatz sind. Viele aktue...

Weiterlesen...

Sicherheitskritischer Softwareentwicklungsprozess Die aktuelle politische und wirtschaftliche Lage diktiert, dass für Organisationen, die im sicherheitsrelevanten Bereich tätig sind, sicherheitsrelevante Sachverhalte eine entscheidende Rolle für Manager von Systementwicklungen spielen, die in so...

Weiterlesen...

Die Automobilindustrie spielt eine wichtige Rolle bei der Sicherheit der Leute, die ihre Fahrzeuge benutzen Die Software, die die Fahrzeuge steuert muß so entwickelt und getestet werden, daß sie auch die höchsten Qualitätskriterien erfüllt. Industriestandards wie MISRA C wurden entwickelt um s...

Weiterlesen...

Avionik und Flugzeugsicherheit Die LDRA Werkzeugreihe ist die erste Wahl, wenn es darum geht Qualität in sicherheitskritische Zivil- und Militärluftfahrtsoftware einzubringen. Die meisten Flugzeuge der aktuellen und der zukünftigen Generationen enthalten mehrere Systeme, einschließlich des F-35...

Weiterlesen...

In den letzten Jahren war der Telekommunikationsbereich geprägt durch schnelles Wachstum und der Aufnahme neuer Technologien gekoppelt mit intensivem Wettbewerb zwischen den Firmen, die in diesem Bereich aktiv sind. Die Firmen versuchen einen Wettbewerbsvorteil zu ergattern und ihren Marktanteil z...

Weiterlesen...