[SystemSafety] Call for Papers - SCAV @ CPSWeek 2017

[Mario Gleirscher]

Dear system safety fellows,

in between all the inspiring discussions I am following eagerly, I would
like to draw your attention to another event.

Please, consider submitting to:

SCAV'17
1st International Workshop on
Safe Control of Connected and Autonomous Vehicles

hosted by CPS Week 2017, April 18-21, 2017, Pittsburgh, PA


# Important Dates (AoE) #
Full paper deadline:    28 Jan 2017 (to be ext. to 3 Feb 2017)
Authors notification:   17 Feb 2017
Camera-ready due:        1 Mar 2017
Workshop:               21 Apr 2017


Autonomous vehicles (AV, e.g. road 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, and traffic control.

For this interactive workshop we are planning a keynote speech,
invited talks, and a panel discussion.


# Paper Categories #
 * technical research or methodology (max. 8 pages incl. bib.),
 * case studies (max. 8 pages incl. bib.), and
 * problem statements or tools (max. 5 pages incl. bib.)


# Topics #
We kindly request contributions to (but not limited to):
** Design and assurance of
 * self-adaptation, run-time reconfiguration, context-aware adaptation,
 * algorithms for incremental controller synthesis and optimization,
 * safe optimal and adaptive control,
 * parameter adaptation in autonomous control loops,
 * software technology and system architecture,
 * non-deterministic behaviors, and
 * off-line and on-line machine-learnable behaviors
both at vehicle-level and traffic-level control.

** Methods and (mathematical) models for
 * design and verification of reasonably permissive safety mechanisms,
 * validation of automated controllers,
 * identification of security attack surfaces or vectors relevant for
 * safety, and protection against safety-related security attacks
both at vehicle-level and traffic-level control.


# Workshop Format #
All submissions are expected to be original work not published, or in
submission, elsewhere, and will be peer-reviewed by at least three
members of the program committee and the organizers for quality and
relevance. Accepted papers will be included in the CPSWeek Proceedings
published with ACM. For details, see the workshop website.


# Workshop Organizers #
Mario Gleirscher (TU Munich, DE)
Stefan Kugele (TU Munich, DE)
Jonathan Sprinkle (U Arizona, US)

# Workshop Website #
http://scav.in.tum.de

# Contact #
mario.gleirscher at tum.de

-- 
Dr. Mario Gleirscher . +49 89 289 17832 . MI 00.11.055
Software and Systems Engineering . http://gleirscher.de
Department of Informatics . Technische Universitaet Muenchen
Boltzmannstrasse 3, 85748 Garching, Germany

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5053 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20170109/6057bf6e/attachment.bin>