Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Development and Verification Code generation
Examples with "Development and Verification Code generation" and their translation in Duits
Tools and expertise for mission-critical, safety-critical and security-critical software development. Model-Based Development and Verification Code generation and model verification for a safe subset of Simulink and Stateflow models Learn More
QGen ist eine qualifizier- und anpassbare Software zur Code-Generierung und Modellverifizierung für eine sichere Teilmenge von Simulink- und Stateflow-Modellen; sie ist besonders auf Echtzeit-Steuerungssoftware in sicherheitskritischen Systemen ausgerichtet.
Andere resultaten
Based on MATLAB/Simulink we facilitate a seamless and efficient development: starting from the first steps in simulation environment via automatic code generation and up to virtual verification and validation.
Mit MATLAB/Simulink machen wir eine durchgängige Entwicklung überhaupt erst möglich: von den ersten Schritten in der Simulation über die automatische Codegenerierung bis hin zur virtuellen Absicherung.
In enterprise environments, MATLAB and Simulink are used by scientists and engineers worldwide for data analysis and visualisation, modeling and simulation, code generation, and continuous test and verification for embedded systems software development.
In Enterprise-Umgebungen nutzen Wissenschaftler und Ingenieure weltweit MATLAB und Simulink für Datenanalyse und -visualisierung, Modellierung und Simulationen, Code-Generierung sowie kontinuierliches Testen und Verifizieren bei der Softwareentwicklung für Embedded-Systeme.
Code Development QGen is a qualifiable and tunable code generation and model verification tool for a safe subset of Simulink and Stateflow models.
QGen ist eine qualifizier- und anpassbare Software zur Code-Generierung und Modellverifizierung für eine sichere Teilmenge von Simulink- und Stateflow-Modellen; sie ist besonders auf Echtzeit-Steuerungssoftware in sicherheitskritischen Systemen ausgerichtet.
With native integration of the formally defined Scade language, SCADE Suite is the integrated design environment for safety- and mission-critical applications including requirements traceability, model-based design, simulation, verification, qualifiable/certified code generation and interoperability with other development tools and platforms.
Mit der nativen Integration der formal definierten Scade-Sprache ist die SCADE Suite die integrierte Entwicklungsumgebung für sicherheitskritische Anwendungen wie Anforderungsrückverfolgbarkeit, modellbasierter Entwicklung, Simulation, Verifizierung, qualifizierbare/zertifizierte Code-Generierung und Interoperabilität mit anderen Entwicklungstools und -plattformen.
Communications Blockset software seamlessly integrates with other MathWorks tools for filter design and C and HDL code generation, and interfaces to third party verification tools and DSP development and rapid prototyping environments.
Die Communications Blockset-Software ist eng auf andere MathWorks-Werkzeuge für die Filterkonstruktion und C- und HDL-Codeerstellung abgestimmt und verfügt über eine Schnittstelle zu Prüfwerkzeugen und DSP-Entwicklungs- bzw. Rapid-Prototyping-Umgebungen von Drittanbietern.
A Model Based Design Workflow (eg "V- Model") was the common answer of the industry to facilitate the design and functional verification on architectural and model level followed by subsequent automated code generation and retesting at each stage of the development phase.
Ein modellbasierter Designworkflow (z.B. „V-Modell") war die gängige Antwort der Industrie, um das Design und die funktionale Verifikation auf Architektur- und Modellebene zu erleichtern, gefolgt von einer anschließenden automatisierten Codegenerierung und einem erneuten Test in jeder Phase der Entwicklung.
Simulink modeling and simulation capabilities enable BMS development, including single-cell-equivalent circuit formulation and parameterization, electronic circuit design, control logic, automatic code generation, and verification and validation.
Die Modellierungs- und Simulationsfunktionen von Simulink ermöglichen die Entwicklung von Batteriemanagementsystemen, einschließlich des Entwurfs und der Parametrisierung von Ersatzschaltbildern einzelner Zellen, des Entwurfs elektronischer Schaltungen und Steuerungslogiken, der automatischen Codegenerierung sowie der Verifikation und Validierung.
It automates debugging, project generation, and verification of object code executing on an embedded processor or on the instruction set simulator provided by your integrated development environment (IDE).
Daneben werden Debugging, Projekterstellung und Verifizierung von Objektcode, der auf einem integrierten Prozessor oder auf dem durch Ihre integrierte Entwicklungsumgebung (IDE - Integrated Development Environment) bereitgestellten Befehlssatz-Simulator läuft, automatisiert.
The Esterel SCADE family of products offers an integrated design and development environment for mission- and safety-critical embedded software core products in the family, SCADE Suite and SCADE Display offer graphical design entry, verification through simulation and formal methods, and certified code generation.
Die Esterel SCADE-Produktfamilie bietet eine integrierte Entwurfs- und Entwicklungs-umgebung für unternehmens- und sicherheitskritische Die Kernprodukte der Familie, SCADE Suite und SCADE Display, bieten grafische Erfassung der Spezifikationen, Verifikation durch Simulation und formale Methoden sowie zertifizierte Codegenerierung.
In his final thesis he worked on model-based development and code generation.
In seiner Abschlussarbeit beschäftigte er sich mit modellbasierter Entwicklung sowie Codegenerierung.
Automatic code generation for the production ECU is a key development phase.
Ein entscheidender Schritt im Entwicklungsprozess ist die automatische Code-Generierung für das Seriensteuergerät.
The degree of automation in software development is enhanced by such an automatic generation of source codes.
Die automatische Generierung von Quellcodes aus den Modellen erhöht den Automatisierungsgrad der Entwicklung.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 1973633. Exact: 1. Verstreken tijd: 415 ms.
