| |||||||||||||||
ISSA 2016 : International workshop on Interplay of Security, Safety and System/Software Architecture | |||||||||||||||
Link: http://www.irit.fr/issa | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
============================================================================
ISSA : International workshop on Interplay of Security, Safety and System/Software Architecture (ISSA) In conjunction with ECSA 2016 conference (http://ecsa2016.iku.edu.tr) Copenhagen, Denmark from November 28 to December 2 2016 http://www.irit.fr/issa ============================================================================ - Important dates: * Paper submission: September 02, 2016 * Acceptance Notification: September 16, 2016 * Camera Ready version: September 20, 2016 * Workshop day: From November 28 to December 2, 2016 - Publication: * Accepted papers will be published in the ACM Digital Library (pending approval) * Selected papers will be invited to a future journal special issue (pending approval) - CFP: The overall objective of this workshop is discuss advances in reusing security and safety mechanisms in software systems. First of all, the workshop will focus on the definition of “security and safety by design” processes which maintain separation of concerns. This involves approaches for designing security and safety mechanisms separately, as well as approaches for integrating them. Secondly, the workshop will focus on supporting specific processes on various application domains. Special emphasis will be devoted to promoting discussion and interaction between researchers and practitioners focused on the particularly challenging task of efficiently integrating security and safety solutions within the restricted available design space for software systems. Furthermore, one important focus is on the potential benefits of the combination of model-driven engineering and formal methods with pattern-based representation of security and dependability solutions. Of particular interest is the exchange of concepts, prototypes, research ideas, and other results which contribute to the academic area and also benefit business and industrial communities. Some of the topics that we seek to include in the workshop are related to the development of modeling languages, methods and tools to support the inclusion of security, safety and architecture issues into the software engineering process. Topics of interest include, but are not limited to: * Modeling the interplay of architecture, security and safety models * Formalization of security and safety properties * Verification, testing and validation of security, safety and architecture properties by design * Design processes of security and safety patterns and tactics * Model-based repository of security and safety patterns and tactics * Security and safety requirements engineering for system and software development * Validation of security and safety properties upon integration * Architecture decisions related to safety and security * Tradeoffs between quality attributes and safety/security * Evaluation of architecture, security and safety and their subsequent redesign * Adaptable architectures for achieving security, safety and managing their trade-offs * Architectural support for self-protecting, self-healing, self-repairing, self-stabilizing systems * Architecture-level diversity for security and safety * (Architecture-level) compliance and standards for security and safety * Integration processes of security, safety and architecture * Customization of application domain-specific processes * Support tools for assisting modeling, deployment and configuration of security and safety by design * Case studies, empirical results, experience reports, benchmarks and artifacts - Submission: We are inviting the submission of papers with high quality research contributions, work in progress, experimental and ongoing projects results. The following types of submission are accepted: * Long papers (7 pages): reporting substantial, completed, and previously unpublished research. * Short papers (4 pages): describing challenge problems, tool demonstrations, work in progress or industrial experiences. * Format: All submitted papers must be written in English and conform to the ACM double column format (10pt, single-space, double-column and include an abstract of up to 150 words...). The format of submissions should follow ACM Formatting Guidelines (http://www.acm.org/sigs/publications/proceedings-templates). The submission should be done in PDF-format via our submission system (https://easychair.org/conferences/?conf=issa20160) before May 18, 2016. - Organizers : * Brahim Hamid (IRIT-University of Toulouse , France), brahim.hamid@irit.fr * Paris Avgeriou (University of Groningen, the Netherlands), paris@cs.rug.nl * Uwe Zdun (University of Vienna, Austria), uwe.zdun@univie.ac.at - Program Committee: * Andrea Bandavalli (University of Florence, Italy) * Veronique Delebarre (SafeRiver, France) * Rogério de Lemos (University of Kent, UK) * Edouardo Fernandez (Florida Atlantic University, USA) * Cecília Mary Fischer Rubira (Institute of Computing, UNICAMP, Brazil) * Barbara Gallina (University of Mälardalen, Sweden) * David Gonzalez (IKERLAN-IK4 Research Centre, Spain) * Stefan Gruner (University of Pretoria, South Africa) * Sigrid Gurgens (Fraunhofer SIT, Germany) * Christophe Jouvray (Trialog, France) * Jan Jurjens (Univeristy of Dortmund, Germany) * Ferhat Khendek (University of Concordia, Canada) * Agnes Lanusse (CEA List, France) * Thierry Lecomte (ClearSy, France) * Simin Nadjm-Tehrani (Linkping University, Sweden) * Genaina Rodrigues (University of Brasilia, Brazil) * Carsten Rudolph (University of Monash, Australia) * Jungwoo Ryoo (The Pennsylvania State University-Altoona, USA) * Francesca Saglietti (University of Erlangen-Nurnberg, Germany) * Lionel Seinturier (University of Lille, France) * Mark Strembeck (University fo Vienna, Austria) * Matthias Tichy (University of ULM, Germany) * Frederique Vallee (All4tec, France) * Yanjun Wen (National University of Defense Technology, China) |
|