<div dir="ltr"><div><b><font size="4"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">[ Apologies to those who receive multiple copies of this CFP ]</span></font></b></div><div><b><font size="4"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline"><br></span></font></b></div><div><b><font size="4">The international workshop on moDeling, vErification and Testing of dEpendable CriTical systems (DETECT 2018)</font></b></div><div>                                                                          </div><div>                                                                                          <a href="https://detect2018.ensma.fr/"><font size="4">https://detect2018.ensma.fr/</font></a></div><div>  </div><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div>       In conjunction with 8th International Conference on Model & Data Engineering (MEDI 2018)</div></blockquote></blockquote></blockquote><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div>                                       24 - 26 October 2018, Marrakesh, Morocco.</div></blockquote></blockquote></blockquote><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div>                                                         <a href="http://medi2018.uca.ma"> http://medi2018.uca.ma</a></div></blockquote></blockquote></blockquote></blockquote><div><br></div><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div><b><font color="#ff0000"> Accepted papers will be published by Springer in Communications in Computer and Information Science.</font></b></div></blockquote></blockquote></blockquote><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div><b><font color="#ff0000">        Extended versions of selected papers will be published in this special issue:</font></b></div></blockquote></blockquote></blockquote><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div><b><font color="#ff0000">                   Computer Science and Information Systems Journal (IF=0.837).</font></b></div></blockquote></blockquote></blockquote></blockquote><div><br></div><div><br></div><div><br></div><div><b><u><font size="4">Call for papers</font></u></b></div><div><br></div><div>The area of critical systems represents intersection of several systems criteria based on dependability properties like availability, reliability, reparability, maintainability, etc. Due to their heterogeneity and variability, critical systems require the expertise of modeling, verification and testing domains to ensure their dependability and safety.</div><div>DETECT 2018 will provide to the scientific community a forum for discussing and representing experiences, state-of-the-art reports and work in-progress related to the model-based engineering on design, verification and testing of dependable systems.</div><div><br></div><div><b><u><font size="4">Topics of interest</font></u></b></div><div><br></div><div>The international workshop on modeling, verification and Testing of dependable critical systems (DETECT 2018) will be mainly based on model-based system engineering (MBSE) paradigm. Also, DETECT aims to create a common community from academia and industry to share best practices, tools and methodologies taking into account the functional and non-functional</div><div>aspects (including, but not limited to: scheduling, performance, security, safety, etc.). Workshop topics include, but not limited to:</div><div><ul><li>Formal specification and verification of dependable and critical systems<br></li><li>Domain specific modeling languages, ontologies, methods and frameworks for critical systems<br></li><li>System evaluation of functional and non-functional properties (scheduling, performance, security, safety, etc.)<br></li><li>Methodologies and Tools for Cyber-Physical System and Real-time and Embedded System Design<br></li><li>Model-based testing of dependable critical systems<br></li><li>Test models of dependable critical systems<br></li><li>Data engineering facilities and requirement engineering techniques for critical systems<br></li><li>Realistic case studies, applications and experimentation<br></li></ul></div><div><br></div><div><b><u><font size="4">Paper submission and acceptance</font></u></b></div><div><br></div><div>DETECT 2018 invites papers in three categories. Submission guidelines for each category of paper are as follows:</div><div><ol><li>Regular Research papers: contributions should describe original work (8-10 pages including all text, figures, references and appendices).<br></li><li>Industrial case studies and lessons learned papers: works with experiences and notable industrial advances using model-driven engineering technology for verification and testing purposes (6-10 pages including all text, figures, references and appendices).<br></li><li>Short Papers and position papers: ​Research in progress, tools presentations, and new ideas ​(4-6 pages including all text, figures, references and appendices).<br></li></ol></div><div>Each submitted paper must be original, unpublished and not submitted elsewhere. ​Contributions should be written in English and be prepared using <a href="https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines">Springer’s Lecture Notes in Computer Science (LNCS)</a> format.</div><div>Submissions must be in PDF format and should be made using the DETECT 2018 Easychair site: <a href="https://easychair.org/conferences/?conf=detect2018">https://easychair.org/conferences/?conf=detect2018</a></div><div><br></div><div>Accepted workshop papers will be published by Springer in "<a href="http://www.comsis.org/">Communications in Computer and Information Science</a>".</div><div>Best selected papers from DETECT 2018 will be invited for a special issue in the Computer Science and Information Systems Journal: Science Citation Index (SCI) by Thomson Reuters (IF=0.837) (Ranked Q2 by: <a href="http://www.scimagojr.com">http://www.scimagojr.com</a>). Selected papers must be extended in at least 30% of new material for the journal submission.</div><div><br></div><div>At least one author of each accepted paper must attend the conference to present the work.</div><div><br></div><div><font size="4"><b><u>Organization</u></b></font></div><div><br></div><div><b>Workshop Co-chairs:</b></div><div><ul><li>Yassine Ouhammou - LIAS/ISAE-ENSMA - France<br></li><li>Abderrahim Ait Wakrime - IRT Railenium - France<br></li></ul></div><div><br></div><div><b>Program Committee </b>(To be completed)<b>:</b></div><div><ul><li>Abderrahim Ait Wakrime, IRT Railenium, France<br></li><li>Mohamed Bakhouya, International University of Rabat, Morocco<br></li><li>Youness Bazhar, ASML, Netherlands<br></li><li>Alessandro Biondi, Scuola Superiore Sant’Anna, Italy<br></li><li>Mamoun Filali-Amine, IRIT, France<br></li><li>Mohamed Ghazel, Ifsttar, France<br></li><li>Abdelouahed Gherbi, ETS Montreal, Canada<br></li><li>Paul Gibson, Telecom sudParis, France<br></li><li>Emmanuel Grolleau, LIAS/ISAE-ENSMA, France<br></li><li>Geoff Hamilton, Dublin City University, Ireland<br></li><li>Jameleddine Hassine, KFUPM, KSA<br></li><li>Slim Kallel, University of Sfax, Tunisia<br></li><li>Yassine Ouhammou, LIAS/ISAE-ENSMA, France<br></li><li>Mehrdad Saadatmand, RISE SICS Västerås, Sweden<br></li><li>Laurent Voisin, Systerel, France<br></li></ul></div><div><br></div><div><b>Important Dates:</b></div><div><ul><li>Abstract submission: 07 June, 2018<br></li><li>Full paper submission deadline: 15 June, 2018<br></li><li>Notification of acceptance: 30 June, 2018<br></li><li>Camera-ready papers: 5 July, 2018<br></li><li>DETECT Workshop 24 October, 2018<br></li></ul></div><div><br></div><div>Best regards,</div><div>Abderrahim</div><div>AIT WAKRIME</div>
</div>