Venue

EITEC '18 is a workshop held at CPS Week 2018 in Porto, Portugal
Date: April 10, 2018

Location: CPS Week Porto

Important Date

Workshop

April 10, 2018

Downloads

Links

Program

Keynote

The 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.

Detailed Program

Start End Agenda Item Presenter
09:00 09:15 Welcome Organizers
09:15 10:00 Keynote: Specification and verification of collaborative transport robots Holger Schlingloff
10:00 10:30 Break
10:30 11:10 An End To End Tactile Cyber Physical System Design Arjun N, Ashwin S M, Kurian Polachan, Prabhakar T V, Chandramani Singh
11:10 11:50 Fault Tolerance on Control Applications: Empirical Investigations of Impacts from Incorrect Calculations Mikail Yayla, Kuan-Hsun Chen, Jian-Jia Chen
11:50 12:30 Developing Ontologies for the Collaboration of Cyber-Physical Systems: Requirements and Solution Approach Sebastian Törsleff, Constantin Hildebrandt, Marian Daun, Jennifer Brings, Alexander Fay
12:30 14:00 Lunch
14:00 14:40 Maintaining configuration knowledge bases: Classification and detection of faults Christina Aigner, Florian Grigoleit
14:40 15:30 Reflection on future Research Directions Workshop Participants
15:30 16:00 Break
16:00 16:15 Workshop Closing