1–20 von 53 Ergebnissen
|

    ARAMIS II - Entwicklungsprozesse, Werkzeuge, Plattformen für Sicherheitskritische Multicoresysteme : Schlussbericht : Laufzeit des Vorhabens: 01.10.2016-30.09.2019

    Freier Zugriff
    Sandmann, Timo / Karlsruher Institut für Technologie, Institut für Technik der Informationsverarbeitung / Absint Angewandte Informatik GmbH et al. | TIBKAT | 2020

      ARAMIS II - Entwicklungsprozesse, Werkzeuge, Plattformen für Sicherheitskritische Multicoresysteme : Schlussbericht : Laufzeit des Vorhabens: 01.10.2016-30.09.2019

      Sandmann, Timo / Karlsruher Institut für Technologie, Institut für Technik der Informationsverarbeitung / Absint Angewandte Informatik GmbH et al. | TIBKAT | 2020

    Space ROS: An Open-Source Framework for Space Robotics and Flight Software

    Probe, Austin / Oyake, Amalaye / Chambers, S. W. et al. | TIBKAT | 2023

    A Hierarchy of Monitoring Properties for Autonomous Systems

    Schirmer, Sebastian / Torens, Christoph / Dauer, Johann C. et al. | TIBKAT | 2023

    Model-Based CubeSat Flight-Software Architecture Using a Docs-As-Code Approach

    Marquez, Sean / Asundi, Sharan / Chiu, Kevin | TIBKAT | 2023

    Guidelines and Regulatory Framework for Machine Learning in Aviation

    Torens, Christoph / Durak, Umut / Dauer, Johann C. | TIBKAT | 2022

    aeroBERT-NER: Named-Entity Recognition for Aerospace Requirements Engineering Using BERT

    Ray, Archana Tikayat / Pinon-Fischer, Olivia J. / Mavris, Dimitri N. et al. | TIBKAT | 2023

    Software : papers presented at the AIAA SciTech Forum and Exposition 2022 : San Diego, California, USA and online, 3-7 January 2022

    AIAA SciTech Forum and Exposition / American Institute of Aeronautics and Astronautics | TIBKAT | 2022

    ARINC 661 Based User Interface Design for a Sustainable Aviation Application on an Electronic Flight Bag

    Scariachan, Nimisha / Goetz, Marie / Kurz, Joscha et al. | TIBKAT | 2023

    Symmetric Multiprocessing for L4Re on ARM Architecture Using RUST

    Friedrich, Sven / Zaeske, Wanja / Nöldeke, Phillip et al. | TIBKAT | 2023

    Behavioural Modeling for Scenario-based Testing in Aviation

    Gupta, Siddhartha / Durak, Umut | TIBKAT | 2023

    Component-Based Development of CFD Software FUN3D

    Zhang, Xinyu / Jones, William T. / Wood, Stephen L. et al. | TIBKAT | 2022

    Ensuring Safety of Machine Learning Components Using Operational Design Domain

    Torens, Christoph / Juenger, Franz / Schirmer, Sebastian et al. | TIBKAT | 2023

    GPU-Acceleration of Navier-Stokes Solvers for Compressible Wall-Bounded Flows: The Case of URANOS

    Vanna, Francesco De / Avanzi, Filippo / Cogo, Michele et al. | TIBKAT | 2023

    ARCHI-Pilot: A Model-Based Autopilot Software Implementation Using FreeRTOS with Automatic Code Generation

    Cengiz, Said K. / Sari, Ayse A. / Çerkezoglu, Abdullah et al. | TIBKAT | 2023

    Tico – a Toolbox to Author and Execute Large Parametrizable Test Suites in MATLAB

    Schwaiger, Florian / Schmiechen, Kevin / Holzapfel, Florian | TIBKAT | 2023

    FAST DECODING OF ARINC 717 FLIGHT DATA RECORDINGS

    Schwaiger, Florian / Holzapfel, Florian | TIBKAT | 2021

    A Basilisk-Based Benchmark Analysis of Different Constrained Attitude Dynamics Planners

    Calaon, Riccardo / Trowbridge, Michael / Schaub, Hanspeter | TIBKAT | 2022