<div dir="ltr"><div>[Apologies for multiple postings]</div><div>===================================================</div><div><br></div><div>SEASAME 2013: International Workshop on Software Engineering for sAfety-critical Systems and Medical dEvices </div>
<div><a href="http://www.mcscert.ca/seasame/">http://www.mcscert.ca/seasame/</a></div><div><br></div><div>Co-located with EUSPN-2013(<a href="http://cs-conferences.acadiau.ca/euspn-13/">http://cs-conferences.acadiau.ca/euspn-13/</a>), Niagara Falls, Ontario, Canada</div>
<div>October 21-24, 2013</div><div><br></div><div>Proudly sponsored by McMaster Centre for Software Certification and IBM Canada R&D Centre</div><div><br></div><div>===================================================</div>
<div><br></div><div>Overview</div><div>========</div><div>This workshop provides a forum for the cutting-edge research results and practices from academia and industries on the design and development of software in safety-critical systems, in particular Software Medical Devices.</div>
<div><br></div><div>Safety-critical systems (SCSs) are those systems whose failure could result in loss of life, significant property damage, or damage to the environment. Software are playing an increasingly important part in SCSs. Worldwide regulatory bodies have recognized this trend and released new standards related to the development of software in SCSs, such as ISO 26262 and IEC 61508.</div>
<div><br></div><div>This trend is particularly true for Software Medical Devices (SMDs), one of the most important categories of SCSs. Regulatory bodies and industries are investing more on the safety and security issues of SMDs. For examples, Medical Devices Directive in the European Union provides definition and classification of SMDs; the international standard IEC 62304 specifies life cycle requirements for the development of SMDs. However, regardless of the importance attached to SMDs, due to the inherent complexity of software, errors in software codes have been constantly reported to cause different devices to mal-function and led to fatal consequences. Therefore, several questions are urgently presented to SMD developers: how to build robust, dependable, safe and secure SMDs? More importantly, how to make the case for certifying a SMD or a SCS?</div>
<div><br></div><div>Topics of Interest</div><div>==================</div><div>The workshop welcomes papers related (but not limited) to the following topics:</div><div><br></div><div>* Requirements gathering and documentation of safety-critical systems</div>
<div>* Architecture design of safety-critical systems</div><div>* Testing and static analysis of safety-critical systems</div><div>* Usage of tabular expression in safety-critical systems</div><div>* Safety, dependability, and security in safety-critical systems</div>
<div>* Formal verification of highly dependable systems</div><div>* Standardization and certification of safety-critical systems</div><div>* Good practices in the development of Software Medical Device (SMD)</div><div> ** Challenges in documenting the requirements of Software Medical Device</div>
<div> ** Verification and validation of Software Medical Device</div><div> ** Certification of Software Medical Device</div><div> ** Legal and ethical issues related to Software Medical Device</div><div><br></div><div>
Paper Submissions</div><div>=================</div><div>Accepted papers will be included in the main conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series. All papers in Procedia will also be indexed by DBLP, Scopus, Engineering Village and EI Compendex. </div>
<div><br></div><div>All submissions should be written in English with a maximum paper length of six (6) pages and formatted according to the guidelines(<a href="http://www.elsevier.com/wps/find/journaldescription.cws_home/719435/description#description">http://www.elsevier.com/wps/find/journaldescription.cws_home/719435/description#description</a>) and templates MS Word (<a href="http://cs-conferences.acadiau.ca/euspn-13/files/PROCS_2011-(2).dotx">http://cs-conferences.acadiau.ca/euspn-13/files/PROCS_2011-(2).dotx</a>), Latex (<a href="http://cs-conferences.acadiau.ca/euspn-13/files/ecrc-procs_1.zip">http://cs-conferences.acadiau.ca/euspn-13/files/ecrc-procs_1.zip</a>) of Procedia Computer Science, Elsevier. Papers are submitted using Easychair (<a href="https://www.easychair.org/conferences/?conf=seasame2013">https://www.easychair.org/conferences/?conf=seasame2013</a>).</div>
<div><br></div><div>Best papers of SEASAME Workshop will be invited for publication in a special issue (pending) of Journal of Software Engineering and Applications (JSEA, <a href="http://www.scirp.org/journal/jsea/">http://www.scirp.org/journal/jsea/</a>).</div>
<div><br></div><div>Questions and inquiries should be sent to <a href="mailto:seasame2013@easychair.org">seasame2013@easychair.org</a>.</div><div><br></div><div>Important Dates</div><div>===============</div><div>May.10, 2013: Deadline of Full-length Paper Submission</div>
<div>Jun.15, 2013: Notification of Acceptance</div><div>July.10, 2013: Deadline of Final Camera-ready Paper Submission</div><div>Oct.21-24, 2013: SEASAME Workshop</div><div><br></div><div>Workshop Committees</div><div>===================</div>
<div>Steering Committees (Alphabetical order of last names)</div><div>------------------------------------------------------</div><div>Yihai Chen, Shanghai Univerisity, China</div><div>Ridha Khedri, McMaster Univerisity, Canada</div>
<div>Hao Wang, IBM Canada R&D Centre, Canada</div><div>Alan Wassyng, McMaster Univerisity, Canada</div><div><br></div><div>Workshop Chair</div><div>--------------</div><div>Yihai Chen, Shanghai Univerisity, China</div>
<div>Hao Wang, IBM Canada R&D Centre, Canada</div><div><br></div><div>Program Committees</div><div>------------------</div><div>Yihai Chen, Shanghai Univerisity, China</div><div>Zhenbang Chen, National University of Defense Technology, China</div>
<div>Johannes Faber, United Nations University, Macau</div><div>Ridha Khedri, McMaster Univerisity, Canada</div><div>Yngve Lamo, Bergen University College, Norway</div><div>Mark Lawford, McMaster University, Canada</div><div>
Wendy MacCaull, St. Francis Xavier University, Canada</div><div>Tom Maibaum, McMaster University, Canada</div><div>Huaikou Miao, Shanghai University, China</div><div>Vera Pantelic, McMaster University, Canada</div><div>Jay Parlar, General Motors, Canada</div>
<div>Adrian Rutle, Aelsund University College, Norway</div><div>Kahir Eddin Sabri, The University of Jordan, Jordan</div><div>Hao Wang, IBM Canada R&D Centre, Canada</div><div>Alan Wassyng, McMaster University, Canada</div>
</div>