BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:1920-409@gi.de
CLASS: PUBLIC
SUMMARY:RG Rhein-Neckar: Data-centric design and validation of collaborativ
 e embedded systems
DESCRIPTION:Abstract:\n\nEmbedded systems, i.e., computational systems that
  are a fixed component of a technical system, are ubiquitous in our environ
 ment. Recently, embedded systems have begun to communicate and interact wit
 h one another, performing common tasks and sharing common goals.\n\nExample
 s are fleets of self-driving cars or autonomous transport robots.\n\nIn the
  design of such collaborative embedded systems, large amounts of context da
 ta, representing incomplete and uncertain information about the systems's e
 nvironment, is becoming more and more important. For example, sensor inform
 ation from cameras, laser scanners, and other sensors must be matched with 
 internal maps and information from other participants to determine an optim
 al route at every instant.\n\nIn this talk, we will sketch some design prin
 ciples and challenges for the validation of such systems.\n\nSpeaker:\n\nHo
 lger Schlingloff is chief scientist of the System Quality Center SQC at the
  Fraunhofer institute FOKUS and professor for software engineering at the H
 umboldt University of Berlin. Furthermore, he is chairman of the board of G
 FaI e.V. and ZeSys e.V. His main interests are specification, verification 
 and testing of embedded safety-critical software. He obtained his Ph.D. fro
 m the Technical University of Munich in 1990 with a thesis on temporal logi
 c of trees; after that, he visited Carnegie-Mellon-University, Pittburgh, w
 here 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 d
 irector of the Bremen Institute for Safe Systems (BISS) within the Center f
 or Computing Technologies (TZI), Bremen. His habilitation in 2001 was on pa
 rtial state space of safety-critical systems. Since 2002, when he joined Fr
 aunhofer, he is managing industrial projects in the automotive, railway, an
 d medical technology domain. His areas of expertise include quality assuran
 ce of embedded control software, model-based development and model checking
 , logical verification of requirements, static analysis, and automated soft
 ware testing.\n\nNäheres unten und unter https://www.ifi.uni-heidelberg.de/
 veranstaltungen/kolloquia/vortrag_schlingloff.html \n\n\n\n
LOCATION:Universität Heidelberg
DTSTAMP:20190130T212850Z
DTSTART:20190110T151500Z
DTEND:20190110T170000Z
END:VEVENT
END:VCALENDAR