[TYPES/announce] Marktoberdorf Summer School: Call for Participation

Alexander Pretschner pretschn at in.tum.de
Thu Apr 7 10:43:36 EDT 2016







August 3rd-12th, 2016, Marktoberdorf, Germany


An Advanced Study Institute of the

NATO Science for Peace and Security Programme


 <http://asimod.in.tum.de> http://asimod.in.tum.de









*** Lecturers: ***

Rajeev Alur, University of Pennsylvania, USA

Manfred Broy, TU Munich, Germany

Bernd Finkbeiner, Saarland University, Germany

Radu Grosu, TU Vienna, Austria

Connie Heitmeyer, Naval Research Lab, USA

Kim Larsen, Aalborg University, Denmark

Peter Mueller, ETH Zurich, Switzerland

Doron Peled (Co-Director), Bar Ilan University, Israel

Alexander Pretschner (Co-Director), TU Munich, Germany

Grigore Rosu, University of Illinois at Urbana-Champaign, USA

John Rushby, SRI International, USA

Mark Ryan, University of Birmingham, UK




*** Objective: ***

Almost all technical systems are nowadays in large part software systems
themselves, or interface with software systems. The ubiquity of software
systems requires them not to harm their environment (safety); and at the
same time makes them vulnerable to security attacks with potentially
considerable economic, political, and physical damage. Better understanding
security and safety; improving the general quality of complex software
systems (cyber defense and new technologies to support the construction of
information technology infrastructure) and the respective development
processes and technologies is a crucial challenge for the functioning of


Security and safety, or reliability, both are essential facets of the
trustworthiness of modern cyber-physical systems. Cyber-physical systems
more and more tightly combine and coordinate subsystems consisting of both
computational and physical elements. Such systems become indispensable in
the domains of aerospace, automotive, industry automation, and consumer
appliances. Protecting data within these systems from attacks by external
attackers (security), and protecting the environment from misbehaviour of
these systems (safety) are two subjects traditionally considered separate.
However, a closer look reveals that the techniques for construction and
analysis of software-based systems used in both security and safety are not
necessarily fundamentally different. Instead, many techniques are shared but
come in different variants, e.g. attack and fault trees, or combined
techniques of model checking and static analysis for safety and security
properties. During the summer school, these techniques will be discussed
from various angles.






-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160407/1178d1c2/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 6124 bytes
Desc: not available
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160407/1178d1c2/attachment-0001.p7s>

More information about the Types-announce mailing list