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 topics include, but not limited to:
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
摘要截稿日期
初稿截稿日期
初稿录用通知日期
注册截止日期
留言