Introduction
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.
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. The international workshop on moDeling, vErification and Testing of dEpendable CriTical systems (DETECT 2018) will be mainly related to the model-based system engineering paradigm. DETECT aims to create a common community from academia and industry to share best practices, tools and methodologies considering functional and/or non-functional aspects
Committee
Workshop Co-chairs
- Yassine Ouhammou, LIAS/ISAE-ENSMA, France
- Abderrahim Ait Wakrime, IRT Railenium, France
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
- 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
Call for paper
Important date
Workshop topics include, but not limited to:
- Formal specification and verification of dependable and critical systems
- Domain specific modeling languages, ontologies, methods and frameworks
- System evaluation of functional and non-functional properties (scheduling, performance, security, safety, etc.)
- Methodologies and Tools for CPS and RTES Design
- Model-based testing of dependable critical systems
- Test models of dependable critical systems
- Data engineering facilities and requirement engineering techniques for ensuring dependability of critical systems
- Realistic case studies, applications and experimentation
Guidlines
Authors are invited to submit English-language research and application papers representing original, previously unpublished work. Duplicate submissions are not allowed. Papers must be submitted as a single PDF document, via the EasyChair Conference Management Tool Submissions must conform to Springer's LNCS style (Latex style only for camera-ready papers) and should not exceed 14 pages. Submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. The program committee may decide to accept a submission as a short paper if it reports interesting results, but does not justify a publication as a full paper. All accepted papers including short papers will be published in Springer LNCS series. An author of an accepted paper must register to MEDI 2018 in order to have the paper published. Each accepted paper must be presented at the conference by one of the authors.
All Comments
Important Date
-
Conference Date
Oct 24
2018
toOct 26
2018
-
Jun 07 2018
Abstract Submission Deadline
-
Jun 15 2018
Draft paper submission deadline
-
Jun 30 2018
Draft Paper Acceptance Notification
-
Oct 26 2018
Registration deadline
Contact Information
Submit Comment