![]() |
| |||||||||||||||||
DETECT 2019 : The international workshop on moDeling, vErification and Testing of dEpendable CriTical systems 2019 | |||||||||||||||||
Link: https://detect.ensma.fr/2019/ | |||||||||||||||||
| |||||||||||||||||
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 |
|