[SystemSafety] Call for Papers - SAFADAPT @ SAFECOMP 2016

[Mario Gleirscher]

Dear System Safety fellows,

please, consider submitting to:

SAFADAPT'16
1st International Workshop on
Assurance of Safety-Critical Systems with Higher-Order Dynamics

co-located with SAFECOMP 2016, Trondheim, Norway, 20-23 September 2016


# Important Dates #
Full paper submission       17 May 2016
Notification of acceptance  07 Jun 2016
Camera-ready submission     20 Jun 2016
Workshop                    20 Sep 2016


Recent developments in safety-critical systems involve the increasing
use of (self-)adaptation, self-management, or self-organization. We
refer to these concepts by the term higher-order dynamics encompassing
mechanisms built into these systems which allow them to change their
effective, deterministic behaviour and internal structure during
operation. Highly-assisted and self-driving cars as well as autonomous
aerial vehicles can be seen as important examples for safety-critical
systems with higher-order dynamics. These mechanisms can for example
comprise both, the runtime (or dynamic) reconfiguration of the system
architecture and the adaptation of system behaviour, to react to a wide
variety of changing operational conditions and long-term task automation
requirements.

Higher-order dynamics raise the issue of safety analysis and assurance
of a system whose functionality (is not or) cannot be totally and
deterministically specified at design time and for V&V of system
behaviour. For this assurance task we also have to consider optimization
problems to be tackled by, e.g., dynamic programming or machine learning
(ML). Moreover, the increasing usage of such principles and technologies
in contemporary safety-critical control systems demands novel
approaches, methods, and models for analysis, design, and assurance of
these systems.

This single-day workshop will contain a keynote and a closing panel
discussion. We try to strongly support interactivity among researchers
and practitioners throughout the whole workshop.


# Paper Categories #
 * problem statements, tool demonstrations (max. 6p incl. bibliography)
 * methodology papers, technical research (max. 12p incl. bibliography)


# Topics #
We kindly request contributions to (but not limited to):
 * Assurance when system functionality is determined before operation,
this includes off-line applications of, e.g. ML
 * Assurance when higher-order dynamics are effective during operation,
this includes on-line applications of, e.g. ML
 * Assurance of precision and update mechanisms in autonomous control loops
 * Modelling for safety analysis of systems with higher-order dynamics
 * Safe incremental controller synthesis and optimization
 * Software technology and system architecture for such safety-critical
systems
 * Security threats influencing safety of higher-order dynamics
 * Protection of higher-order dynamics against security attacks
 * Higher-order dynamics and responsibility of users, operators, and vendors
 * Application and assurance of ML in safety-critical systems
 * Limits in the assurance of higher-order dynamics
 * Liability law and higher-order dynamics


# 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. Accepted papers will be published in
the SAFECOMP 2016 Workshop Proceedings, to be published by Springer, in
the Lecture Notes in Computer Science (LNCS) Series and indexed in DBLP.
Submission guidelines and an EasyChair link will be available soon on
our web page.


# Workshop Organizers #
Mario Gleirscher, Technical University of Munich, DE
Stefan Kugele, Technical University of Munich, DE
Hans-Jörg Vögel, BMW Group, DE


# Workshop Web Page #
http://www.ntnu.edu/web/safecomp2016/safadapt16

# 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/20160407/10fb81fc/attachment.bin>