DETECT 2018: 1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems Hotel LABRANDA Rose Marrakesh, Morocco, October 24-26, 2018 |
Conference website | https://detect2018.ensma.fr/ |
Submission link | https://easychair.org/conferences/?conf=detect2018 |
Submission deadline | June 15, 2018 |
The International Workshop DETECT 2018 will be held in conjunction with 8th International Conference on Model & Data Engineering (MEDI), Marrakesh, Morocco (24-26 October 2018). DETECT 2018 will provide to the scientific community a dedicated 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 critical systems.
Submission Guidelines
- Regular Research papers: contributions should describe original work (8-10 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).
List of Topics
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 |
Committees
Program Committee
- 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
- Abdelouahed Gherbi, ETS Montreal, Canada
- Slim Kallel, University of Sfax, Tunisia
- Yassine Ouhammou, LIAS/ISAE-ENSMA, France
- Mehrdad Saadatmand, RISE SICS Västerås, Sweden
- Laurent Voisin, Systerel, France
Workshop Co-chairs
- Yassine Ouhammou, LIAS/ISAE-ENSMA, France
- Abderrahim Ait Wakrime, IRT Railenium, France
Publication
Venue
The conference will be held in conjunction with 8th International Conference on Model & Data Engineering (MEDI 2018). The conference will be held in Le Méridien N'Fis, one of the prestigious addresses in Marrakech. With an exquisite charm, the N'fis hotel draws its originality from the traditional Marrakchi art where the most beautiful subjects and colors are married to warm comfort.
Contact
Yassine Ouhammou: yassine.ouhammou(at)ensma.fr
Abderrahim Ait Wakrime: abderrahim.ait-wakrime(at)railenium.eu