<div dir="ltr"><div>[Apologies for cross-posting]</div><div>[Please forward to colleagues who might be interested]</div><div><br></div><div>SaFoMe 2015 - CALL FOR PAPERS</div><div><br></div><div>******************************************************************</div><div>2nd International Workshop on Safety and Formal Methods -- SaFoMe 2015</div><div>Co-located with FM 2015: 20th International Symposium on Formal Methods (<a href="http://fm2015.ifi.uio.no">http://fm2015.ifi.uio.no</a>)</div><div>June 22-26, 2015 -- Oslo, Norway</div><div><br></div><div>Workshop will take place on June 22, 2015</div><div><br></div><div>Web: <a href="https://es-static.fbk.eu/events/safome15">https://es-static.fbk.eu/events/safome15</a></div><div>For more information: tonettas[at]fbk[dot]eu and rj[dot]rodriguez[at]unileon[dot]es</div><div>******************************************************************</div><div><br></div><div>*** IMPORTANT DATES *** </div><div>Paper Submission: March 24, 2015</div><div>Notification of Acceptance: April 30, 2015</div><div>Camera-ready Paper Due: May 15, 2015</div><div><br></div><div>*** OVERVIEW *** </div><div><br></div><div>The SaFoMe workshop aims at providing a forum for people from academia</div><div>and industry to communicate their latest results on theoretical</div><div>advances, industrial case studies, and lessons learned in the</div><div>application of formal methods to safety certification, verification</div><div>and/or validation in (but not limited to) component-based systems.</div><div><br></div><div>In many safety-critical applications, such as automotive, aerospace,</div><div>and railway, there is a need to enhance the quality of industrial</div><div>products while also reducing the risk of fatalities and injuries. To</div><div>achieve this, cost-efficient methods supporting the</div><div>development and operation of safety-enabling embedded systems are</div><div>required. Several approaches have been proposed to achieve this. Among</div><div>them, component-based methods have been identified as suitable to</div><div>improve both reuse and the maintainability of systems. Formal methods</div><div>instead have traditionally been focusing on rigorous specification,</div><div>validation and verification of system requirements. Some formal</div><div>methods, such as contract-based techniques, are applied also to</div><div>component-based systems. However, the majority of component-based</div><div>approaches have concentrated on the functional properties of</div><div>systems. Much less work has considered how they can be applied to</div><div>other non-functional properties, including dependability properties, </div><div>such as safety, security, reliability, performance, and availability.</div><div>Among these, the interdependence of safety and security is an</div><div>increasing concern for safety-critical applications. </div><div><br></div><div>*** TOPICS OF INTEREST *** </div><div><br></div><div>Topics of interest include, but are not limited to, formal languages and </div><div>verification techniques for:</div><div><br></div><div>* Design, validation, and verification of safety-critical component-based systems.</div><div>* Verification and analysis of fault-tolerant systems.</div><div>* Design and verification of real-time, embedded safety-critical systems.</div><div>* Formal methods for safety and security.</div><div>* Formal methods for Quality-of-Service analysis of safety-critical software systems.</div><div>* Contract-based design and verification of safety-critical embedded systems.</div><div>* Formal methods in the certification of safety-critical systems.</div><div>* Formal methods applied in the context of industrial safety-critical case studies.</div><div>* Experience reports of using formal methods for certification (e.g., DO 178C).</div><div>* Formal methods for the safety in Internet of Things (IoT).</div><div>* Formal methods for reuse of safety-critical software components.</div><div><br></div><div><span class="" style="white-space:pre"> </span></div><div>*** PROGRAMME COMMITTEE *** </div><div>* Thomas Arts, Quviq (Sweden)</div><div>* Clara Benac Earle, Universidad Politécnica de Madrid (Spain)</div><div>* Marius Bozga, VERIMAG (France)</div><div>* Hans Hansson, Mälardalen University (Sweden)</div><div>* Elena Gómez-Martínez, Universidad Politécnica de Madrid (Spain)</div><div>* Thomas Noll, RWTH Aachen University (Germany)</div><div>* Peter Csaba Ölveczky, University of Oslo (Norway) </div><div>* Cristian Prisacariu, University of Oslo (Norway)</div><div>* Ricardo J. Rodríguez, Universidad de León (Spain) [PC co-chair]</div><div>* Kristin Rozier, NASA/Cincinnati University (USA)</div><div>* Harald Ruess, fortiss (Germany)</div><div>* Wilfried Steiner, TTTech (Austria)</div><div>* Stefano Tonetta, Fondazione Bruno Kessler (Italy) [PC co-chair]</div><div>* Catia Trubiani, Gran Sasso Science Institute (Italy)</div><div><br></div><div>*** SUBMISSION *** </div><div>Accepted papers will be included in informal proceedings. </div><div>PDF versions of papers should be submitted through EasyChair </div><div>submission system </div><div>(<a href="https://easychair.org/conferences/?conf=safome15">https://easychair.org/conferences/?conf=safome15</a>). The maximum size </div><div>is 14 pages using the Springer LNCS</div><div>author's guideline </div><div>(<a href="http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0">http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0</a>). </div><div>If you </div><div>submit a paper and it gets accepted, at least one of the</div><div>(co)author(s) is expected to be present at the workshop to present the paper.</div><div><br></div><div>Submitted papers will be reviewed by three members of Program Committee </div><div>(or their sub-reviewers) and selection of accepted papers will based on </div><div>relevance, quality and originality of the submitted papers. </div><div><br></div><div>Extended versions of selected contributions will be submitted</div><div>to a Special Issue in Proceedings of the Institution of Mechanical</div><div>Engineers, Part O: Journal of Risk and Reliability (SAGE, print ISSN:</div><div>1748-006X) URL: <a href="http://pio.sagepub.com/">http://pio.sagepub.com/</a>.</div><div><br></div><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div>Dr. Ricardo J. Rodríguez<br></div><div> Instituto de Ciencias Aplicadas a la Ciberseguridad</div><div> Universidad de León, Spain</div><div> Tel: (+34) 987 877 189 (ext. #3070)</div><div> Fax: (+34) 987 261 016</div><div><br></div><div>e: <a href="mailto:rj.rodriguez@unileon.es" target="_blank">rj.rodriguez@unileon.es</a></div><div>w: <a href="http://www.ricardojrodriguez.es" target="_blank">http://www.ricardojrodriguez.es</a></div><div>PGP keyId: 0x4E066F1F</div></div></div></div></div></div></div>
</div>