Dr. rer. nat.

Ritter, Tom

Filters

5
Reset filters

Settings
Now showing 1 - 5 of 5
  • 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
    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
    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
    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.