Logo des Repositoriums

Auflistung nach Schlagwort "Certification"

1 - 6 von 6
  • Konferenzbeitrag
    6th Workshop on Avionics Systems und Software Engineering (AvioSE'24)
    (Software Engineering 2024 (SE 2024), 2024) Reich, Marina; Annighoefer, Bjoern; Schweiger, Andreas
  • Textdokument
    Combined Certificate and Resource Discovery for Dynamically (Dis-)Aggregating IoT Processes
    (INFORMATIK 2020, 2021) Engelhardt, Frank; Güneş, Mesut
    The concepts of Microservices and Organic Computing contribute to a fully distributed architecture of the Internet of Things (IoT), avoiding single points of failure through massive service distribution. The distribution and the lack of structure, however, come with large communication overheads. We discuss the necessity of structure in IoT networks focusing on the problem of trust handling, specifically analyzing the certificate chain discovery problem. Moreover, we provide an argument towards solving the certificate chain discovery problem in the same manner as the service discovery problem in a combined, semi-structured approach. By numerical analysis we show that the introduction of a hierarchy can avoid scalability problems and that resource directories used for service discovery can serve as hierarchical entities.
  • Konferenzbeitrag
    Development of a SysML Profile for Network Configurations in Safety-critical Systems
    (Modellierung 2022 Satellite Events, 2022) Hemmert, Andreas; Schweiger, Andreas
    The contribution describes an approach for defining avionics network architectures in an existing system model. To this end, a SysML profile is developed containing stereotypes to specify such a network. The corresponding model captures the network’s configuration. Such a configuration defines a network of a safety-critical complex system. As a result, systems engineers can use the profile in the systems development process with digital continuity. An example demonstrates the application of the profile in the model development.
  • Konferenzbeitrag
    A Preliminary Survey of the State of the Art in Simulation-Based Development and Certification to Support Digital Aircraft Design Research
    (SE 2024 - Companion, 2024) Struck, Malte Christian; Weinert, Alexander; Schreiber, Andreas; Felderer, Michael
    Many safety critical domains require certification of a product before it can be released to the market. On the one hand, simulations and digital methods allow for cheaper and faster assurance of properties. On the other hand, the new and different methodology implies completely new requirements. We provide a general overview of the field and focus on naming, use cases, stakeholders, and quality criteria. We also highlight the needs of simulation users for research. We show that the naming in the different domains for virtual certification is widely spread, but the research needs aim into the same direction.
  • Konferenzbeitrag
    Tool Qualification Aspects in ML-Based Airborne Systems Development
    (Software Engineering 2023 Workshops, 2023) Dmitriev, Konstantin; Kaakai, Fateh; Ibrahim, Mohamad; Durak, Umut; Potter, Bill; Holzapfel, Florian
    Machine Learning (ML) technology can provide the best results in many highly complex tasks such as computer vision and natural language processing and quickly evolving further. These unique ML capabilities and apparent potential can enable the next epoch of automation in airborne systems including single pilot or even autonomous operation of large commercial aircraft. The main problems to be solved towards ML deployment in commercial aviation are safety and certification, because there are several major incompatibilities between ML development aspects and traditional design assurance practices, in particular traceability and coverage verification issues. In this paper, we study the qualification aspects of tools used for development and verification of ML-based systems (ML tools) and propose mitigation measures for some known ML verification gaps through ML tools qualification. In particular, we review the DO-330 and DO-200B tool classification approach with respect to ML-specific workflows and propose to extend the tool qualification criteria for ML data management and ML model training tools.
  • Zeitschriftenartikel
    Zertifizierung der IT nach ISO 20000
    (Wirtschaftsinformatik: Vol. 51, No. 6, 2009) Disterer, Georg