- Formal Methods in Software and Systems Engineering
- Embedded Systems
- Model-Based Development
- Analysis and Optimisation of Automotive E/E Architectures
- Safety and Security of Dependable Systems
Call for Papers:
1st International Workshop on Safe Control of Connected and Autonomous Vehicles (SCAV 2017)
Autonomous vehicles (AV, e.g. road, submarine, and aerial vehicles, individual or collective, possibly unmanned) as well as traffic penetrated by AVs will provide novel styles of mobility by having to fulfill strong safety requirements.
This development demands novel approaches, methods, and models for analysis, design, and assurance of dependable AV controllers and dependable traffic control.
The goal of this workshop is to identify open research problems, discuss recent achievements, bring together researchers in, e.g. software verification, control theory, machine learning, dependability engineering, (self-)adaptive software, machine self-organization and autonomy, mobile intelligent robotics, transportation, traffic control.SCAV 2017 • CfP
Dipl.-Inf. Univ. Dr. Stefan Kugele
Akademischer Rat a. Z.
Technical University of Munich
Department of Informatics
Software & Systems Engineering
Room: MI 03.11.060
85748 Garching bei München