Prof. Dr.-Ing. Jan Himmelspach

Professoren / Dozenten

Stelle(n):

  • Studiengangsleiter Angewandte Informatik/Software Engineering (M.Sc.)
  • Professur für Softwareentwicklung

Ämter

  • stellv. Ombudsmann Forschung

Forschungsschwerpunkte:

  • Softwareentwicklung (komponentenbasiert, effiziente Algorithmen)
  • Modellierung (Modelle, Sprachen, ...)
  • Simulation (Berechnung, Experimente, Software, ...)

Projekte:

  • JAMES II (Open Source Framework for Modeling and Simulation)

Vorlesungen:

  • Analytische Informationssysteme
  • Automatentheorie und formale Sprachen
  • Datenbanken und Business Intelligence
  • Einführung in die Programmierung
  • Einführung in die objektorientierte Programmierung
  • Gestaltung von Informationssystemen
  • Modellierung und Simulation
  • Praxis der Softwareentwicklung
  • Projektmanagement
  • Software Engineering
  • Unternehmensmodellierung
  • Systemmodellierung

Betreute Bachelorarbeiten (exemplarisch):

  • The integration of software to compute BioPEPA models in JAMES II
  • Fallstudie zum Reengineering von ausführbarem Code über objektorientierte Spezifikationen in UML am Beispiel des Spiels "Duke Nukem"
  • Eine Testumgebung für Algorithmen zum Tracking sich bewegender Objekte
  • Data-Mining Methoden in der Simulation
  • Model checking of models in JAMES II by using LoLA
  • Ein Vergleich unterschiedlicher Netzwerkkommunikationsbibliotheken für verteiltes Rechnen in Simulationssoftware basierend auf Java
  • Efficient parallel computation of cellular automata

Betreute Masterarbeiten (exemplarisch):

  • Exemplarische Migration einer klassischen Client-Server-Architektur zu einer reaktiven Microservices-Architektur mit asynchron angebundenem Webclient
  • Analyse und Simulation im Rahmen modellbasierter Entwicklung am Beispiel zukünftiger Türsteuerungssysteme für zivile Passagierflugzeuge
  • Simulation of load balancing algorithms for discrete event simulations
  • Ein Rahmenwerk für die Erstellung von parallel-verteilten Simulationsalgorithmen in JAMES II
  • Coupling Autominder and James
  • Komponentenbasierte Modellierung in der Systembiologie
  • Implementation und Evaluierung einer Umgebung zur parallelen Simulation am Beispiel eines Simulators für Beta-Binders in JAMES II
  • Aggregation verteilter Simulationsdaten
  • Entwicklung eines flexiblen Komponentenbaukastens für Lehr-/Lernsysteme
  • ExML - ein Austauschformat für valide Experimentbeschreibungen zum Austausch zwischen verschiedenen Simulationssystemen
  • Entwicklung einer Methodik zur automatisierten Gestaltung von Luftraumsektorisierungen in der Flugsicherung
  • Selektive Instrumentierung von Modellen in JAMES II
  • Parameteroptimierung und Sensitivitätsanalyse in James II
  • Effizientes Speichern und Lesen von Trajektorien während der Berechnung einer Simulation
  • Ein Werkzeug für die Erstellung und Migration von Testdaten
  • Arbeitsabläufe in der Modellierung und Simulation
  • Parallele Optimierung von Simulationsmodellen
  • Web-basiertes visuelles Monitoring von JAMES II Simulationen
  • Integration einer Simulations-Engine in eine komponentenbasierte eLearning-Architektur am Beispiel der Entwicklung eines simulationsbasierten Geographie-Lernspiels

Lebenslauf:

  • Promotion an der Universität Rostock, Fakultät für Elektrotechnik und Informatik, zum Dr.-Ing. (2007)
  • Abschluss als Diplom-Informatiker (2003)

Akademische Ausbildung:

  • Promotion an der Universität Rostock

Tätigkeiten in der Wirtschaft:

  • IT Unternehmensberatung [Softwareentwicklung] (2013-2015)
  • Unternehmensarchitektur bei einer Versicherung (2015-2016)

Tätigkeiten in der Lehre:

  • Universität Rostock (2003-2013)

Gutachtertätigkeiten:

  • Diverse Fachzeitschriften (TOMACS, Simulation, SimPat, ...)
  • Diverse Fachkonferenzen (Winter Simulation Conference, PADS, TMS/DEVS, ...)
  • Mitglied des technischen Programmkommitees der SimuTools 2017

Mitgliedschaften:

  • GI e.V.

Tagungsbeitrag

J. Himmelspach, R. Ewald, S. Leye, A. Uhrmacher

Parallel and distributed simulation of Parallel DEVS models (2007)

In Proceedings of the 2007 spring simulation multiconference; G Riley(Ed): SCS-European Publishing House; Society for Computer Simulation International, Norfolk, VA; 249- 256

Distributed simulation can speed up the execution of models significantly. We introduce a new simulation algorithm and present partitioning and load balancing techniques that are tailored to the efficient distributed execution of PDEVS. We base our elaborations on the idea of minimizing interprocessor communication, since this is a major bottleneck in distributed PDEVS simulation. Additionally, experimental results are provided which compare the performance of this new approach to alternative algorithms.

Parallel and distributed simulation of Parallel DEVS models

Buch (Monographie)

J. Himmelspach

Konzeption, Realisierung und Verwendung eines allgemeinen Modellierungs-, Simulations- und Experimentiersystems– Entwicklung und Evaluation effizienter Simulationsalgorithmen (2007)

Sierke, Göttingen; 1. Aufl.; Reihe Informatik

Tagungsbeitrag

J. Himmelspach, A. Uhrmacher

Plug’n simulate (2007)

In 40th Annual Simulation Symposium; T Znati, H Karatza(Ed): IEEE Computer Society Press, Washington, DC, USA; 137- 143

Developments in simulation systems, e.g. new simulators, partitioning algorithms, modeling formalisms, or specialized user interfaces, often implies the realization of entire simulation systems from scratch. This requires significant efforts, and, in addition, it hampers the evaluation of the results achieved. The proposed Plug’n simulate concept enables developers to integrate their ideas into an existing framework and thus eases the development and the evaluation of results.

Plug’n simulate

Tagungsbeitrag

J. Himmelspach, A. Uhrmacher

The event queue problem and PDEVS (2007)

In Proceedings of the 2007 spring simulation multiconference; G Riley(Ed): SCS-European Publishing House; Society for Computer Simulation International, Norfolk, VA; 257- 264

The event queue problem is one of the oldest problems in the field of discrete event simulation. However, processing models developed in the PDevs formalism requires additional event queue methods which are not part of the standard event queue realizations. We present several event queues to be used for PDevs models, as well as experimental performance results.

The event queue problem and PDEVS

Tagungsbeitrag

M. Gierke, J. Himmelspach, M. Röhl, A. Uhrmacher

Modeling and Simulation of Tests for Agents (2006)

In Multiagent System Technologies: 4th German Conference; K Fischer, I Timm, E André, N Zhong(Ed): Springer-Verlag, Berlin, Heidelberg; 49- 60

Software systems that are intended to work autonomously in complex, dynamic environments should undergo extensive testing. Model-based testing advocates the use of purpose-driven abstractions for designing appropriate tests. The type of the software, the objective of testing, and the stage of the development process influence the suitability of tests. Simulation techniques based on formal modeling concepts can make these abstractions explicit and operational. A simulation model is presented that facilitates testing of autonomous software within dynamic environments in a flexible manner. The approach is illustrated based on the application Autominder.

Modeling and Simulation of Tests for Agents

Tagungsbeitrag

B. Paul, W. Theeck, J. Himmelspach, A. Uhrmacher

An efficient and effective partitioning algorithm for air space management (2006)

In Proceedings of the 3rd EMSS; A Bruzzone, A Guasch, M Piera, J Rozenblit(Ed): Piera, LogiSim, Barcelona, Spain; 373- 378

Tagungsbeitrag

A. Uhrmacher, J. Himmelspach, M. Röhl, R. Ewald

Introducing Variable Ports and Multi-Couplings for Cell Biological Modeling in DEVS (2006)

In Proceedings of the 2006 Winter simulation Conference; L Perrone, F Wieland, J Liu, B Lawson, D Nicol, R Fujimoto(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey; 832- 840

Motivated by the requirements of molecular biological applications, we are suggesting an extension of the DEVS formalism. Starting with dynDDEVS, a reflective variant of Devs which supports dynamic behavior, composition, and interaction pattern, we develop rho-DEVS. Dynamic ports and multi-couplings are introduced whose combination allows models to reflect significant state changes to the outside world and enabling or disabling certain interactions at the same time. An abstract simulator describes the operational semantics of the developed formalism, and the Tryptophan operon model illustrates the developed ideas and concepts.

Introducing Variable Ports and Multi-Couplings for Cell Biological Modeling in DEVS

Tagungsbeitrag

R. Ewald, J. Himmelspach, A. Uhrmacher

A Non-Fragmenting Partitioning Algorithm for Hierarchical Models (2006)

In Proceedings of the 2006 Winter simulation Conference; L Perrone, F Wieland, J Liu, B Lawson, D Nicol, R Fujimoto(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey; 848- 855

The simulation system James II is aimed at supporting a range of modeling formalisms and simulation engines. The partitioning of models is essential for distributed simulation. A suitable partition depends on model, hardware, and simulation algorithm characteristics. Therefore, a partitioning layer has been created in James II which allows to plug in partitioning algorithms on demand. Three different partitioning algorithms have been implemented. In addition to the well known Kernighan-Lin algorithm and a geometric approach, a partitioning algorithm for hierarchically structured models has been developed whose performance is evaluated.

A Non-Fragmenting Partitioning Algorithm for Hierarchical Models

Tagungsbeitrag

J. Himmelspach, P. Lecca, D. Prandi, C. Priami, P. Quaglia, A. Uhrmacher

Developing An Hierarchical Simulator for Beta-binders (2006)

In 20th Workshop on Principles of Advanced and Distributed Simulation; S Turner(Ed): IEEE Computer Society Press, Piscataway, NJ; 92- 102

BETA-BINDERS form a recently developed extension of stochastic \pi CALCULUS to describe micro-biological systems. It introduces special binders to wrap processes just as membranes enclose some living matter and hence to mimic biological interfaces. One means to define the operational semantics of a modeling formalism is by an abstract simulator description. In developing an abstract simulator for BETA-BINDERS concepts are adopted that have been developed in the context of JAMES II. Processors of the simulator are structured into a hierarchy and each of them is splitted into different methods. This design reflects the structure of BETA-BINDERS models and facilitates experimenting with different operational semantics. Two discrete event simulation schemes, the First-Gillespie method and Gibson-Bruck method, are combined to calculate the reactions that occur within and between the modeled bioprocesses, respectively. The functioning of the simulator is illustrated by processing step-wise the reaction of an immune cell to the occurrence of a virus.

Developing An Hierarchical Simulator for Beta-binders

Tagungsbeitrag

J. Himmelspach, A. Uhrmacher

Sequential processing of PDEVS models (2006)

In Proceedings of the 3rd EMSS; A Bruzzone, A Guasch, M Piera, J Rozenblit(Ed): Piera, LogiSim, Barcelona, Spain; 239- 244