Open position as researcher ( E13 )
There are several open positions as full-time researcher (E14 TV-L). The positions are funded by two national and international research projects that deal with the application of formal and AI methods to systems engineering. We expect an excellent Master in computer science or related disciplines such as mathematics, good knowledge of English and German language, and some experience in programming in Java or C++. Applicants should be motivated to write a Ph.D. thesis. For details switch to the German language web site.
New project: GENIAL
The chair of Cyber-Physical Systems has a new project funded by BMBF. The work at the chair are the most central part of the German 23 Mio. € Lighthouse project GENIAL! 4-5 Ph.D and a Post-Doc at the chair will investigate new means for the agile development of automotive systems over the next 5 years. The main challenge is the co-operation and co-ordination of requirements solicitation, specification and production planning across the whole value-chain.
Industrial partners include Audi, Bosch, Hella, Infineon, and many more representing most OEM, suppliers, and microelectronics companies in Germany's automotive sector.
Best Paper Award HICSS-51 (Jan. 2018, Hawaii) for Dr.-Ing. Carna Radojicic
Dr.-Ing. Carna Radojicic, Post-Doc at the chair of CPS, together with Co-Autors from TU Vienna's Institute of Computer Technology, was awarded with a Best Paper Award at the 51st Hawaii International Conference on System Sciences (HICSS-51). Her paper "Semi-Symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-Physical Systems" was presented in the "Software Technology" with 57 other accepted papers.
Invited presentation at SNR 2017
There was an invited presentation of Prof. Grimm on Affine Arithmetic Decision Diagrams (AADD) at the SNR 2017 workshop (http://snr2017.pages.ist.ac.at/#invited). The presentation slides can be found here. A paper on AADD was published here.
New Project: KvUiCPS
We started a new research project "Compositionally of Uncertainties in Cyber-Physical Systems (KvUiCPS)". In the project, 1 PhD position is 100% funded by a leading automotive supplier. Within the project we investigate means to document, model, and validate/verify uncertainties and its impacts in complex cyber-physical systems.
Horizon 2020 project starts 01/01/2016: VICINITY
On January, 1st we start a new, EC funded (H2020) project: VICINITY. Objective of this project is to create means that increase interoperability of different things across domains in the Internet of Things. The approach is to develop a HW/SW platform that provides "Interoperability as a Service".
VICINITY is a "large-type (ex: IP)" H2020 project with 4 years duration. It is coordinated by Prof. Grimm from TU Kaiserslautern's chair on design of Cyber-Physical Systems.
Book of Prof. Grimm now also in Chinese translation
The book "Embedded Systems for Energy Management and Smart Appliances (springer)" from Prof. Grimm is now also available in a Chinese translation (Springer & China Machine Press, ISBN 978-1-4419-8794-5/978-1-4899-8728-0, list price 49.80 RMB, first printing 2.800 copies).
New national BMBF-Projekt has been startet on 01.07.2014: ANCONA.