@thesis{Galler2021, author = {Galler, Jan-Moritz}, title = {Concept for a meta-model-based eclipse software modeling environment enabling model checking for the development of embedded aircraft software}, publisher = {Technische Hochschule Ingolstadt}, address = {Ingolstadt}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:573-11645}, pages = {203}, school = {Technische Hochschule Ingolstadt}, year = {2021}, abstract = {Proving that avionics software complies with a set of software requirements is a challenging task. The purpose of this thesis is to establish a process to produce a Meta-Model for the implementation of a model-based software development concept for the application of model checking. This process shall respect requirements of stakeholders to provide a domain-tailored concept. The second major objective is to establish a possibility to objectively assess and measure the quality of the produced Meta-Model. At the moment, there exists a gap between the various involved research areas, that needs to be addressed. This thesis starts by analyzing the given set of requirements, providing introductions to various areas of research and establishes general characteristics of a good process. Through literature review and considerations of the analyzed requirements, a process to create domain-oriented Meta-Models is deduced. By researching different related research areas, the criteria to measure the quality of a Meta-Model are summarized. The deduced process is subsequently iterated with the example of the modeling-concept provided within the requirements. The resulting Meta-Model is evaluated as a demonstration with the quality criteria. By performing the two example applications, their capacity is presented. For the implementation of the concept provided by this thesis, a discussion of the Software-Architecture is stated. The results highlight the fact that a strong process for the implementation of a Meta- Model-based development is a key factor to produce high-quality Meta-Models. Addressing the question of the quality of a Meta-Model illustrates that criteria can be defined to distinguish between good and bad Meta-Models. Furthermore, the proposed process to create Meta-Models is multi-disciplinary and involves different experts and roles to provide a domain- applicable Meta-Model. A side-outcome of this thesis reveals, that the Meta-Model, within its application, is a moving-target and thus, the according process needs continuous execution. These results contribute to further automated model checking of avionics software.}, language = {en} } @thesis{Galler2024, author = {Galler, Jan-Moritz}, title = {Concept and implementation for a distributed event-storage on-board of aircraft}, publisher = {Technische Hochschule Ingolstadt}, address = {Ingolstadt}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:573-51413}, pages = {194}, school = {Technische Hochschule Ingolstadt}, year = {2024}, abstract = {In the realm of avionics, there is a rising demand for modular and distributed system components to exchange event-based data. The events communicated throughout avionics systems rise from topics such as Smart Maintenance or Customer-Based Configuration of aircraft. This thesis presents the design and evaluation of a novel communications protocol tailored for the exchange of event-based data in avionics applications. This protocol, named Avionics Data Exchange Protocol, leverages configuration-based message routing, which fits the needs of distributed systems in the overall thrive towards Open System Architectures. This protocol is implemented in the Event-Logging Library as demonstration throughout this work. To ensure the high demands of assurance in avionics software and system design, the thesis addresses the commonly required technical challenges, such as statical bandwidth and memory allocation. Within the different avionics systems, storage of such event-based data is required to perform post-flight evaluation and potentially, future on-board processing. This aspect is analyzed within this thesis to provide future industrial applications the according foundation. A novel and far-reaching approach demonstrated by the Avionics Data Exchange Protocol is the usage of trust-based secure communications, that target the zero trust principle inside avionics. This vital introduction of secure communications will pave way for future-proof extension, modification and modularization of avionics systems for contributions for Modular Open Avionics Architecture. This thesis provides insights of the impact of using secure communications, further modularizaton of transport layer communication and highlights the advantages of approaching zero trust in avionics.}, language = {en} }