This combined program is provided 'as is'. More up-to-date information may be avalialbe at each event's official websites.
CPS Week 2018 Program Overview
EITEC Workshop
4th International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems
official website
CPS Week 2018 Workshops:
EITEC ‧ SCAV ‧ SCOPE ‧ DARS ‧ CPSBench ‧ CPS-SR ‧ CPS-INTL ‧ MSCPES ‧ MT-CPS ‧ MCPS ‧ CySWater ‧ SmartFarming
Other CPS Week 2018 Events:
Conferences ‧ Tutorials ‧ Competitions...
April 10
see all CPS Week events for this day
08:00 - 09:00 | Registration Palácio da Bolsa |
09:00 - 09:15 | Workshop Welcome |
09:15 - 10:00 | Workshop Keynote - Specification and verification of collaborative transport robots Holger SchlingloffThe workshop will include a keynote presentation by Prof. Dr. Holger Schlingloff, chief scientist of the System Quality Center SQC at the Fraunhofer institute FOKUS and professor for software engineering at the Humboldt University of Berlin. His main interests are specification, verification and testing of embedded safety-critical software. He obtained his Ph.D. from the Technical University of Munich in 1990 with a thesis on temporal logic of trees; after that, he visited Carnegie-Mellon-University, Pittburgh, where he worked on model checking of real-time systems. After his return he was associate professor at the TU Munich and, from 1997 to 2001, managing director of the Bremen Institute for Safe Systems (BISS) within the Center for Computing Technologies (TZI), Bremen. His habilitation in 2001 was on partial state space of safety-critical systems. Since 2002, when he joined Fraunhofer, he is managing industrial projects in the automotive, railway, and medical technology domain. His areas of expertise include quality assurance of embedded control software, model-based development and model checking, logical verification of requirements, static analysis, and automated software testing. R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem |
10:00 - 10:30 | Coffee Break R10 - Palácio da Bolsa - Level 1 |
10:30 - 12:30 | Workshop Session An End To End Tactile Cyber Physical System Design. Arjun N, Ashwin S M, Kurian Polachan, Prabhakar T V, Chandramani Singh Fault Tolerance on Control Applications: Empirical Investigations of Impacts from Incorrect Calculations. Mikail Yayla, Kuan-Hsun Chen, Jian-Jia Chen Developing Ontologies for the Collaboration of Cyber-Physical Systems: Requirements and Solution Approach. Sebastian Törsleff, Constantin Hildebrandt, Marian Daun, Jennifer Brings, Alexander Fay R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem |
12:30 - 14:00 | Lunch R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
14:00 - 15:30 | Workshop Session A taxonomy for faults in conguration knowledge bases. Christina Aigner, Florian Grigoleit Reflection on future Research Directions. Workshop Participants R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem |
15:30 - 16:00 | Coffee Break R10 - Palácio da Bolsa - Level 1 |
16:00 - 16:15 | Workshop Closing R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem |
18:45 - 20:30 | CPS Week Workshop/Tutorial Cocktail Dînatoire Palácio da Bolsa |