Dr. rer. nat.

Ritter, Tom

Filters
6
Reset filters

Settings
Now showing 1 - 6 of 6
  • Publication
    Model-based Method to Utilize a Catalogue of Quality Requirements in Software Development
    ( 2021)
    Strey, Lukas
    ;
    Hein, Christian
    ;
    Ritter, Tom
    Complex software-based systems must comply with both functional and non-functional requirements (NFRs) to provide usefulness. This paper presents a structured catalogue of quality requirements and a model-based approach to collect NFRs from the catalogue in a given project context. The NFR catalogue is structured according to the quality criteria from the ISO 25000 series of standards and can be further extended. This catalogue can be applied in specific software development or modernization projects and in the preparation of tenders. This application to a specific project context is achieved by using the BPMN-NFR method presented in this paper. In this method, pattern recognition in system models is used to build a soft-goal model that serves as a filter mechanism for selecting relevant quality requirements from the catalogue. Through enrichment with context information concrete system related non-functional requirements are derived, which can be used for the system development. This model-based method was developed and applied in the context of the modernization of the budgetary procedures of Germany's federal government.
  • Publication
    Quantum DevOps: Towards reliable and applicable NISQ Quantum Computing
    ( 2020)
    Gheorghe-Pop, Ilie-Daniel
    ;
    Tcholtchev, Nikolay
    ;
    Ritter, Tom
    ;
    Hauswirth, Manfred
    Quantum Computing is emerging as one of the great hopes for boosting current computational resources and enabling the application of ICT for optimizing processes and solving complex and challenging domain specific problems. However, the Quantum Computing technology has not matured to a level where it can provide a clear advantage over high performance computing yet. Towards achieving this "quantum advantage", a larger number of Qubits is required, leading inevitably to a more complex topology of the computing Qubits. This raises additional difficulties with decoherence times and implies higher Qubit error rates. Nevertheless, the current Noisy Intermediate-Scale Quantum (NISQ) computers can prove useful despite the intrinsic uncertainties on the quantum hardware layer. In order to utilize such error-prone computing resources, various concepts are required to address Qubit errors and to deliver successful computations. In this paper describe and motivate the need for the novel concept of Quantum DevOps. which entails regular checking of the reliability of NISQ Quantum Computing (QC) instances. By means of testing the computational reliability of basic quantum gates and computations (C-NOT, Hadamard, etc.)it consequently estimates the likelihood for a large scale critical computation (e.g. calculating hourly traffic flow models for a city) to provide results of sufficient quality. Following this approach to select the best matching (cloud) QC instance and having it integrated directly with the processes of development, testing and finally the operations of quantum based algorithms and systems enables the Quantum DevOps concept.
  • Publication
    Modellbasierte Methode zur Ableitung nicht-funktionaler Anforderungen im Kontext der Softwaremodernisierung
    ( 2020)
    Strey, Lukas
    ;
    Hein, Christian
    ;
    Ritter, Tom
    ;
    Knauer, Christian
    ;
    Ganz, Angelika
    Komplexe softwarebasierte Systeme müssen sowohl funktionale als auch nicht-funktionale Anforderungen (NFA) erfüllen, um von den Nutzern akzeptiert und als Unterstützung der Arbeitsaufgaben angenommen zu werden. Wir stellen in diesem Artikel eine modellbasierte Methode zur systematischen Ableitung nicht-funktionaler Anforderungen aus einem harmonisierten Katalog von Qualitätskriterien dar. Diese Methode wurde im Kontext der Modernisierung der Haushaltsverfahren des Bundes entwickelt und angewendet. Zunächst wurde ein Katalog von Eigenschaften erstellt, in dem generische nicht-funktionale Anforderungen aufgeführt sind. Der NFA-Katalog ist nach den Qualitätskriterien der ISO-Normenreihe 25000 strukturiert und erweiterbar. Dieser Katalog steht für die konkreten Entwicklungs- oder Modernisierungsvorhaben bspw. für die Erstellung von Ausschreibungen zur Verfügung. In einem methodischen Vorgehen wird mit Hilfe von Mustererkennung in Systemmodellen ein Softgoal-Modell aufgebaut, das als Filtermechanismus für die Auswahl der relevanten nicht-funktionalen Eigenschaften dient. Durch eine Anreicherung mit Systemkontextinformationen werden so konkrete und auf das System bezogene Anforderungen abgeleitet, welche sich für die Systementwicklung nutzen lassen.
  • Publication
    Model-based testing in legacy software modernization: An experience report
    ( 2013)
    Wendland, Marc-Florian
    ;
    Kranz, Marco
    ;
    Hein, Christian
    ;
    Ritter, Tom
    ;
    García Flaquer, Ana
    With the advent of cloud computing more and more vendors strive to modernize legacy applications and deploy them into the cloud. In particular when the legacy system is still applied in the field, the vendor must ensure a seamless change to the modernized system to not lose any economical assets and to keep the business running. As with normal development processes, testing is also inevitable for a modernization process to gain confidence that the modernized system behaves correctly. This paper describes an experience report from the FP 7 research project REMICS that deals with model-driven modernization of legacy systems to the cloud. We employed a model-based testing process for safeguarding the correct migration of the modernized system's functionality. As test modeling language, the UML Testing Profile was applied. The modernized system, called DOME, was one of the case studies contributed by one of the business partners of the project.
  • Publication
    Automatic evaluation of modelling rules and design guidelines
    ( 2006)
    Farkas, Tibor
    ;
    Hein, Christian
    ;
    Ritter, Tom
    In order to get high-quality software systems high-quality models are needed. Modelling rules and design guidelines can help to improve the quality of a model. This paper presents a flexible solution for phrasing and evaluating modelling rules and design guidelines for models by using the Object Constraint Language as the target environment to achieve a higher quality of models. The presented solution is based on Open Source tools like OSLO and describes how it is applied in an automotive domain.