Model-Based Exploration of Parallelism in Context of Automotive Multi-Processor Systems

Please use this identifier to cite or link to this item:
Open Access logo originally created by the Public Library of Science (PLoS)
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorProf. Dr. Olaf Spinczykger
dc.creatorHöttger, Robert Martin-
dc.description.abstractThis dissertation entitled ’Model-Based Exploration of Parallelism in the Context of Automotive Multi-Core Systems’ deals with the analytical investigation of different temporal relationships for automotive multi-processor systems subject to critical, embedded, real-time, distributed, and heterogeneous domain requirements. Vehicle innovation increasingly demands high-performance platforms in terms of, e.g., highly assisted or autonomous driving such that established software development processes must be examined, revised, and advanced. The goal is not to develop application software itself, but instead to improve the model-based development process, subject to numerous constraints and requirements. Model-based software development is, for example, an established process that allows systems to be analyzed and simulated in an abstracted, standardized, modular, isolated, or integrated manner. The verification of real-time behavior taking into account various constraints and modern architectures, which include graphics and heterogeneous processors as well as dedicated hardware accelerators, is one of many challenges in the real-time and automotive community. The software distribution across hardware entities and the identification of software that can be executed in parallel are crucial in the development process. Since these processes usually optimize one or more properties, they belong to the category of problems that can only be solved in polynomial time using non-deterministic methods and thus make use of (meta) heuristics for being solved. Such (meta) heuristics require sophisticated implementation and configuration, due to the properties to be optimized are usually subject to many different analyses. With the results of this dissertation, various development processes can be adjusted to modern architectures by using new and extended processes that enable future and computationally intensive vehicle applications on the one hand and improve existing processes in terms of efficiency and effectiveness on the other hand. These processes include runnable partitioning, task mapping, data allocation, and timing verification, which are addressed with the help of constraint programming, genetic algorithms, and heuristics.eng
dc.subjectSoftware Distributioneng
dc.subjectTiming Verificationeng
dc.subjectResponse Time Analysiseng
dc.subjectMixed-Critical Systemseng
dc.subjectEmbedded Systemseng
dc.subjectReal-Time Systemseng
dc.subject.ddc004 - Informatikger
dc.titleModel-Based Exploration of Parallelism in Context of Automotive Multi-Processor Systemseng
dc.typeDissertation oder Habilitation [doctoralThesis]-
thesis.typeDissertation [thesis.doctoral]-
dc.contributor.refereeProf. Dr. Burkhard Igelger
dc.contributor.refereeProf. Dr.-Ing. Peter Ulbrichger
dc.subject.bk54.52 - Software engineeringger
dc.subject.ccsD.2.4 - Software/Program Verificationger
dc.subject.ccsD.2.2 - Design Tools and Techniquesger
dc.subject.ccsD.4.8 - Performanceger
dc.subject.ccsD.2.6 - Programming Environmentsger
dc.subject.ccsD.2.7 - Distribution, Maintenance, and Enhancementger
Appears in Collections:FB06 - E-Dissertationen

Files in This Item:
File Description SizeFormat 
thesis_hoettger.pdfPräsentationsformat9,02 MBAdobe PDF

Items in osnaDocs repository are protected by copyright, with all rights reserved, unless otherwise indicated.