In diesem Semester geht die Ringvorlesung in die zweite Runde. Am 15.11, 14.12 und 19.01 werden in jeweils zwei Vorträge wieder Ergebnisse aus der Informatikforschung präsentiert. Hier kannst du neue Kontakte mit AGs knüpfen oder einfach nur einen Blick über den eigenen Tellerrand werfen. Die Veranstaltung findet im Raum 48-453 statt.
Natürlich ist auch für das leibliche Wohl gesorgt: Nach den Vorträgen sorgen Kaffee und Kuchen für eine angenehme Atmosphäre, die zum Gespräch mit den Vortragenden einlädt.
Dienstag (15.11.2016) | ||||
---|---|---|---|---|
14:30 – 15:15 | Research that creates impact | Dr. Mario Trapp | Fraunhofer Institute IESE | Englisch |
In times of the convergence of IT systems and embedded systems with the rise of new system classes like the internet of things, industry 4.0, and autonomous systems, the world is changing fast. With its world-wide renowned research on software and systems engineering and its close collaboration with industry, the Fraunhofer IESE actively contributes to shaping this new digital future. This talk will give some insights on our strategic research alliances set up by the German government as well as interesting industry projects to give an overview of our research activities. And it will show opportunities how you can become part of the future by joining our research team. | ||||
15:15 – 15:30 | Kaffeepause | |||
15:30 – 16:15 | Verification of Cyber-Physical Systems | Dr. Carna Radojicic | AG Design of Cyber-Physical Systems | Englisch |
The advanced technology brings us to the modern world where computers are embedded in almost any physical system controlling the physical processes. Such systems are known as Cyber-Physical Systems (CPS). They find place in a wide range of applications such as smart grid, smart home, health-care, robotics, and automotive. With the increased applicability of these systems in everyday life, the functional safety is of crucial importance. Faults, unforeseen scenarios and parameter variations must be included in the verification process and seen as part of regular operation. Experiences show that the failing of these systems is in most cases caused by interactions of multiple variations of different kind. These interactions are often too complex to be covered by simply performing multiple simulation runs. There is a demand for methods that can provide the high level of system reliability. This talk introduces symbolic simulation as an alternative approach towards more dependable verification of cyber-physical systems. | ||||
16:15 – 17:00 | Kaffee und Kuchen |
Mittwoch (14.12.2016) | ||||
---|---|---|---|---|
14:30 – 15:15 | SMARTRUNNER – Driving innovation with Internet of Things, Big Data and Recommender Technology | Dr. Stephan Baumann | DFKI | Englisch |
The talk starts with a short introduction about the state of the art of recommendation algorithms. On top of this the concept of the SMARTRUNNER app will be presented which aims at generating personalized playlists supporting runners. In contrast to existing solutions the integration of sensors into smart textiles (e.g running shoes, tights, shirts) allows for innovative context-aware recommendation.
The presented work is currently developed in a joint research project with ADIDAS, DTAG, Dresden Electronics, Humotion and RWTH Aachen funded by the BMWI in the SmartServiceWelt program.
|
||||
15:15 – 15:30 | Kaffeepause | |||
15:30 – 16:15 | Internet of Things | Prof. Christoph Grimm | AG Design of Cyber-Physical Systems | Deutsch |
The Internet of Things (IoT) is created by the pervasive networking of embedded systems that expose its data and services. This pervasive availability of data and services is the basis for the creation of new “value-added services” that make up the IoT. However, there are still a lot of challenges to solve. The most important ones are the interoperability of many things, but as well security, and privacy. This presentation gives an overview of the European Project VICINITY that will create a kind of “Facebook for IoT Things”, providing a basis for interoperability across standards and value-added services while fully obeying highest principles of privacy and data-security.
The project is funded by the European Commission with 8 Mio. Euro and supported by two CSA projects. It is coordinated by Prof. Grimm and is part of the 7 European IoT Platform Initiative (EPI) projects that stem the European standardization efforts and development of European Platforms for the IoT. Within the project a number of Bachelor, Master, and PhD thesis will be developed in close co-operation with EPI, the European Commission, Industrial Partners, and Standardization Bodies such as ETSI or ISO.
|
||||
16:15 – 17:00 | Kaffee und Kuchen |
Donnerstag (19.01.2017) | ||||
---|---|---|---|---|
14:30 – 15:15 | Topological data analysis through homology and discrete Morse theory | Uderico Fugacci | AG Visual Information Analysis | English |
Beschreibung kommt bald noch | ||||
15:15 – 15:30 | Kaffeepause | |||
15:30 – 16:15 | TBA | Prof. Jens Schmitt | AG Distributed Computer Systems | Deutsch |
Beschreibung kommt bald noch | ||||
16:15 – 17:00 | Kaffee und Kuchen |