posted by organizer: yashine || 989 views || tracked by 3 users: [display]

DETECT 2019 : The international workshop on moDeling, vErification and Testing of dEpendable CriTical systems 2019

FacebookTwitterLinkedInGoogle

Link: https://detect.ensma.fr/2019/
 
When Oct 28, 2019 - Oct 28, 2019
Where Toulouse
Abstract Registration Due Jun 8, 2019
Submission Deadline Jun 22, 2019
Notification Due Jul 11, 2019
Final Version Due Jul 18, 2019
Categories    computer system   critical system   modeling   verification
 

Call For Papers

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

https://detect.ensma.fr/2019/


In conjunction with 9th International Conference on Model & Data Engineering (MEDI 2019)
October 28-31, 2019 Toulouse, France

All accepted and presented papers in DETECT 2019 will be invited for a special issue in:
Journal of Systems Architecture: Embedded Software Design (JSA), Elsevier (IF = 0.913).

================================================================================
Important Dates:
Abstract submission: 07 June, 2019
Full paper submission deadline: 15 June, 2019
Notification of acceptance: 4 July, 2019
Camera-ready papers: 18 July, 2019

Keynote Speaker
Ernesto Exposito (University de Pau et Pays de l'Adour, France)

Semantic-driven approach for autonomic management of Cyber-Physical Systems.


ABOUT DETECT
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 2019 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
The international workshop on modeling, verification and Testing of dependable critical systems (DETECT 2019) 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
Submission
DETECT 2019 invites papers in three categories. Submission guidelines for each category of paper are as follows:

Regular Research papers: contributions should describe original work (10-14 pages including all text, figures, references and appendices).
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).
Short Papers and position papers: ​Research in progress, tools presentations, and new ideas ​(4-6 pages including all text, figures, references and appendices).
Workshop Chairs:
Yassine Ouhammou - LIAS/ISAE-ENSMA - France
Abderrahim Ait Wakrime - IRT Railenium - France
Program Committee
Youness Bazhar, ASML, Netherlands
Jamal Bentahar, Concordia University, Canada
Alessandro Biondi, Scuola Superiore Sant’Anna, Italy
Rachida Dssouli, Concordia University, Canada
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
Rafik Henia, Thales, France
Slim Kallel, University of Sfax, Tunisia
Mehrdad Saadatmand, RISE SICS Västerås, Sweden
Laurent Voisin, Systerel, France

Related Resources

LADC 2020   10th Latin-American Symposium on Dependable Computing
ICCMS - Ei & Scopus 2020   2020 The 12th International Conference on Computer Modeling and Simulation (ICCMS 2020)--EI Compendex, Scopus
ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
AMMS--EI and Scopus 2020   2020 2nd International Applied Mathematics, Modelling and Simulation Conference (AMMS 2020)--EI Compendex, Scopus
VSC @IEEE WETICE 2020   Track on Validating Software for Critical Systems (VSC) @IEEE WETICE 2020
ICCSM 2020   2020 4th International Conference on Computer, Software and Modeling (ICCSM 2020)--JA, Scopus
DSN 2020   Dependable Systems and Networks
EI/SCOPUS-CSMO 2020   4th International Conference on Simulation, Modeling and Optimization (CSMO 2020)
OMCS 2020   3rd IEEE Conference on Optimization and Modeling of Complex Systems
ICCGV--EI, Scopus 2020   2020 the 3rd International Conference on Computer Graphics and Virtuality (ICCGV 2020)--Ei Compendex, Scopus