-
- |
- Service / Hilfe
- |
- Kontakt
- |
- B2B
- Mein PONS
Übersetzungen für „Verifikations-“ im Deutsch » Englisch-Wörterbuch
(Springe zu Englisch » Deutsch)Beispiele aus dem Internet (nicht von der PONS Redaktion geprüft)
Bedingt durch diese Komplexität steigt auch die Wahrscheinlichkeit von Restfehlern, die insbesondere bei hochzuverlässiger und sicherheitskritischer Software katastrophale Folgen haben können.
Das UnITeD Projekt versucht, die hohen Verifikations- und Validierungskosten sicherheitskritischer und hochzuverlässiger Software durch Automatisierung signifikant zu reduzieren und gleichzeitig die Erkennung von Restfehlern zu optimierten.
Dazu verwendet es evolutionäre Verfahren um aus UML-Diagrammen automatisch Testdaten zu generieren.
www11.informatik.uni-erlangen.deThese remaining failures may have disastrous consequences in safety critical and high reliable software.
The UnITeD Project tries to significantly reduce the high verification and validations costs of safety critical and high reliable software and is attempting to optimize the detection of remaining failures by automation.
For this purpose, it uses evolutionary methods to automatically generate test data from a UML model.
www11.informatik.uni-erlangen.dedie Auditierung von Qualitäts- und Sicherheitsmanagementsystemen ,
die Begleitung von Verifikations- und Validierungsmaßnahmen und
die Erstellung von Zwischen- und Abschlussgutachten sowie Zertifikaten während des gesamten Lebenszyklus eines Systems.
www.tuv.comAudit of quality and safety management systems
Assistance during verification and validation measurements
Preparation of mid-term and final reports and certificates during the entire life-cycle of your system
www.tuv.comDas DO Qualification Kit enthält Dokumentation, Testfälle und Verfahren zur Qualifikation von Simulink und den Polyspace-Tools zur Softwareverifikation für Projekte nach dem DO-178B-Standard.
Das IEC Certification Kit enthält Zertifikate und Berichte des TÜV SÜD, basierend auf dokumentierten, anwendungsspezifischen Verifikations-Workflows.
Diese unterstützen Sie beim Einsatz von Embedded Coder ™ und Polyspace-Produkten für die Codeverifikation in Projekten, die eine Entwicklung und Dokumentation nach IEC 61508 und ISO 26262 vorschreiben.
www.mathworks.deDesign embedded software for high-integrity systems that meet industry standards with Simulink and related tools.
DO Qualification Kit provides documentation, test cases, and procedures that let you qualify Simulink or Polyspace software verification tools for projects based on the DO-178 standard.
IEC Certification Kit includes certificates and reports from certification authority TÜV SÜD that are based on documented, application-specific verification workflows to help you use Embedded Coder ™ or Polyspace code verification products for projects based on the IEC 61508 and ISO 26262 standards.
www.mathworks.deMöchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Sende uns gern einen neuen Eintrag.