[TYPES/announce] CFP and Special Issue: DETECT @ MEDI 2018

[Abderrahim AITWAKRIME]

*[ Apologies to those who receive multiple copies of this CFP ]*

*The international workshop on moDeling, vErification and Testing of
dEpendable CriTical systems (DETECT 2018)*


              https://detect2018.ensma.fr/


       In conjunction with 8th International Conference on Model & Data
Engineering (MEDI 2018)

                                       24 - 26 October 2018, Marrakesh,
Morocco.


http://medi2018.uca.ma


* Accepted papers will be published by Springer in Communications in
Computer and Information Science.*

*        Extended versions of selected papers will be published in this
special issue:*

*                   Computer Science and Information Systems Journal
(IF=0.837).*




*Call for papers*

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.
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.

*Topics of interest*

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
aspects (including, but not limited to: scheduling, performance, security,
safety, etc.). Workshop topics include, but not limited to:

   - Formal specification and verification of dependable and critical
   systems
   - Domain specific modeling languages, ontologies, methods and frameworks
   for critical systems
   - System evaluation of functional and non-functional properties
   (scheduling, performance, security, safety, etc.)
   - Methodologies and Tools for Cyber-Physical System and Real-time and
   Embedded System Design
   - Model-based testing of dependable critical systems
   - Test models of dependable critical systems
   - Data engineering facilities and requirement engineering techniques for
   critical systems
   - Realistic case studies, applications and experimentation


*Paper submission and acceptance*

DETECT 2018 invites papers in three categories. Submission guidelines for
each category of paper are as follows:

   1. Regular Research papers: contributions should describe original work
   (8-10 pages including all text, figures, references and appendices).
   2. 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).
   3. Short Papers and position papers: ​Research in progress, tools
   presentations, and new ideas ​(4-6 pages including all text, figures,
   references and appendices).

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)
<https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines>
format.
Submissions must be in PDF format and should be made using the DETECT 2018
Easychair site: https://easychair.org/conferences/?conf=detect2018

Accepted workshop papers will be published by Springer in "Communications
in Computer and Information Science <http://www.comsis.org/>".
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:
http://www.scimagojr.com). Selected papers must be extended in at least 30%
of new material for the journal submission.

At least one author of each accepted paper must attend the conference to
present the work.

*Organization*

*Workshop Co-chairs:*

   - Yassine Ouhammou - LIAS/ISAE-ENSMA - France
   - Abderrahim Ait Wakrime - IRT Railenium - France


*Program Committee *(To be completed)*:*

   - Abderrahim Ait Wakrime, IRT Railenium, France
   - Mohamed Bakhouya, International University of Rabat, Morocco
   - Youness Bazhar, ASML, Netherlands
   - Alessandro Biondi, Scuola Superiore Sant’Anna, Italy
   - Mamoun Filali-Amine, IRIT, France
   - Mohamed Ghazel, Ifsttar, France
   - Abdelouahed Gherbi, ETS Montreal, Canada
   - Paul Gibson, Telecom sudParis, France
   - Emmanuel Grolleau, LIAS/ISAE-ENSMA, France
   - Geoff Hamilton, Dublin City University, Ireland
   - Jameleddine Hassine, KFUPM, KSA
   - Slim Kallel, University of Sfax, Tunisia
   - Yassine Ouhammou, LIAS/ISAE-ENSMA, France
   - Mehrdad Saadatmand, RISE SICS Västerås, Sweden
   - Laurent Voisin, Systerel, France


*Important Dates:*

   - Abstract submission: 07 June, 2018
   - Full paper submission deadline: 15 June, 2018
   - Notification of acceptance: 30 June, 2018
   - Camera-ready papers: 5 July, 2018
   - DETECT Workshop 24 October, 2018


Best regards,
Abderrahim
AIT WAKRIME
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180514/d981f7ef/attachment.html>