We ensure the use of consistent terminology, source code safety and correct operation of software and web applications.
Wir sorgen für einheitliche Terminologie, Beibehaltung des Programm-Codes und korrekte Arbeit der Software und Web-Anwendungen.
Autres résultats
Customers also acquire the full design (specifications, source codes, proof of safety) so that in fact they essentially own the system they purchase.
Darüber hinaus erhalten sie alle Konstruktionsunterlagen (Spezifikationen, Quellcodes, Sicherheitsnachweise) und können sich so das System, das sie anschaffen, zu eigen machen und auch ohne unsere Hilfe beliebig weiterentwickeln.
You will not get only source code of the Safety Add-Ons, in fact you get pre-certified modules for IEC 61508 and ISO 26262.
Sie erhalten nicht nur den Source Code der Safety Add-Ons, sondern fertig vor-zertifizierte Module für IEC 61508 und ISO 26262.
This real-time kernel is particularly popular in the safety-critical environment, because the source code is written in a comprehensible manner and is well documented.
Besonders beliebt ist dieser Echtzeit Kernel im sicherheitskritischen Umfeld, da der Sourcecode verständlich geschrieben und gut dokumentiert ist.
By contrast, the subject structural source code coverage is almost unknown outside safety-critical projects.
Dagegen spielt das Thema strukturelle Source Code Coverage außerhalb der Sicherheitstechnik praktisch keine Rolle.
In relation to safety aspects, the correct functioning of this source code part has to be proven.
Bezogen auf Safety-Aspekte, spielt die korrekte Funktionsweise genau dieses Source Code Teils eine sehr wichtige Rolle.
Certified source code as software component for safety use 2094
Geprüfter Source Code als Software Komponente für Safety Einsatz 2094
While static program analysis for proving safety properties or finding bugs usually targets source code, in many potential analysis scenarios only a binary is available.
Statische Programmanalyse zum Beweis von Sicherheitseigenschaften oder zum Entdecken von Fehlern zielt normalerweise auf Quelltext ab, in vielen potentiellen Analyseszenarien ist jedoch nur eine Binärdatei verfügbar.
If you are newly engaged in the area of functional safety, then you will encounter fairly quickly the terms "structural source code coverage" and "requirements".
Wenn Sie neu in dem Bereich der Funktionalen Sicherheit tätig sind, dann werden Ihnen die Begriffe strukturelle Source Code Coverage und Requirements ziemlich schnell begegnen.
A source code audit puts your software to the test under laboratory conditions to uncover safety-related weak points.
It accomplishes this by using, extending and expanding on known techniques for safety-oriented source code analysis - including abstract interpretations, deductive verifications and model checking.
Dazu setzt es an bereits bestehenden Methoden zur sicherheitsbezogenen Quellcodeanalyse, einschließlich abstrakter Interpretationen, deduktiver Verifikationen und der Modellprüfung, an und baut auf diesen auf.
These include the certified source code, various software manuals such as safety, target integration, user, reference and system manual.
Dazu gehören der zertifizierte Quellcode, verschiedene Software-Handbücher wie Referenz-BSP und das TÜV-Zertifikat über die Typ-Prüfung der vorqualifizierten Softwarekomponente.
The availability of the source code of this software offers you not only free support from a huge community but also safety against being tied to proprietary products of a certain software vendor.
Diese bietet Ihnen durch den offenen Sourcecode nicht nur kostenlosen Support durch eine riesige Community, sondern auch den Schutz vor starker Bindung an einen Hersteller und damit hohe Investitionssicherheit.
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.