Other: SPES_XT Summer School: Model-based design and analysis of cyber-physical systems

When: Sept. 17, 2014, 8:00 - Sept. 23, 2014, 23:59

Who: other:

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.

http://spes2020.informatik.tu-muenchen.de/summerschool2014.html

	Home > News and Events > Events
<< EEMCS (EWI) Home News and Events » Group Colloquium » Events » In the Media People Research Education Vacancies Intranet Contact	Other: SPES_XT Summer School: Model-based design and analysis of cyber-physical systems When: Sept. 17, 2014, 8:00 - Sept. 23, 2014, 23:59 Who: other: 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. http://spes2020.informatik.tu-muenchen.de/summerschool2014.html