Dominik Werle

M.Sc. Dominik Werle

  • Institut für Programmstrukturen und Datenorganisation (IPD)

    Jun.-Prof. Dr.-Ing. Anne Koziolek

    Karlsruher Institut für Technologie (KIT)
    Gebäude 50.34
    Am Fasanengarten 5
    76131 Karlsruhe

Research Abstract

In the future energy system, large amounts of energy status data have to be collected from a geographically distributed set of sources. It is, however, often unclear how design decisions regarding the software and hardware system (e.g., the dimensioning of hardware resources, which processing middleware is used, or how often and in which granularity sensors provide data) influence the quality of the system (e.g., response time, cost or energy consumption). Trial-and-error is often not feasible because of availability requirements and costs. These decisions have to be made both when planning a system and when evolving the system. In the planning case, there often is no implementation or environment of the system which could be tested regarding the quality impact. In the evolution case, the change is often one that is not covered by historical data and can hence not be inferred using, say, a regression model. Both cases are supported using software quality models. Current modeling languages for this purpose are, however, often limited in their application to data-intensive software systems. They do not allow the explicit modeling of middleware components with quality impact (such as message queues or processing frameworks) and do not allow the description of data-dependent system behavior. In my thesis, the simulation of software performance for such systems is advanced. I will use the software architecture of a cluster that handles energy status data from an electronics packaging lab and of the planned Energy Lab 2.0 data processing infrastructure as two initial case studies. Based on these and from literature, I will derive recurring design questions and a suitable modeling language that includes data streams as first-class entities. The analysis of the resulting models is initially focused on performance. Other possible quality dimensions are for example the cost of the composed system, consistency guarantees made by messaging components or the reliability of the system.

Research interests

  • Energy-efficient software architectures
  • Software architectures for Big Data applications
  • Simulation and analysis of software quality
  • Model-driven and view-based software development (Vitruvius)

Open theses and student researcher jobs

  • If you are interested in a Bachelor's or Master's thesis topic in the context of software engineering and energy management systems, please do not hesitate to contact me.

Publications


Accurate Performance Predictions with Component-Based Models of Data Streaming Applications
Werle, D.; Seifermann, S.; Koziolek, A.
2022. Software Architecture – 16th European Conference, ECSA 2022, Prague, Czech Republic, September 19–23, 2022, Proceedings. Ed.: I. Gerostathopoulos, 83–98, Springer International Publishing. doi:10.1007/978-3-031-16697-6_6
ARCHI4MOM: Using Tracing Information to Extract the Architecture of Microservice-Based Systems from Message-Oriented Middleware
Singh, S.; Werle, D.; Koziolek, A.
2022. Software Architecture : 16th European Conference, ECSA 2022, Prague, Czech Republic, September 19–23, 2022, Proceedings. Ed.: I. Gerostathopoulos, 189–204, Springer International Publishing. doi:10.1007/978-3-031-16697-6_14
Performance-Detective: Automatic Deduction of Cheap and Accurate Performance Models
Schmid, L.; Copik, M.; Calotoiu, A.; Werle, D.; Reiter, A.; Selzer, M.; Koziolek, A.; Hoefler, T.
2022. ACM International Conference on Supercomputing (ICS ’22), Virtual Event, June 28-30, 2022, Association for Computing Machinery (ACM). doi:10.1145/3524059.3532391
Teaching Programming at Scale
Kaplan, A.; Keim, J.; Schneider, Y.; Walter, M.; Werle, D.; Koziolek, A.; Reussner, R. H.
2020. Tagungsband des 17. Workshops "Software Engineering im Unterricht der Hochschulen" 2020, Innsbruck, Österreich, 26. - 27.02.2020 Hrsg.: S. Krusche, 2–6, RWTH Aachen
Leveraging State to Facilitate Separation of Concerns in Reuse-oriented Performance Models
Werle, D.; Seifermann, S.; Krach, S. D.
2017. Softwaretechnik-Trends, 37 (3), 26–28
Data Stream Operations as First-Class Entities in Palladio
Werle, D.; Seifermann, S.; Koziolek, A.
2019. Softwaretechnik-Trends, 39 (4), 47–49
Mapping Data Flow Models to the Palladio Component Model
Seifermann, S.; Werle, D.; Ebada, M.
2019. Softwaretechnik-Trends, 39 (4), 41–43
Detecting Violations of Access Control and Information Flow Policies in Data Flow Diagrams
Seifermann, S.; Heinrich, R.; Werle, D.; Reussner, R.
2022. The journal of systems and software, 184, Art.-Nr. 111138. doi:10.1016/j.jss.2021.111138
A unified model to detect information flow and access control violations in software architectures
Seifermann, S.; Heinrich, R.; Werle, D.; Reussner, R.
2021. Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021, Virtual, Online, 6 July 2021 - 8 July 2021, 26–37, SciTePress. doi:10.5220/0010515300260037
Data stream operations as first-class entities in component-based performance models
Werle, D.; Seifermann, S.; Koziolek, A.
2020. Software Architecture: 14th European Conference, ECSA 2020, L’Aquila, Italy, September 14–18, 2020, Proceedings. Ed.: A. Jansen, 148–164, Springer. doi:10.1007/978-3-030-58923-3_10
Enabling consistency in view-based system development - The Vitruvius approach
Klare, H.; Kramer, M. E.; Langhammer, M.; Werle, D.; Burger, E.; Reussner, R.
2021. The journal of systems and software, 171, Article no: 110815. doi:10.1016/j.jss.2020.110815
A Cross-Disciplinary Language for Change Propagation Rules
Busch, K.; Werle, D.; Loper, M.; Heinrich, R.; Reussner, R.; Vogel-Heuser, B.
2018. IEEE 14th International Conference on Automation Science and Engineering (CASE 2018), München, 20.-24. August 2018, 1099–1104, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/COASE.2018.8560364
The Effect of Temporal Aggregation on Battery Sizing for Peak Shaving
Werle, D.; Warzel, D.; Bischof, S.; Koziolek, A.; Trittenbach, H.; Böhm, K.
2019. Tenth ACM International Conference on Future Energy Systems (ACM e-Energy) and its co-located workshops, Phoenix, AZ, United States, 25th - 28th of June 2019, 482–485, Association for Computing Machinery (ACM). doi:10.1145/3307772.3331023
A collection of software engineering challenges for big data system development
Hummel, O.; Eichelberger, H.; Giloj, A.; Werle, D.; Schmid, K.
2018. Euromicro Conference on Software Engineering and Advanced Applications 2018 (SEAA 2018), Prague, CZ, August 29-31, 2018. Ed.: T. Bures, 362–369, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SEAA.2018.00066
HIPE – An energy-Status-Data set from industrial production
Bischof, S.; Trittenbach, H.; Vollmer, M.; Werle, D.; Blank, T.; Böhm, K.
2018. 9th ACM International Conference on Future Energy Systems, e-Energy 2018; Karlsruhe; Germany; 12 June 2018 through 15 June 2018, 599–603, Association for Computing Machinery (ACM). doi:10.1145/3208903.3210278
The palladio-bench for modeling and simulating software architectures
Heinrich, R.; Werle, D.; Klare, H.; Reussner, R.; Kramer, M.; Becker, S.; Happe, J.; Koziolek, H.; Krogmann, K.
2018. 40th ACM/IEEE International Conference on Software Engineering (ICSE 2018), Gothenburg, S, May 27 June 3, 2018, 37–40, Association for Computing Machinery (ACM). doi:10.1145/3183440.3183474
HIPE -- An Energy-Status-Data Set from Industrial Production
Bischof, S.; Trittenbach, H.; Vollmer, M.; Werle, D.; Blank, T.; Böhm, K.
2018. International Workshop on Energy Data and Analytics (EDA 2018), Karlsruhe, Germany, June 12, 2018
Deriving Power Models for Architecture-Level Energy Efficiency Analyses
Stier, C.; Werle, D.; Koziolek, A.
2017. Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, 7th - 8th September 2017. Ed.: P. Reinecke, 214–229, Springer International Publishing. doi:10.1007/978-3-319-66583-2_14
A Domain-Specific Language for Model Consistency
Werle, D.
2016. Studierendenprogramm der Fachtagung „Modellierung 2016“. Hrsg.: R. Heinrich, Karlsruher Institut für Technologie (KIT)
Designing information hiding modularity for model transformation languages
Rentschler, A.; Werle, D.; Noorshams, Q.; Happe, L.; Reussner, R.
2014. 13th International Conference on Modularity, Lugano, Switzerland, April 22-25, 2014, 217–228, Association for Computing Machinery (ACM). doi:10.1145/2577080.2577094
Remodularizing Legacy Model Transformations with Automatic Clustering Techniques
Rentschler, A.; Werle, D.; Noorshams, Q.; Happe, L.; Reussner, R.
2011. Workshop on Analysis of Model Transformations (AMT’14), Valencia, Spain, September 29, 2014. Ed.: J. Dingel, 4–13, RWTH Aachen