IEEE International Workshop on Dependability Testing and Evaluation of Safety-Critical Systems (DTES 2021)

Description

A safety-critical system (SCS) refers to the system whose incorrect function or failure can lead to catastrophic consequences, such as casualties or damage to equipment or facilities. Typical safety critical systems include high speed rails, automatic driving vehicles, power grids, ships, aerospace, aviation, electronics, medical and financial systems, etc.

With the extensive use of the Internet of things, big data, cloud computing, deep learning and other new emerging technologies, the complex interaction among software, hardware, network and the environment makes safety-critical systems more difficult to be fully tested and evaluated for dependability.

The DTES workshop seeks to bring together worldwide researchers and industry practitioners together to discuss cutting-edge theories, methods, and technologies to explore and inspire the innovative ideas and advanced solutions in the related fields.

Topics

The list of topics includes, but is not limited to:

• Algorithms, tools and implementation support of SCS testing
• Benchmark suites definitions and evaluation criteria for SCS
• Model-based SCS dependability analysis and evaluation
• Architecture-oriented SCS dependability analysis and evaluation
• Data-driven SCS defect prediction and localization
• Defect characterization of SCS
• Formal methods for SCS dependability
• Online evaluation and prediction of SCS dependability
• Simulation methods for SCS dependability
• Reliability, resilience, and vulnerability for SCS

Submission

Authors are invited to submit original unpublished research papers as well as industrial practice papers. Simultaneous submissions to other conferences are not permitted. Detailed instructions for electronic paper submission, panel proposals, and review process can be found at https://qrs21.techconf.org/submission.

The length of a camera ready paper will be limited to eight pages. Each paper should include a title, the name and affiliation of each author, a 150-word abstract, and up to 6 keywords. Shorter version papers (up to four pages) are also allowed.

All papers must conform to the QRS conference proceedings format (PDF | Word DOCX | Latex) and Submission Guideline set in advance by QRS 2021. At least one of the authors of each accepted paper is required to pay full registration fee and present the paper at the workshop. Arrangements are being made to publish selected accepted papers in reputable journals. Submissions must be in PDF format and uploaded to the conference submission site.

Program Chair

Shunkun Yang

Beihang University

Program Committee