Mastering Software Complexity

ESE Kongress 2019 – HIL Test für Embedded Systeme

PROTOS Software beteiligt sich auch dieses Jahr wieder mit Ausstellung und Vortrag am ESE Kongress – Deutschlands Leitkongress der Embedded-Software-Branche.

Vortrag: Contract-Based Testing für Embedded-Systeme

Contract-Based Testing für Embedded-Systeme – Testen aus einer anderen Perspektive

Das Testen von Embedded Systemen wird mit zunehmender Komplexität erheblich schwerer. Es stellen sich hierbei hauptsächlich drei Fragen:

Erstens: Wie spezifiziert man das erwünschte oder unerwünschte Verhalten? Zweitens: Wie erzeugt man daraus Tests, die mit hoher Wahrscheinlichkeit fehlerhaftes Verhalten entdecken? Drittens: Wie findet man Fehler, die erst beim Einsatz des Systems auftreten, z.B. durch fehlerhafte Verwendung oder Umgebungsbedingungen?

In vielen Fällen kann man diese Fragen recht elegant durch den Einsatz von Contracts beantworten. Design by Contract (DbC) wurde entwickelt und eingeführt durch Bertrand Meyer. DbC erlaubt die Definition formaler Verträge für Schnittstellen und Verhalten von Software-Komponenten.

 

Vereinbaren Sie ein Treffen auf dem ESE Kongress mit uns





    Einwilligung



    Es gilt die PROTOS Datenschutzvereinbarung

    Bitte stimmen Sie der Kontaktaufnahme zu, bevor Sie das Formular absenden können.


    Ausstellung

    Wenn Sie über Tests und Toolchains für Embedded Systeme gerne persönlich mit uns diskutieren wollen, so haben Sie auf unserem Stand auf dem ESE Kongress in Sindelfingen vom 3.12. – 5.12.2019 wieder die Gelegenheit dazu. Wir freuen uns auf Sie!

    Kunde

    Pari GmbH

    Schlagworte: Produktion in der Medizintechnik, Traceability, Modellbasierte Automatisierung und Produktionssteuerung, Fertigungsoptimierung, SAP-Anbindung

    Technologien: ROOM, Trice, eTrice, UML2, Rhapsody, Linux, Interbus-S, Sercos-III, Modbus, EtherCAT, Codegenerierung für C++ und Java, Eclipse EMF und RCP

    Partner

    Embedded for You

    Embedded for You ist ein Verein von deutschen Anbietern für Software- und Hardwarelösungen im Bereich der Embedded Systeme. Mit unseren Partnern erstellen wir kundenspezifische Gesamtlösungen für alle Arten von Embedded Systemen.

    Partner

    Eclipseina

    Die Eclipseina GmbH ist ein Beratungs- und Dienstleistungsunternehmen, das sich auf embedded Softwareentwicklung spezialisiert hat. Dabei bedient sie alle Disziplinen, die für eine erfolgreiche Softwareentwicklung sowohl in technischer als auch in organisatorischer Hinsicht notwendig sind.

    Partner

    oose.

    oose bietet Ihnen exzellente Seminare, Workshops, Beratung und Projektunterstützung für Software & Systems Engineering, neue Arbeitswelten und Innovation.

    Kunde

    Visteon

    Schlagworte: Entwicklung von domänenspezifischen Sprachen für Infotainmentsysteme, DSL-Entwicklung auf der Basis von Xtext, Middleware in C++ für verschiedene Architekturen, Tooling für Entwickler, GUI-Entwicklung für Eclipse-basierte Tools, Integration der eTrice Statemachine Editoren und Code Generatoren

    Technologien:  Xtext, Xtend, Eclipse, C++, Java, eTrice, Statemachines

    Kunde

    Siemens

    Schlagworte: Maschinensteuerungen, Barcode, Netzwerkapplikationen, Traceability in der Produktion, Datenbank Integration

    Technologien: C++, XML

    Kunde

    SCHAEFFLER

    Schlagworte: Entwicklung einer modellgetriebenen Toolchain für Mechatronik und Elektro-Mobilität auf Basis von Eclipse eTrice, Aufbau des technischen Entwicklungsprozesses mit hohem Automatisierungsgrad

    Technologien: ROOM, Eclipse eTrice, Codegenerierung und Transformationen für verschiedene Sprachen und Formate (Eclipse Xtend, EMF), Entwicklung domänenspezifischer Sprachen (Eclipse Xtext), Continuous Integration (Hudson), C, Python, A2L, CAN

    Kunde

    HARMAN

    Harman Automotive ist weltweit führender Hersteller von In-Car Premium Audio- und Infotainmentsystemen.

    Schlagworte: Automatiserte Auswertung von Tracedaten aus Tests, Systemstabilität, Performance

    Technologien: QNX, Perl, C++

    Kunde

    ept

    Schlagworte: Automatisierungstechnik, Modellbasierte Steuerungslösungen für Serienanlagen, Harte Echtzeitsysteme, numerische Optimierung

    Technologien: ROOM, Trice, Codegenerierung für C++ und C, CAN

    Kunde

    Infineon

    Schlagworte: Modellbasierte Konfiguration für Microcontroller Varianten

    Technologien: Eclipse-EMF, Xtext, JET, Codegenerierung für C, Java

    Kunde

    BMW Group

    Schlagworte: Software Architektur für Bordnetze, Spezifikationen für elektronische Fahrzeugfunktionen, Modellbasiertes Rapid Prototyping für Steuergeräte, Modellbasierte Entwicklung, Automatisierte Steuergerätetests, Model und Hardware in the Loop

    Technologien: ROOM, Trice, Codegenerierung, Java, C++, C, CAN, MOST, Flexray, Eclipse-EMF