Simulation-Based Verification Approach for Model-Based Design of Parallel Applications
2018 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE credits
Student thesis
Abstract [en]
The application of parallel real-time systems for safety-orientated multi-core processors inaviation electronics systems is considered as the only known solution to fulfill the risingrequirement and the growth of the cyber-layer in aircrafts. This shift in hardware architecturerequires new software developments as well as new verification and validation strategies. Anongoing research utilizes novel advances in model-based development (MBD) and the automaticsource code-generation for parallel applications.This thesis discusses the new MBD approach, the automatic source code generation, and newsimulation-based x-in-the-loop (XIL) verification and validation processes. The new model-basedworkflow and the analysis approach is implemented in a x-in-the-loop toolbox generator (XTG).This unifies the x-in-the-loop instances, standardizes the applied tools, and reduces the effort ofalgorithm verification and validation process.
Place, publisher, year, edition, pages
2018. , p. 63
Keywords [en]
model-based development, simulation-based testing, multi-core parallelization, x-in- the-loop testing
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:ltu:diva-72613OAI: oai:DiVA.org:ltu-72613DiVA, id: diva2:1280193
External cooperation
German Aerospace Center; Julius-Maximilians-Universität Wuerzburg
Subject / course
Student thesis, at least 30 credits
Educational program
Space Engineering, master's level (120 credits)
Presentation
(English)
Supervisors
Examiners
2019-01-252019-01-182025-10-22Bibliographically approved