征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介

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

组委会

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
征稿信息

重要日期

2018-06-07
摘要截稿日期
2018-06-15
初稿截稿日期
2018-06-30
初稿录用日期

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

作者指南

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.

留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    10月24日

    2018

    10月26日

    2018

  • 06月07日 2018

    摘要截稿日期

  • 06月15日 2018

    初稿截稿日期

  • 06月30日 2018

    初稿录用通知日期

  • 10月26日 2018

    注册截止日期

移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询