Versenden
Drucken
Kriegel, Jacob (2022) Model-Based Verification of DAL-C Avionics Software with MATLAB/Simulink. DLR-Interner Bericht. DLR-IB-FT-BS-2022-206. Bachelorarbeit. Technische Universität Braunschweig. 248 S.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
- Nur DLR-intern zugänglich
16MB |
Kurzfassung
In this thesis the MATLAB / Simulink DO-178C workflow and toolchain are applied to develop and verify Software Level / Design Assurance Level C avionics software to Low-Level Requirements / Design Model. The developed software is assigned to monitor the flight termination system of the High-Altitude Platform (HAP) prototype developed by the German Aerospace Center / Deutsches Zentrum für Luft- und Raumfahrt (DLR). It will operate on a Texas Instruments C2000 DSP with analogue, digital, RS422, I2C, and CAN-bus interfaces. DO-178C / ED-12C and DO-331/ ED-218 Section 5 (Software Development Processes) and Section 6 (Software Verification Process) are applied. Verification is achieved through review, simulation- and baseline tests.
| elib-URL des Eintrags: | https://elib.dlr.de/222404/ | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Berichtsreihe (DLR-Interner Bericht, Bachelorarbeit) | ||||||||||||
| Titel: | Model-Based Verification of DAL-C Avionics Software with MATLAB/Simulink | ||||||||||||
| Autoren: |
| ||||||||||||
| DLR-Supervisor: |
| ||||||||||||
| Datum: | 11 März 2022 | ||||||||||||
| Open Access: | Nein | ||||||||||||
| Seitenanzahl: | 248 | ||||||||||||
| Status: | veröffentlicht | ||||||||||||
| Stichwörter: | MATLAB Simulink, Model-Based Software development MBSD, Verification, DAL, C2000, Termination System, DO-178C, ED-12C, DO-331, ED-218 | ||||||||||||
| Institution: | Technische Universität Braunschweig | ||||||||||||
| Abteilung: | Institut für Datentechnik und Kommunikationsnetze | ||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||
| HGF - Programm: | Luftfahrt | ||||||||||||
| HGF - Programmthema: | Komponenten und Systeme | ||||||||||||
| DLR - Schwerpunkt: | Luftfahrt | ||||||||||||
| DLR - Forschungsgebiet: | L CS - Komponenten und Systeme | ||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | L - Unbemannte Flugsysteme | ||||||||||||
| Standort: | Braunschweig | ||||||||||||
| Institute & Einrichtungen: | Institut für Flugsystemtechnik > Sichere Systeme und System Engineering | ||||||||||||
| Hinterlegt von: | Kriegel, Jacob | ||||||||||||
| Hinterlegt am: | 10 Feb 2026 13:45 | ||||||||||||
| Letzte Änderung: | 10 Feb 2026 13:45 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
