<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-text-flowed" style="font-family: -moz-fixed;
font-size: 12px;" lang="x-western">(Apologies if you receive this
multiple times).
<br>
<br>
CALL FOR PARTICIPATION
<br>
<br>
Model-based design and analysis of cyber-physical systems
<br>
SPES_XT Summer School at AVoCS'14
<br>
Twente, The Netherlands
<br>
Sept. 17-23, 2014
<br>
<br>
Today's challenges in the development of embedded and
cyber-physical
<br>
systems are mainly caused by the ever-increasing complexity of the
<br>
software. Model-based design and analysis has a high potential to
<br>
overcome these challenges. SPES_XT (Software Platform Embedded
<br>
Systems) is a large German endeavour to build a consistent,
coherent
<br>
model-based design methodology for complex embedded and
cyber-physical
<br>
systems. The aim of AVoCS (International Workshop on Automated
<br>
Verification of Critical Systems) is to further research on tools
and
<br>
techniques for the verification of critical systems. The SPES_XT
<br>
Summer School at AVoCS'14 will present results and experiences
from
<br>
the SPES_XT project, as well as research approaches established at
<br>
AVoCS. It will provide a concise introduction to the
state-of-the-art,
<br>
as well as new approaches and research questions. Attendants will
gain
<br>
an intimate understanding of a consistent system development
process
<br>
for complex embedded and cyber-physical systems over different
<br>
application domains (e.g. automation, automotive, avionic, rail).
<br>
<br>
The school addresses young researchers as well as young
professionals
<br>
from industry. It will be held immediately prior to AVoCS 2014.
<br>
<br>
COURSES
<br>
<br>
Holger Schlingloff: Cyber-Physical Systems Engineering
<br>
Manfred Broy: Logics of Discrete System Design - From Formal
Models to System Assertions
<br>
Alexander Knapp: Modern modeling formalisms: UML, SysML, MARTE
<br>
Alessio Lomuscio: Model Checking of Multi-Agent Systems
<br>
Marieke Huisman: Verification of Concurrent Software
<br>
Markus Roggenbach: Foundational Concepts and Techniques for
Modeling and Verification
<br>
Stephan Merz: Modeling and Verifying Systems in TLA+
<br>
Joachim Wegener: Methods and Tools for Analytical Quality
Assurance
<br>
Joost Pieter Katoen: Quantitative Analysis of Safety-Critical
Systems
<br>
<br>
REGISTRATION
<br>
<br>
Participants at the SPES_XT Summer School 2014 have to register
at
<br>
the AVoCS'14 registration page:
<br>
<br>
<a class="moz-txt-link-freetext"
href="http://fmt.cs.utwente.nl/conferences/avocs2014/register.php">http://fmt.cs.utwente.nl/conferences/avocs2014/register.php</a>
<br>
<br>
Deadline:
<br>
<br>
27th of May 2014
<br>
<br>
Fees:
<br>
regular participants: 900 Euros
<br>
students: 680 Euros
<br>
<br>
The fees cover lectures, materials, refreshments, lunch, and
the
<br>
social event on Sunday September 21st.
<br>
<br>
For a limited number of students, grants will be available
<br>
covering the participation fees (but not the hotel costs). If
you
<br>
wish to apply for such a grant, please send a letter of
<br>
application stating your background and motivation, as well as
a
<br>
letter of recommendation from your adviser, to the organizers
of
<br>
the summer school.
<br>
<br>
DIRECTORS
<br>
<br>
H. Schlingloff (Berlin) and M. Roggenbach (Swansea)
<br>
<br>
FURTHER INFORMATION
<br>
<br>
<a class="moz-txt-link-freetext"
href="http://spes2020.informatik.tu-muenchen.de/summerschool2014.html">http://spes2020.informatik.tu-muenchen.de/summerschool2014.html</a>
<br>
</div>
</body>
</html>