<div dir="ltr"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div style="font-size:small"><div style="font-size:13px;font-family:verdana,helvetica,sans-serif;text-align:center">*** Due to the many requests the deadline has been extended to <font color="#ff0000">28 June, 2020</font> ***<br></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif;text-align:center"><br></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif;text-align:center">***************************************************************************</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif;text-align:center">CALL FOR PAPERS</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif;text-align:center">***************************************************************************</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif;text-align:center">(Apologies if you receive multiple copies of this CFP)</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><br></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><b><font color="#5b8828">                                                              The international workshop on moDeling, vErification and Testing of dEpendable CriTical systems (DETECT).</font></b></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif;text-align:center"><b><font color="#5b8828"><a href="https://detect.ensma.fr/2020/" target="_blank">https://detect.ensma.fr/2020/</a></font></b></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif;text-align:center"><br></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif;text-align:center"><font color="#652191" style="background-color:inherit">In conjunction with 14th European Conference on Software Architecture (ECSA)</font></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif;text-align:center"><font color="#652191" style="background-color:inherit">14-18 September 2020, L’Aquila, Italy.</font></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif;text-align:center"><font color="#652191" style="background-color:inherit"><a href="https://ecsa2020.disim.univaq.it/" target="_blank">https://ecsa2020.disim.univaq.it/</a></font></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><br></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><font color="#cd232c">                                                                 All accepted papers will be published in Communications in Computer and Information Science (CCIS) by Springer.</font></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><font color="#cd232c"><br></font></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><span style="color:rgb(255,0,0);font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Helvetica Neue",Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol";font-size:16px;font-weight:700;text-align:center">                                                 All papers presented in DETECT 2020 will be invited for a special issue in the </span><span style="box-sizing:border-box;font-weight:700;color:rgb(255,0,0);text-align:center;font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Helvetica Neue",Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol";font-size:16px">NASA Journal - Springer:<br style="box-sizing:border-box">                                                                     Innovations in Systems and Software Engineering (</span><a href="https://www.springer.com/journal/11334" target="_blank" style="font-size:small;font-family:Arial,Helvetica,sans-serif">https://www.springer.com/journal/11334</a><span style="color:rgb(255,0,0);font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Helvetica Neue",Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol";font-size:16px;font-weight:700;text-align:center">)</span></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><br></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><font color="#5b8828">IMPORTANT DATES</font></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">---------------</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><font color="#000000">Submission deadline: <strike>24 June, 2020,</strike></font><span style="color:rgb(205,35,44)"> </span><font color="#ff0000">28 June, 2020 (AoE)</font></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">Notification of acceptance: 8 July, 2020</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">Camera-ready papers: 13 July, 2020</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">DETECT Workshop 14 September, 2020</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><br></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><br></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><font color="#5b8828">SCOPE</font></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">-----</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">Critical systems are more and more used in different domains and under several forms (e.g., cyber physical systems, embedded systems, real-time systems) and become more complex since they can be networked and composed of heterogeneous subsystems. Due to their heterogeneity and variability, critical systems require the expertise of modeling, verification and testing area to ensure their dependability and safety of their software architectures. The international workshop on moDeling, vErification and Testing of dEpendable CriTical systems (DETECT) will be mainly based on model-based system engineering paradigm and software architecture challenges. 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 aspects (e.g., scheduling, performance, security, safety, etc.).</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><br></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><font color="#5b8828">CALL FOR CONTRIBUTIONS</font></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">----------------------</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">Critical systems are emerging research fields where the safety is dependent upon the precise operations of the system. With this in mind, the software architecture is one of the most challenging topics for critical dependable systems since it requires integrating solutions from experts of various domains. Also, integration of components contributed by respective domain experts is one of the key challenges in engineering software architectures. Yet, deploying for example cyber-physical and internet-of-thing systems in several critical domains requires to ensure the safety and dependability of those systems. DETECT 2020 aims to bring together researchers from participating domains with practitioners to identify new frontiers in software architecture engineering of critical dependable systems, discuss challenges raised by real-world applications, and transfer latest insights from research to industry.</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><br></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><font color="#5b8828">TOPICS </font></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">------ </div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">Workshop topics include, but not limited to:</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><br></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">* Formal specification of software architectures and verification of dependable and critical systems</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">* Domain specific modeling languages, ontologies, methods and software frameworks for critical systems</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">* Software architecture evaluation of functional and non-functional properties (performance, security, safety, etc.)</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">* Methodologies and Tools for CPS architectures and RTES Design</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">* Model-based testing of dependable critical systems’ software architectures</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">* Data engineering facilities and requirement engineering techniques for critical systems</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">* Realistic case studies, applications and experimentation studies, applications and experimentation</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><br></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><font color="#5b8828">PAPER SUBMISSION </font></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">---------------- </div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">DETECT 2020 invites papers in three categories. Submission guidelines for each category of paper are as follows:</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><br></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">1- <b>Regular research papers</b>: contributions should describe original work (12-14 pages including all text, figures, references and appendices).</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">2- <b>Industrial case studies</b> and lessons learned papers: works with experiences and notable industrial advances using model-driven engineering technology for verification and testing purposes (12-14 pages including all text, figures, references and appendices).</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">3- <b>Short papers and position papers</b>: research in progress, tools presentations, and new ideas (6-10 pages including all text, figures, references and appendices).</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><br></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">Each submitted paper must be original, unpublished and not submitted elsewhere. Contributions should be written in English and be prepared using Springer’s Lecture Notes in Computer Science (LNCS) format. Submitted papers will be carefully evaluated by at least three reviewers.</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><br></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">Submissions must be in PDF format and should be made using the DETECT 2020 Easychair site: <a href="https://easychair.org/conferences/?conf=detect2020" target="_blank">https://easychair.org/conferences/?conf=detect2020</a></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><br></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif"><font color="#5b8828">WORKSHOP CO-CHAIRS</font></div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">------------</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">- Yassine Ouhammou, LIAS/ISAE-ENSMA, France</div><div style="font-size:13px;font-family:verdana,helvetica,sans-serif">- Abderrahim Ait Wakrime, FSR Mohammed V University, Morocco</div></div></div></div></div></div></div></div></div>