Model-based design and analysis of cyber-physical systems
SPES_XT Summer School at AVoCS'14

Sept. 17-23, 2014; Twente, The Netherlands

Directors: H. Schlingloff (Berlin) and M. Roggenbach (Swansea)

Today´s challenges in the development of embedded and cyber-physical systems are mainly caused by the ever-increasing complexity of the software. Model-based design and analysis has a high potential to overcome these challenges. SPES_XT (Software Platform Embedded Systems) is a large German endeavor to build a consistent, coherent model-based design methodology for complex embedded and cyber-physical systems. The aim of AVoCS (International Workshop on Automated Verification of Critical Systems) is to further research on tools and techniques for the verification of critical systems. The SPES_XT Summer School at AVoCS'14 will present results and experiences from the SPES_XT project, as well as research approaches established at AVoCS. It will provide a concise introduction to the state-of-the-art, as well as new approaches and research questions. Attendants will gain an intimate understanding of a consistent system development process for complex embedded and cyber-physical systems over different application domains (e.g. automation, automotive, avionic, rail).

The school addresses young researchers as well as young professionals from industry. It will be held immediately prior to AVoCS 2014. Topics to be addressed include:

  • Cyber-physical systems engineering
  • Logics of Discrete System Design - From Formal Models to System Assertions
  • Modern modeling formalisms: UML, SysML, MARTE
  • Model Checking of Multi-Agent Systems
  • Verification of Concurrent Software
  • Foundational Concepts and Techniques for Modeling and Verification
  • Modeling and Verifying Systems in TLA+
  • Methods and Tools for Analytical Quality Assurance
  • Quantitative Analysis of Safety-Critical Systems
  • The school will be held on a non-profit basis, i.e., participants will pay actual costs only. There will be a limited number of grants for Ph.D. students who have no other financing sources. The number of places is limited and will be awarded on a first-come-first-served basis.