Dr. rer. nat.

Ritter, Tom

Filters

5 5
Reset filters

Settings
Now showing 1 - 10 of 10
  • 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
    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
    Enabling the interoperability of the Modelica DSL and Matlab Simulink towards the development of self-adaptive dynamic systems
    ( 2018)
    Tcholtchev, Nikolay
    ;
    Dudeck, Grit
    ;
    Wagner, Michael
    ;
    Hein, Christian
    ;
    Prakash, Arun
    ;
    Ritter, Tom
    Domain Specific Languages (DSL) are an important concept that is used in industry, in order to enable the fast and cost-efficient design of specific functions/components, and/or to target particular aspects of the systems' development and operation. In the current article, the authors describe their experiences on the integration of the Modelica DSL into a platform that enables the integration and interoperability of model-based tools across the various phases of the system development process. Furthermore, it is illustrated how Matlab Simulink can be used in parallel in the course of the same system design undertaking. Thereby, the authors present their approach and compare different tools which were used, in order to efficiently complete the integration, and finally exemplify the outcome on a case study related to a self-adaptive dynamic system from the automotive domain.
  • Publication
    Integrating the Modelica DSL into a platform for model-based tool interoperability
    ( 2014)
    Tcholtchev, Nikolay
    ;
    Dudeck, Grit
    ;
    Wagner, Michael
    ;
    Hein, Christian
    ;
    Prakash, Arun
    ;
    Ritter, Tom
    Domain Specific Languages (DSL) are an important concept that is used in industry, in order to enable the fast and cost efficient design of specific functions/components, and/or to target particular aspects of the systems' development and operation. In the current paper, we describe our experiences on the integration of the Modelica DSL into a platform that enables the integration and interoperability of model-based tools across the various phases of the system development process. Thereby, we present our approach, compare different tools which were used, in order to efficiently complete the integration, and finally exemplify the outcome on a case study from the automotive domain.
  • Publication
    High-level design process for NATO high assurance ABAC guard
    ( 2013)
    Wrona, Konrad
    ;
    Oudkerk, Sander
    ;
    Hein, Christian
    ;
    Menz, Nadja
    ;
    Ritter, Tom
    In the paper we describe the development process for the High Assurance ABAC Guard (HAAG), which is one of the important security enablers the NATO future information sharing architectures, including Information Exchange Gateway Scenario D and Future Mission Networks. The HAAG implements Attribute-based Access Control (ABAC) for information requests, and enforces Content-based Protection and Release policies. Our system design process incorporates a structured way of collecting requirements and takes into account a security risk assessment of the system. The process is based on industry standards and best practices. It is accompanied by a definition of a Common Criteria Protection Profile, which captures security requirements for the HAAG. All phases of the system design process are perfor med using an integrated modelling environment based on Eclipse and open-source tools. The environment allows us to build and maintain a relatively complex model and, to a large extent, automatically generate the required design documentation.
  • Publication
    Implementation of the RTP
    ( 2013)
    Hein, Christian
    ;
    Ritter, Tom
    ;
    Wagner, Michael
    As a basic principle the CESAR RTP is a generic integration platform which focuses on a model driven development process for safety-critical embedded systems. The process of realizing and implementing a specific tool chain (RTP Instance) is defined as RTP Tailoring.
  • 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
    Generation of formal model metrics for MOF based domain specific languages
    ( 2009)
    Hein, Christian
    ;
    Engelhardt, Marcus
    ;
    Ritter, Tom
    ;
    Wagner, Michael
    The assessment of quality in a software development process is vital for the quality of the final system. A number of approaches exist, which can be used to determine such quality properties. In a model-driven development process models are the primary artifacts. Novel technologies are needed in order to assess the quality of those artifacts. Often, the Object Constraint Language is used to formulate model metrics and to compute them automatically afterwards. This paper describes an approach for the generation of model metrics expressed as OCL statements based on a set of generic rules. These rules can be applied on any domain specific modeling languages for creating a basic set of metrics which can be tailored for the specific needs of a development process. The paper also briefly describes a prototype of a tool for the generation, computation, and management of these model metrics by using the Software Metrics Meta-model - SMM.
  • 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.