UnivIS
Informationssystem der Friedrich-Alexander-Universität Erlangen-Nürnberg © Config eG 
FAU Logo
  Sammlung/Stundenplan    Modulbelegung Home  |  Rechtliches  |  Kontakt  |  Hilfe    
Suche:      Semester:   
 Lehr-
veranstaltungen
   Personen/
Einrichtungen
   Räume   Forschungs-
bericht
   Publi-
kationen
   Internat.
Kontakte
   Examens-
arbeiten
   Telefon &
E-Mail
 
 
 Darstellung
 
Druckansicht

 
 
Einrichtungen >> Technische Fakultät (TF) >> Department Informatik (INF) >> Lehrstuhl für Informatik 7 (Rechnernetze und Kommunikationssysteme) >>
Nebenläufigkeit in zeiterweiterten Benutzungsmodellen zum Test im Automotive Bereich

Moderne Fahrzeuge werden mit vielen Funktionen ausgestattet, die beispielsweise den Verbrauch verringern, erhöhten Komfort bieten oder die Sicherheit für den Fahrer und die Mitfahrer erhöhen. Eine solche Funktion ist meist über das gesamte Fahrzeug verteilt. Die Funktionsteile werden dabei parallel ausgeführt und tauschen Informationen untereinander und mit anderen Systemen aus, um die gewünschte Funktionalität zur Verfügung zu stellen. Nimmt der Verteilungs- und Vernetzungsgrad einer Fahrzeugfunktion zu, so erhöht sich auch deren Komplexität. Ungeachtet der Komplexitätssteigerung muss sich die Funktion jedoch immer entsprechend den Anforderungen verhalten und im Notfall in einen sicheren Zustand übergehen, um den Fahrer, die Beifahrer und andere Personen vor finanziellen und/oder körperlichen Schäden zu bewahren. Testen stellt eine Möglichkeit dar, mit der sich während der Entwicklung einer Fahrzeugfunktion überprüfen lässt, ob sie sich entsprechend ihrer Anforderungen verhält. Fehler können dadurch frühzeitig aufgedeckt und durch geeignete Maßnahmen behoben werden, sodass sie in der finalen Version der Funktion nicht mehr enthalten sind. Statistisches Testen mit Benutzungsmodellen stellt eine modellbasierte Methode dar, mit der komplexe Funktionen getestet werden können. Das Ziel des Projekts ist es, ausgewählte Fahrzeugsysteme mittels Benutzungsmodellen zu testen. Dabei sollen insbesondere nebenläufige Aspekte des zu testenden Systems (system under test, SUT) berücksichtigt werden, sodass sich eine Verbesserung des gesamten Testprozesses ergibt. Es sollen entsprechende Konzepte definiert und umgesetzt werden, die es ermöglichen, effizient mit nebenläufigen Aspekten während der Modellerstellung, -analyse und Testfallgenerierung umzugehen.
Projektleitung:
Prof. Dr.-Ing. Reinhard German

Beteiligte:
Dr.-Ing. Daniel Homm

Stichwörter:
Automotive

Laufzeit: 1.10.2012 - 31.3.2016

Mitwirkende Institutionen:
AUDI AG
INI.FAU

Kontakt:
Homm, Daniel
E-Mail: daniel.homm@fau.de
Publikationen
Bock, Florian ; Homm, Daniel ; Siegl, Sebastian ; German, Reinhard: A Taxonomy for Tools, Processes and Languages in Automotive Software Engineering. In: Zizka, Jan ; Nagamalai, Dhinaharan (Hrsg.) : Computer Science & Information Technology. 2016, S. 241-256.
[doi>10.5121/csit.2016.60121]
Homm, Daniel ; German, Reinhard: Analysis of Hierarchical Semi-Markov Processes with Parallel Regions. In: 18th International GI/ITG Conference on Measurment, Modelling and Evaluation of Computing Systems and Dependability and Fault-Tolerance (MMB & DFT 2016). Münster, Germany2016.
Homm, Daniel ; Eckert, Jürgen ; German, Reinhard: Combining Time and Concurrency in Model-Based Statistical Testing of Embedded Real-Time Systems. In: Springer (Hrsg.) : Software Engineering and Formal Methods (6th Workshop on Automating Test case design, Selection and Evaluation (ATSE 2015) York, United Kingdom). Berlin Heidelberg : Springer, 2015, S. 22-31. (Lecture Notes in Computer Science Bd. 9509) - ISBN 978-3-662-49223-9
[doi>10.1007/978-3-662-49224-6_3]
Homm, Daniel ; Eckert, Jürgen ; German, Reinhard: Concurrent Streams in Markov Chain Usage Models for Statistical Testing of Complex Systems. In: ACM (Hrsg.) : 30th ACM Symposium On Applied Computing (SAC 2015) (30th ACM Symposium On Applied Computing (SAC 2015) Salamanca, Spain). 2015.
[doi>10.1145/2695664.2695914]
UnivIS ist ein Produkt der Config eG, Buckenhof