In cooperation with Siemens Corporate Technology (SCT) US, the Chair for Operating Systems (TUM IN F13) is offering a thesis topic (BA/MA/IDP) in the area of future industrial automation (industry 4.0). The practical part of the thesis will be done as part of a paid internship (6 months) on site at SCT in Princeton, NJ, USA.
Area of research:
Cyber-physical production systems (CPPS) build a network of industrial automation components and systems that provide the base for future industry 4.0 applications. As failures or vulnerabilities in CPPS may be life threatening, the system has to be tested adequately in advance by applying different software verification and validation methods. However, the operation of field tests for CCPS usually is an expensive, time and resource consuming task, and limited to only a small set of potential scenarios, mostly ignoring possibly hazardous situations. Therefore, within SCT US, the concept of a hybrid simulation testbed was developed, which combines the advantages of both virtual and real environment within the context of a distributed, embedded, real-time system, by placing an entire physical CPPS together with its virtual counterparts into the same simulation. Both physical and virtual components are interconnected via Industrial Ethernet. The CPPS is then verified under different environmental conditions that will be generated by a model-based testing framework.
Task:
- Development of software applications for a programmable logic controller (PLC) under test
- Development of SCADA-based HMI applications as control interface for the PLC
- Transformation of the physical plant model into a virtual plant model for the simulator
- Development of a test controller application that supports a plugin for the test generation framework to
- insert generated test models into the simulator
- insert generated test instructions into the HMI application (test execution engine)
- receive diagnostics/monitoring data from the PLC (feedback control unit)
- Connection of the simulator’s interface (API) and the PLC via PROFINET RT-Ethernet protocol
- Connection of both HMI suite and feedback control unit and the PLC via the S7 protocol
Requirements:
- Strong development skills (proven through participation in medium to large scale industrial or research projects) in C/C++ and Java
- Basic knowledge of source code version control (git/svn)
- Experience in industrial automation systems and PLC programming languages (especially SIMATIC S7) is a plus
- Experience in the field of model-based testing is a plus
- Outstanding collaboration, interpersonal and communication (verbal & written) skills in English is a must
In case of interest please refer to Sebastian Eckl.