Matthias Tichy

Vulnerability

Abstraction

Cite

Citations (0)

An Exploratory Study on Performance Engineering in Model Transformations.

Software Engineering (2021)

Raffaela Groner Luis Beaucamp Matthias Tichy Steffen Becker

Model-Driven Software Engineering (MDSE) is a widely used approach to deal with the increasing complexity of software. This increasing complexity also leads to the fact that the models used and the model transformations applied become larger and more complex as well. This means that the execution performance of model transformations is gaining in importance. While improving the performance of model transformation execution engines has been a focus of the MDSE-community in the past, there does not exist any empirical study on how developers of model transformation deal with performance issues. Consequently, we conducted an exploratory mixed method study consisting of a quantitative online survey and a qualitative interview study. We used a questionnaire to investigate whether the performance of a transformation is actually important for transformation developers and whether they have already tried to improve the performance of a model transformation. Subsequently, we conducted semi-structured interviews based on the answers to the questionnaire to investigate how transformation developers deal with performance issues, what causes and solutions they found and also what they think could help them to easier find causes. The results of the quantitative online survey show that 43 of 81 participants have already tried to improve the performance of a transformation and 34 of the 81 are sometimes or only rarely satisfied with the execution performance. Based on the answers from our 13 interviews, we identified different strategies to prevent or find performance issues in model transformations as well as different types of causes of performance issues and solutions. Finally, we compiled a collection of additional tool features perceived helpful by the interviewees to address performance issues.

Model Transformation

Exploratory research

Empirical Research

Source

Cite

Citations (0)

Der Vorrang der Selbstbestimmung.

Zeitschrift für Praktische Philosophie (2021)

Matthias Tichy

Zusammenfassung: Das jüngste Urteil des Bundesverfassungsgerichts zur Beihilfe zur Selbsttötung ist bei Kirchen und Ärztevertretern auf deutliche Ablehnung gestoßen. Auch der ehemalige Vorsitzende des Deutschen Ethikrats hat das Urteil scharf kritisiert. Die Vehemenz dieser Kritik deutet darauf hin, dass sich der Gegensatz zwischen Verteidigern und Gegnern des Vorrangs der Selbstbestimmung einer Person im Hinblick auf ihr eigenes Lebensende verhärtet hat. Um einen Ausweg aus diesem Patt zu finden, muss die Streitfrage in anderen Begriffen formuliert werden als in denen des Rechts und der kategorischen Gebote. Wichtige Hinweise dazu liefern Ronald Dworkins Überlegungen zur Ursache moralischer Konflikte.

10.22613/zfpp/8.1.1

Cite

Citations (0)

Towards the compositional verification of real-time UML designs

ACM SIGSOFT Software Engineering Notes (2003)

Holger Giese Matthias Tichy Sven Burmester Wilhelm Schäfer Stephan Flake

Current techniques for the verification of software as e.g. model checking are limited when it comes to the verification of complex distributed embedded real-time systems. Our approach addresses this problem and in particular the state explosion problem for the software controlling mechatronic systems, as we provide a domain specific formal semantic definition for a subset of the UML 2.0 component model and an integrated sequence of design steps. These steps prescribe how to compose complex software systems from domain-specific patterns which model a particular part of the system behavior in a well-defined context. The correctness of these patterns can be verified individually because they have only simple communication behavior and have only a fixed number of participating roles. The composition of these patterns to describe the complete component behavior and the overall system behavior is prescribed by a rigorous syntactic definition which guarantees that the verification of component and system behavior can exploit the results of the verification of individual patterns.

Component (thermodynamics)

Runtime Verification

Software verification

10.1145/949952.940078

Cite

Citations (15)

Mechanisms for Leveraging Models at Runtime in Self-adaptive Software.

Amel Bennaceur Giordano Tamburrelli Thomas Vogel Pieter J. Mosterman Walter Cazzola

Source

Cite

Citations (1)

Supporting semi-automatic co-evolution of architecture and fault tree models

Journal of Systems and Software (2018)

Sinem Getir Yaman Lars Grunske André van Hoorn Timo Kehrer Yannic Noller

Tree (set theory)

Completeness (order theory)

10.1016/j.jss.2018.04.001

Cite

Citations (16)

A Survey on the Relevance of the Performance of Model Transformations: Data of the Participant Search and the Questionnaire

Raffaela Groner Katharina Juhnke Stefan Götz Matthias Tichy Steffen Becker

Relevance

10.18725/oparu-38188

Cite

Citations (3)

Narratives Philosophieren und Aufklärung: Zur Relevanz von Michael Hampes Die Lehren der Philosophie für die Philosophiedidaktik

Zeitschrift für didaktik der philosophie und ethik (2021)

Matthias Tichy

Source

Cite

Citations (0)

Towards the compositional verification of real-time UML designs

Holger Giese Matthias Tichy Sven Burmester Stephan Flake

Current techniques for the verification of software as e.g. model checking are limited when it comes to the verification of complex distributed embedded real-time systems. Our approach addresses this problem and in particular the state explosion problem for the software controlling mechatronic systems, as we provide a domain specific formal semantic definition for a subset of the UML 2.0 component model and an integrated sequence of design steps. These steps prescribe how to compose complex software systems from domain-specific patterns which model a particular part of the system behavior in a well-defined context. The correctness of these patterns can be verified individually because they have only simple communication behavior and have only a fixed number of participating roles. The composition of these patterns to describe the complete component behavior and the overall system behavior is prescribed by a rigorous syntactic definition which guarantees that the verification of component and system behavior can exploit the results of the verification of individual patterns.

Component (thermodynamics)

Runtime Verification

Software verification

10.1145/940075.940078

Cite

Citations (17)

A Domain-Specific Language for Modeling and Analyzing Solution Spaces for Technology Roadmapping

arXiv (Cornell University) (2021)

Alexander Breckel Jakob Pietron Katharina Juhnke Florian Sihler Matthias Tichy

The introduction of major innovations in industry requires a collaboration across the whole value chain. A common way to organize such a collaboration is the use of technology roadmaps, which act as an industry-wide long-term planning tool. Technology roadmaps are used to identify industry needs, estimate the availability of technological solutions, and identify the need for innovation in the future. Roadmaps are inherently both time-dependent and based on uncertain values, i.e., properties and structural components can change over time. Furthermore, roadmaps have to reason about alternative solutions as well as their key performance indicators. Current approaches for model-based engineering do not inherently support these aspects. We present a novel model-based approach treating those aspects as first-class citizens. To address the problem of missing support for time in the context of roadmap modeling, we introduce the concepts of a common global time, time-dependent properties, and time-dependent availability. This includes requirements, properties, and the structure of the model or its components as well. Furthermore, we support the specification and analysis of key performance indicators for alternative solutions. These concepts result in a continuous range of various valid models over time instead of a single valid model at a certain point of time. We present a graphical user interface to enable the user to efficiently create and analyze those models. We further show the semantics of the resulting model by a translation into a set of global constraints as well as how we solve the resulting constraint system. We report on the evaluation of these concepts and the Iris tool with domain experts from different companies in the automotive value chain based on the industrial case of a smart sensing electrical fuse.

Technology roadmap

Source

Cite

Citations (0)

Matthias Tichy

Papers

Citation

H-Index

i-10 index

Papers

Citation

H-Index

i-10 index