Modern society heavily relies on large, heterogeneous and complex software-intensive systems to support all kind of daily activities. Industrial plants have opened their production and operation to the Internet allowing their facilities to be remote controlled for the sake of an easier, quick handling. However, now those industrial plants are also exposed to both accidental and malicious threats. As the complexity of these systems and the strength of attack increase, cascading failures can interrupt the production of the system for several hours or days. In worst cases, the service discontinuity may lead to serious problems, from severe financial losses to fatalities or injuries.

In industrial system, survivability cannot be seen just as an add-on value, but rather than as a prime goal: system designers and assessors must include survivability evaluations to measure how these disruptions are handled and quantify the impact suffered by the industrial control system under stress. Classical safety, security, availability and performability evaluations, traditionally carried on separately, should now be conducted together. Survivability assessments are normally performed using analytical or simulation-based techniques, often addressing one single aspect at a time rather than studying the system in a holistic manner.

Workshop topics

This workshop aims at providing a forum for people from academia and industry to communicate their latest results on theoretical advances, industrial case studies, practical scenarios, and lessons learned in the design and the assurance of the survivability aspects of industrial control systems.

The workshop is technically sponsored by the Technical Committee on Homeland Security of IEEE SMC (Systems, Man & Cybernetics) society.

Topics of interests are, but not limited to:

• Methods and Methodologies: Threat, Vulnerability and Risk Assessment; Model-Based Penetration Testing; Security Metrics Definition and Evaluation; RAMSS Analysis; Crisis and Emergency Management; Unifying Modelling Methodologies for Cyber and Physical Security; Resilience Engineering.
• Modelling: Stochastic Modeling; Formal Methods; Domain Specific Languages and Model-Driven Engineering; Multi-Level Hierarchical Modeling; Multi-Paradigm Modeling.
• Analysis: Quantitative & Qualitative Evaluation; Interconnections Among Non-Functional Aspects (e.g., Reliability vs. Safety, Security vs. Performance); Multisolution Processes; Resilience Analysis.
• Domains: Cyber-Physical Systems; Critical Infrastructure Protection; SCADA and Control Systems Security; Homeland Security; Automotive; Transport, Manufacturing, Energy, Health and Banking Applications; Computer Networks and Cloud Infrastructures.
• Industrial case studies

Paper submission

Submitted papers will be reviewed by three members of Program Committee (or their sub-reviewers) and selection of accepted papers will be based on relevance, quality and originality. PDF versions of papers should be submitted through EasyChair submission system.

Papers must not exceed 8 pages total (including the references and appendices). Papers must be formatted for US letter (not A4) size paper. The text must be formatted in a two-column layout, with columns no more than 9.5 in. tall and 3.5 in. wide. The text must be in Times font, 10-point or larger, with 11-point or larger line spacing. Authors are strongly encouraged to use the IEEE conference proceedings templates.

Failure to adhere to the page limit and formatting requirements can be grounds for rejection.

The conference proceedings will be published by IEEE Conference Publishing Services (CPS), and will be available at ieeeXplore as proceedings of the conference. At least one of the (co)author(s) of each accepted paper is required to register and attend the conference to present the work: for each published paper a full conference registration is requested.

PC Workshop Chairs

• Stefano Marrone, Università della Campania "Luigi Vanvitelli" (Italy)
• Ricardo J. Rodríguez, Centro Universitario de la Defensa de Zaragoza, Academia General Militar (Spain)

PC Members

• Simona Bernardi, Universidad de Zaragoza (Spain)
• Tomas Bures, Charles University in Prague (Czech Republic)
• Xiaolin Chang, Beijing Jiaotong University (China)
• Ugo Gentile, CERN - Geneve (Switzerland)
• Francesco Flammini, Linnaeus University (Sweden)
• Stefano Marrone, Università della Campania "Luigi Vanvitelli" (Italy)
• Roberto Nardone, DIIIES, Università degli Studi Mediterranea di Reggio Calabria, (Italy)
• Giuseppe Primiero, Department of Philosophy, University of Milan (Italy)
• Guillermo Rodriguez-Navas, Malardalen University (Sweden)
• Ricardo J. Rodríguez, Centro Univesitario de la Defensa, Universidad de Zaragoza (Spain)
• Jianwen Li , Iowa State University (USA)
• Maria Spichkova, Royal Melbourne Institute of Technology (Australia)
• Kumiko Tadano, NEC Laboratory for Analysis of System Dependability (Japan)
• Stefano Tonetta, Fondazione Bruno Kessler (Italy)
• Catia Trubiani, Gran Sasso Science Institute (Italy)
• Andre Weimerskirch, Lear Corporation (USA)
• Anna Zamansky, University of Haifa (Israel)