Doctoral College Cyber-Physical Production Systems at TU Wien
> Zum Inhalt

Details

To cope with the specific requirements of CPPS, several modeling languages for systems engineering have been proposed in the last decade which lead to an Object Management Group (OMG) standard called Systems Modeling Language (SysML). The main goal of SysML is to provide a unification of existing system engineering modeling languages, and at the same time, to allow to model a wide variety of systems from different viewpoints. In order to ease the adoption of SysML to specific areas such as CPPS, the PhD candidate will work on a number of challenges:

  1. Specialization/extension of SysML: Although SysML is designed as a general purpose systems modeling language, to ensure its wide applicability, it has to be customized in order to better deal with specifics of a certain domain such as CPPS. In this respect, a language inherent extension mechanism is needed which allows the introduction of domain-specific modeling concepts without breaking the general language architecture, available techniques, and tool support. 
  2. Semantics/pragmatics of SysML: The SysML standard defines the abstract syntax, i.e., the data format for SysML models, and the concrete syntax, i.e., the graphical notation of the language. However, concerning the semantics, and especially, the pragmatics, only hints are given about the usage of the language and semantic variation points. Thus, it has to be explored for the CPPS domain how the semantic variation points have to be configured as well as how the language is used for this particular domain. 
  3. Runtime model for SysML: SysML is used to design systems, but the actual execution of a system, i.e., a snapshot of a system’s state, is not representable in SysML as it is currently defined in the standard. Thus, an extension of SysML based on the models@runtime notion is needed to represent a concrete snapshot of a system execution state, the transition between different snapshots, etc. Having this runtime viewpoint available for SysML opens the door for several opportunities such as model-based self-* techniques, monitoring, compliance checking, and co-evolution of running processes in case the design of the system changes.

PhD-Student and Supervision

PhD-Student: Dipl.-Ing. Sabine Wolny, B. Sc.

Sabine Wolny studied business informatics at TU Wien. In her bachelor she focused on economic aspects, but in the master's program the focus was on Model Engineering. 2013 she finished her studies with honours. The title of her master's thesis was "Automatisiertes White-Box Testen für regelbasierte Modelltransformationen" (Automated white-box testing for rule-based model transformations).

Since 2013 she has been working in the Research Center of Building Physics and Sound Protection at the Institute of Building Construction and Technology with a focus on project management and programming of software solutions.

In her dissertation she would like to integrate her knowledge of the projects of building physics into the CPPS domain.

Advisor: Prof. Dr. Gerti Kappel, Business Informatics Group (E188)

Co-Supervisor: Dr. Manuel Wimmer, Business Informatics Group (E188)