For a better experience on dSPACE.com, enable JavaScript in your browser. Thank you!

AbsInt Angewandte Informatik GmbH

Science Park 1

66123 Saarbrücken, Germany

Tel.: +49 681 38360-0

Fax: +49 681 38360-20

E-Mail: info@absint.com

Webseite: www.absint.com

 

AbsInt liefert Entwicklungswerkzeuge zur Verifikation, Optimierung und Zertifizierung von sicherheitskritischer Software. Kernprodukte sind die statischen Analysatoren aiT WCET Analyzer, StackAnalyzer, Astrée, TimingProfiler sowie der formal verifizierte optimierende Compiler CompCert. Sie ermöglichen einen sicheren Ausschluss kritischer Fehler. Die AbsInt Toolbox for TargetLink gestattet eine nahtlose Integration aller statischen Analysatoren.

BTC Embedded Systems AG

Gerhard-Stalling-Str. 19

26135 Oldenburg, Germany

Tel.: +49 441 969738-0 

Fax:  +49 441 969738-64

E-Mail: info@btc-es.de

Webseite: www.btc-es.de

 

Die BTC Embedded Systems AG ist strategischer Partner von dSPACE TargetLink und bietet Produkte und Services für den funktionalen Test, die automatische Testfall-Generierung und den Back-2-Back-Test von Simulink/TargetLink Modellen und Produktionscode. Ein weiterer Schwerpunkt sind die Themen formale Spezifikation und formale Verifikation, welche sowohl für TargetLink- als auch für HIL-Anwender die Testtiefe für sicherheitskritische Anforderungen spürbar erhöhen. 

DMecS Development of Mechatronic Systems GmbH & Co. KG

Herr Hermann Briese

Gottfried-Hagen-Str. 20

51105 Köln

Tel.: +49 221 337737-0

Fax: +49 221 337737-29

E-Mail:  info@dmecs.de

Webseite: www.dmecs.de

 

DMecS unterstützt seine Kunden bei der Entwicklung zukunftsweisender mechatronischer Systeme sowie der hierzu erforderlichen Prozesse und Werkzeuge zur automatisierten Auslegung. Durch interdisziplinäre Arbeitsweise und branchenübergreifender Erfahrung in den Bereichen Fahrzeug-, Luftfahrt- und Antriebstechnik werden Synergien zum Vorteil des Kunden erzeugt. Die Kunden profitieren von innovativen Lösungen, kurzen Entwicklungszeiten und erhöhter Produktqualität.

Einen Schwerpunkt stellt die Entwicklung hochdynamischer Prüfstandsregelungen dar. Hierdurch sind wir ein kompetenter Partner bei der Entwicklung und Realisierung kundenspezifischer Lösungen sowie der Optimierung vorhandener Prüfstände und insbesondere deren Regelungen.

IAI Institut für Automatisierung und Informatik GmbH

Dornbergsweg 2

38855 Wernigerode

Tel.: +49 3943 62597-46

Fax: +49 3943 62597-47

E-Mail: kontakt@iai-wr.de

Webseite: www.iai-wr.de

Die 2001 gegründete IAI GmbH ist ein vom Kultusministerium des Landes Sachsen-Anhalt anerkanntes Institut an der Hochschule Harz. Das Institut führt Forschungs- und Entwicklungsprojekte sowohl im Rahmen von Auftragsarbeiten als auch als Eigenentwicklungen durch. Für regionale und überregionale KMU versteht sich die IAI GmbH als ein Beratungs-, Entwicklungs- und Dienstleistungszentrum, das Unternehmen bei der Einführung neuer Technologien in den Bereichen Automatisierung, Informatik und Umwelttechnik unterstützt.

MathWorks

Friedlandstr. 18

52064 Aachen, Germany

Tel.: +49 241 4757-6700

Fax: +49 241 4757-6710

E-Mail: info@mathworks.de

Webseite: www.mathworks.de

 

MathWorks ist der weltweit führende Anbieter von Technical Computing und Model-Based Design Software für Ingenieure und Wissenschaftler in der Industrie, Forschung und Lehre. Mit einer breit aufgestellten Produktfamilie, die auf den Kernprodukten MATLAB® und Simulink® basiert, bietet MathWorks Entwicklungswerkzeuge und Dienstleistungen zur Lösung anspruchsvoller technischer Problemstellungen und zur schnelleren Umsetzung von Innovationen für die unterschiedlichsten Bereiche. Weltweit nutzen MATLAB und Simulink weit mehr als 1 Million Anwender in über 100 Ländern.

Model Engineering Solutions GmbH

Mauerstr. 79

10117 Berlin, Germany

Tel.: +49 30 2091 6463-0

Fax: +49 30 2091 6463-33

E-Mail: info@model-engineers.com

Webseite: www.model-engineers.com

 

Model Engineering Solutions GmbH (MES) ist das Kompetenzcenter für modellbasierte Software im Auto. Gegliedert in die drei Bereiche (1) MES Quality Tools, (2) MES Test Center und (3) MES Academy bietet MES seinen Kunden optimale Unterstützung für die integrierte Qualitätssicherung. Der MES Model Examiner® (MXAM) ist die erste Wahl zur Prüfung von Modellierungsrichtlinien. Der MES Test Manager® setzt das anforderungsbasierte Testen in der modellbasierten Entwicklung effizient um. MES ist TargetLink® Strategic Partner der dSPACE.