Publikationen an der Fakultät für Informatik und Automatisierung ab 2015

Anzahl der Treffer: 1928
Erstellt: Fri, 03 May 2024 23:14:09 +0200 in 0.0760 sec


Fischer, Nils;
Automated validation of minimum risk model-based system designs of complex avionics systems. - Ilmenau : Universitätsbibliothek, 2017. - 1 Online-Ressource (xx, 332 Seiten)
Technische Universität Ilmenau, Dissertation 2017

Große zivile Flugzeuge umfassen eine hohe Anzahl von komplexen und gekoppelten Subsystemen mit Tausenden von elektronischen Steuergeräten und Software mit Millionen von Codezeilen. Keine einzelne Person kann die komplexen Wechselwirkungen eines solchen Systems von Systemen verstehen. Daher beinhalten geschriebene, nicht ausführbare Spezifikationen einen hohen Grad an Produktunsicherheit. Infolgedessen müssen mehr als zwei Drittel aller Spezifikationen überarbeitet werden. Da die meisten Spezifikationsfehler zu einem späten Zeitpunkt entdeckt und gelöst werden, wenn Aufwände für Überarbeitungen maximal sind, hat der gegenwärtige Entwicklungsansatz eine hohe Wahrscheinlichkeit für Kosten- und Zeitüberschreitungen oder führt zum Fehlschlagen von Projekten. Hierdurch wird das Entwicklungsrisiko maximiert. Es ist das Ziel dieser Arbeit, eine modell- und simulationsbasierte Entwicklungsmethode mit zugehöriger Entwurfs- und Validierungsumgebung zu entwickeln, welche das Risiko der Entwicklung für komplexe Systeme minimiert. Das Entwicklungsrisiko ist minimal, wenn alle Entwicklungsentscheidungen frühzeitig vom Endkunden gegen die Leistungen eines Produktes auf Missionsebene validiert werden. Dazu werden ausführbare Spezifikationen während des Entwurfs erstellt und anhand der Anforderungen auf Missionsebene validiert. Validierte ausführbare Spezifikationen werden für alle Entscheidungen von der Konzeptentwicklung bis zur Implementierung verwendet und aktualisiert. Darüber hinaus werden virtuelle Prototypen entwickelt, welche ausführbare Spezifikationen mit Konzeptmodellen für Mensch-Maschine-Schnittstellen kombinieren, um Usability-Anforderungen in den Gesamtentwurf aufzunehmen. Dies ermöglicht eine interaktive Validierung sowie frühes Endbenutzertraining mittels benutzergesteuerter Systemsimulation. Es werden ausführbare Arbeitsabläufe und Simulation Sets entwickelt, welche die Ausführung von strukturierten und gekoppelten Simulationsmodellen ermöglichen. Anschließend wird ein modell- und simulationsbasiertes Entwicklungs- und Validierungsprozessmodell vom Konzeptdesign bis zur Spezifikationsentwicklung entwickelt. Hierfür werden zwei verschiedene Validierungsprozesse verwendet. Ein automatisierter Validierungsprozess basierend auf ausführbaren Spezifikationen und ein interaktiver Validierungsprozess basierend auf virtuellen Prototypen. Für die Entwicklung von ausführbaren Spezifikationen und virtuellen Prototypen werden Modellkomponenten entwickelt. Die entwickelte Methode wird mithilfe von Beispielen aus der zivilen Flugzeugentwicklung validiert, insbesondere in Hinblick auf Avionik sowie hoch konfigurierbare und anpassbare Kabinensysteme.



http://nbn-resolving.de/urn:nbn:de:gbv:ilm1-2017000432
Rzanny, Michael Carsten; Seeland, Marco; Wäldchen, Jana; Mäder, Patrick
Acquiring and preprocessing leaf images for automated plant identification: understanding the tradeoff between effort and information gain. - In: Plant methods, ISSN 1746-4811, 13 (2017), article number 97, Seite 1-11

https://doi.org/10.1186/s13007-017-0245-8
Weiß, Heiko; Bauer, Thomas; Eichhorn, Mike
Automatic optimization of load angles for a linear hybrid stepper motor. - In: Engineering for a changing world, (2017), insges. 12 S.

http://nbn-resolving.de/urn:nbn:de:gbv:ilm1-2017iwk-073:3
Dietrich, Thomas; Krug, Silvia; Zimmermann, Armin
A discrete event simulation and evaluation framework for multi UAV system maintenance processes. - In: 2017 IEEE International Symposium on Systems Engineering, ISBN 978-1-5386-3403-5, (2017), insges. 6 S.

https://doi.org/10.1109/SysEng.2017.8088280
Mattern, Anne; Sandig, Romy; Ioos, A.; Löwa, Norbert; Kosch, Olaf; Weidner, Andreas; Wiekhorst, Frank; Dutz, Silvio
Magnetic nanoparticle-gel materials for development of MPI and MRI phantoms. - In: 7th International Workshop on Magnetic Particle Imaging - IWMPI 2017, (2017), S. 31-32

Pi&hlink;atek, Łukasz; Grzymała-Busse, Jerzy W.
LEMRG: decision rule generation algorithm for mining MicroRNA expression data. - In: Healthcare and Big Data Management, (2017), S. 105-137

https://doi.org/10.1007/978-981-10-6041-0_7
Zimmermann, Armin;
Modelling and performance evaluation with TimeNET 4.4. - In: Quantitative Evaluation of Systems, (2017), S. 300-303

https://doi.org/10.1007/978-3-319-66335-7_19
Zimmermann, Armin; Hotz, Thomas; Canabal Lavista, Andrés
A hybrid multi-trajectory simulation algorithm for the performance evaluation of stochastic petri nets. - In: Quantitative Evaluation of Systems, (2017), S. 107-122

https://doi.org/10.1007/978-3-319-66335-7_7
Naskovska, Kristina; Korobkov, Alexey Alexandrovich; Haardt, Martin; Haueisen, Jens
Analysis of the photic driving effect via joint EEG and MEG data processing based on the coupled CP decomposition. - In: EUSIPCO 2017, ISBN 978-0-9928626-7-1, (2017), S. 1285-1289

https://doi.org/10.23919/EUSIPCO.2017.8081415
Lipowsky, Tobias; Stegmaier, Jürgen; Lang, Markus; Li, Pu
Simulative potential assessment of regenerative braking with electric bicycles under consideration of realistic boundary conditions. - In: Proceedings, 2017 International Conference on Research and Education in Mechatronics (REM), ISBN 978-1-5386-1883-7, (2017), insges. 7 S.

https://doi.org/10.1109/REM.2017.8075247