CPS Week 2018 Advance Program ‧ EITEC Workshop

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:

Other CPS Week 2018 Events:

April 10

see all CPS Week events for this day

08:00 - 09:00Registration
Palácio da Bolsa
09:00 - 09:15Workshop Welcome
09:15 - 10:00Workshop 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:30Coffee Break
R10 - Palácio da Bolsa - Level 1
10:30 - 12:30Workshop 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:00Lunch
R01 - Palácio da Bolsa - Level 0 - Pátio das Nações
14:00 - 15:30Workshop 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:00Coffee Break
R10 - Palácio da Bolsa - Level 1
16:00 - 16:15Workshop Closing
R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem
18:45 - 20:30CPS Week Workshop/Tutorial Cocktail Dînatoire
Palácio da Bolsa