Dr. rer. nat.

Ritter, Tom

Filters
Reset filters

Settings
Now showing 1 - 10 of 13
  • Publication
    Computer Scientist's and Programmer's View on Quantum Algorithms: Mapping Functions' APIs and Inputs to Oracles
    ( 2022)
    Gheorghe-Pop, Ilie-Daniel
    ;
    Tcholtchev, Nikolay Vassilev
    ;
    Ritter, Tom
    ;
    Hauswirth, Manfred
    Quantum Computing (QC) is a promising approach which is expected to boost the development of new services and applications. Specific addressable problems can be tackled through acceleration in computational time and advances with respect to the complexity of the problems, for which QC algorithms can support the solution search. However, QC currently remains a domain that is strongly dominated by a physics' perspective. Indeed, in order to bring QC to industrial grade applications we need to consider multiple perspectives, especially the one of software engineering and software application/service programming. Following this line of thought, the current paper presents our computer scientist's view on the aspect of black-box oracles, which are a key construct for the majority of currently available QC algorithms. Thereby, we observe the need for the input of API functions from the traditional world of software engineering and (web-)services to be mapped to the above mentioned black-box oracles. Hence, there is a clear requirement for automatically generating oracles for specific types of problems/algorithms based on the concrete input to the belonging APIs. In this paper, we discuss the above aspects and illustrate them on two QC algorithms, namely Deutsch-Jozsa and the Grover's algorithm.
  • Publication
    Advanced Software Engineering
    ( 2019)
    Schieferdecker, Ina
    ;
    Ritter, Tom
    Software rules them all! In every industry now, software plays a dominant role in technical and business innovations, in improving functional safety, and also for increasing convenience. Nevertheless, software is not always designed, (re)developed, and/or secured with the necessary professionalism, and there are unnecessary interruptions in the development, maintenance, and operating chains that adversely affect reliable, secure, powerful, and trustworthy systems. Current surveys such as the annual World Quality Report put it bluntly, directly correlated with the now well-known failures of large-scale, important and/or safetycritical infrastructures caused by software. It is thus high time that software development be left to the experts and that space be created for the use of current methods and technologies. The present article sheds light on current and future software engineering approaches that can also and especially be found in the Fraunhofer portfolio.
  • 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
    Approaches to automation and interoperability in systems engineering
    ( 2014)
    Ritter, Tom
    Creating large and complex systems typically involves a number of potentially geographically separated development teams and a number of various different tools. These two aspects are two important dimensions of complexity, which should be considered when planning large system engineering efforts. The importance of these aspects has become increasingly eminent and recent approaches try to handle these issues. Among them are OSLC (Open Services for Lifecycle Collaboration) and ModelBus®. Those approaches address the platform aspect of system engineering on complementary level of abstraction and are a step forward with respect to integration and interoperability challenges. These approaches set de facto standards, which is important to increase efficiency in systems engineering. Based on these considerations big European initiatives like the ARTMIS Joint Undertaking projects CRYSTAL and VARIES started to work on a Reference Technology Platform with the goal to improve interoperability. The talk will present challenges and solutions in large-scale system engineering efforts and focuses on the aspect of collaboration and standardisation.
  • 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
    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
    Building secure and interoperable ATC systems
    ( 2006)
    Schreiner, Rudolf
    ;
    Lang, Ulrich
    ;
    Ritter, Tom
    ;
    Reznik, Julia