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.

White Paper: An Introduction to MISRA C:2012

The latest update, MISRA C:2012, is being released in early 2013 and will provide support for ISO 9899:1999 (C99)
while retaining support for C90. The new language subset will help mitigate software-related risks for safetycritical
applications, while allowing programmers to spend more time coding and less time on compliance efforts.
In the updated language subset, rules have been made more precise so that the language subset will not prevent
reasonable uses or behaviours that have no undesirable consequences. In addition developers will now have
better guidance on rules enforcement, such as whether a rule defines a general behaviour across the project or
only specific cases.

White Paper: Using Dynamic Software Analysis to Support Medical Device Approval

In this paper, we look at a) how dynamic code analysis can support demonstrations of compliance with safety requirements, and b) key capabilities we should look for in dynamic analysis tools. We then present in appendices, to help with tool selection, tables mapping development activities with requirements in the IEC 62304 standard: and, to help with OS selection, a short description of OS characteristics that can facilitate the design, development and approval of safety-related software.

The introduction of RTCA/DO-331 Model based Development and Verification Supplement to DO-178C and DO-278A offers new opportunities to leverage the strengths of model based development under RTCA/DO-178C.

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.