Andere Kunden interessierten sich auch für
![Die Werkzeuge "e;CoDyLa"e; und "e;QuaDiPF-Eye"e; zur Untersuchung funktionalen / prädikativen Denkens sowie ihre empirische Erprobung]( "Die Werkzeuge "e;CoDyLa"e; und "e;QuaDiPF-Eye"e; zur Untersuchung funktionalen / prädikativen Denkens sowie ihre empirische Erprobung")
Die Werkzeuge "e;CoDyLa"e; und "e;QuaDiPF-Eye"e; zur Untersuchung funktionalen / prädikativen Denkens sowie ihre empirische Erprobung35,00 €![Unterrichtsstunde: Graphische Darstellung von funktionalen Beziehungen - Grundeinsichten]( "Unterrichtsstunde: Graphische Darstellung von funktionalen Beziehungen - Grundeinsichten")
Unterrichtsstunde: Graphische Darstellung von funktionalen Beziehungen - Grundeinsichten15,95 €![Petri Nets]( "Petri Nets")
Petri Nets407,99 €![Stochastische Begriffsvermittlung im funktionalen Grammatikunterricht]( "Stochastische Begriffsvermittlung im funktionalen Grammatikunterricht")
Stochastische Begriffsvermittlung im funktionalen Grammatikunterricht47,95 €![Timed Petri Nets]( "Timed Petri Nets")
Timed Petri Nets154,99 €![Magnetische und strukturelle Eigenschaften von NdFeB und Co Nanostrukturen auf unterschiedlichen Zeitskalen]( "Magnetische und strukturelle Eigenschaften von NdFeB und Co Nanostrukturen auf unterschiedlichen Zeitskalen")
Magnetische und strukturelle Eigenschaften von NdFeB und Co Nanostrukturen auf unterschiedlichen Zeitskalen32,70 €![Galaxien ¿ die Kronzeugen der kosmischen Schöpfungsgeschichte. Astronomische Reise durch die Galaxie. Dunkle Materie ¿ Fehlanzeige?]( "Galaxien ¿ die Kronzeugen der kosmischen Schöpfungsgeschichte. Astronomische Reise durch die Galaxie. Dunkle Materie ¿ Fehlanzeige?")
Galaxien ¿ die Kronzeugen der kosmischen Schöpfungsgeschichte. Astronomische Reise durch die Galaxie. Dunkle Materie ¿ Fehlanzeige?34,50 €
![Die Werkzeuge "e;CoDyLa"e; und "e;QuaDiPF-Eye"e; zur Untersuchung funktionalen / prädikativen Denkens sowie ihre empirische Erprobung](https://bilder.buecher.de/produkte/23/23411/23411063m.jpg "Die Werkzeuge "e;CoDyLa"e; und "e;QuaDiPF-Eye"e; zur Untersuchung funktionalen / prädikativen Denkens sowie ihre empirische Erprobung")
Für die funktionale Absicherung von Fahrzeugfunktionen werden automatisierte Testfälle für Hardware-in-the-Loop Prüfstände verwendet. Die Ausführung semantisch fehlerhafter Testfälle führt dabei zu ungültigen Testergebnissen und somit zu unnötigen Wiederholungen. Die vorliegende Arbeit beschreibt ein automatisiertes Verfahren zur Verifikation der Testfälle. Die in einem UML-Dialekt formalisierten Testfälle werden in Formeln einer Aktionslogik transformiert und mit Hilfe von Petri-Netzen dargestellt. Hierauf aufbauend werden zuvor definierte kausale Bedingungen basierend auf Invariantenanalysen überprüft. Damit ist die Überprüfung der Testfälle auf semantische Modellierungsfehler in der Testablaufbeschreibung vor ihrer Ausführung am Prüfstand möglich, kostbare Prüfstandszeiten werden geschont. Der Ansatz liefert einen wichtigen Beitrag zur Effizienzsteigerung im Absicherungsprozess.